Garmelon/rextra
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add notes

Browse source
This commit is contained in:
Joscha 2019-11-29 20:21:40 +00:00
parent 8b5444f585
commit f912cb53b9
2 changed files with 15 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

13
automata.txt Normal file
View file

@ -0,0 +1,13 @@
NFA: a(bc)*
Just a = nfa [ (1,[(only "a",2)],[]), (2,[(only "b",3)],[]), (3,[(only "c",4)],[]), (4,[],[2]) ] 1 [4] :: Maybe (Nfa Int Char)
NFA: .*a.
Just a = Nfa.nfa [ (1,[(allExcept "",1),(only "a",2)],[]), (2,[(allExcept "",3)],[]), (3,[],[]) ] 1 [3]
NFA: .*(hello|world).*
Just a = Nfa.nfa [ (1,[(allExcept "",1)],[2,9]), (2,[(only "h",3)],[]), (3,[(only "e",4)],[]), (4,[(only "l",5)],[]), (5,[(only "l",6)],[]), (6,[(only "o",7)],[]), (7,[],[8]), (8,[(allExcept "",8)],[]), (9,[(only "w",10)],[]), (10,[(only "o",11)],[]), (11,[(only "r",12)],[]), (12,[(only "l",13)],[]), (13,[(only "d",14)],[]), (14,[],[8]) ] 1 [8]

2
todo.txt Normal file
View file

@ -0,0 +1,2 @@
- When miminizing DFAs, remove inaccessible states first
- Don't show inaccessible states with dfaToDotWithTokens