steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

work for lookahead

db4
Doug Coleman 2008-09-19 17:54:34 -05:00
parent 1d90c97a4f
commit 9643ad1b9e
3 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
unfinished/regexp/dfa/dfa.factor
View File

@ -27,7 +27,6 @@ IN: regexp.dfa
nfa-table>> transitions>> nfa-table>> transitions>>
[ at keys ] curry map concat [ at keys ] curry map concat
eps swap remove ; eps swap remove ;
! dup t member? [ t swap remove t suffix ] when ;
: add-todo-state ( state regexp -- ) : add-todo-state ( state regexp -- )
2dup visited-states>> key? [ 2dup visited-states>> key? [

5
unfinished/regexp/transition-tables/transition-tables.factor
View File

@ -32,7 +32,12 @@ TUPLE: transition-table transitions start-state final-states ;
H{ } clone >>transitions H{ } clone >>transitions
H{ } clone >>final-states ; H{ } clone >>final-states ;
: maybe-initialize-key ( key hashtable -- )
2dup key? [ 2drop ] [ H{ } clone -rot set-at ] if ;
: set-transition ( transition hash -- ) : set-transition ( transition hash -- )
#! set the state as a key
2dup [ to>> ] dip maybe-initialize-key
[ [ to>> ] [ obj>> ] [ from>> ] tri ] dip [ [ to>> ] [ obj>> ] [ from>> ] tri ] dip
2dup at* [ 2nip insert-at ] 2dup at* [ 2nip insert-at ]
[ drop >r >r H{ } clone [ insert-at ] keep r> r> set-at ] if ; [ drop >r >r H{ } clone [ insert-at ] keep r> r> set-at ] if ;

4
unfinished/regexp/traversal/traversal.factor
View File

@ -43,6 +43,10 @@ TUPLE: dfa-traverser
dup save-final-state dup save-final-state
] when text-finished? ; ] when text-finished? ;
: print-flags ( dfa-traverser -- dfa-traverser )
dup [ current-state>> ] [ traversal-flags>> ] bi
;
: increment-state ( dfa-traverser state -- dfa-traverser ) : increment-state ( dfa-traverser state -- dfa-traverser )
[ [
[ 1+ ] change-current-index dup current-state>> >>last-state [ 1+ ] change-current-index dup current-state>> >>last-state