Search for tag: "decidable"

ECS 120 4c:1 NFAs can simulate regex_s proof

From  David Doty 1 likes 127 plays 0  

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

From  David Doty 1 likes 99 plays 0  

ECS 120 4a:4 handling epsilon-transitions

From  David Doty 1 likes 143 plays 0  

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

From  David Doty 1 likes 165 plays 0  

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

From  David Doty 1 likes 182 plays 0  

ECS 120 1c:3 formal definition of DFA semantics

From  David Doty 1 likes 152 plays 0