Search for tag: "decidable"

ECS 120 4c:1 NFAs can simulate regex_s proof

From  David Doty 1 likes 201 plays 0  

ECS 120 4b:4 right-regular versus left-regular grammars

From  David Doty 1 likes 169 plays 0  

ECS 120 4a:4 handling epsilon-transitions

From  David Doty 1 likes 239 plays 0  

ECS 120 3b:2 gotchas-multiple union or intersection

From  David Doty 1 likes 279 plays 0  

ECS 120 3a:1 automatic transformation of regex_s NFAs, DFAs

From  David Doty 1 likes 320 plays 0  

ECS 120 1c:3 formal definition of DFA semantics

From  David Doty 1 likes 275 plays 0