Search for tag: "decidable"

ECS 120 4c:1 NFAs can simulate regex_s proof

From  David Doty 1 likes 126 plays 0  

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

From  David Doty 1 likes 98 plays 0  

ECS 120 4a:4 handling epsilon-transitions

From  David Doty 1 likes 142 plays 0  

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

From  David Doty 1 likes 160 plays 0  

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

From  David Doty 1 likes 181 plays 0  

ECS 120 1c:3 formal definition of DFA semantics

From  David Doty 1 likes 146 plays 0