Search for tag: "decidable"

ECS 120 4c:1 NFAs can simulate regex_s proof

From  David Doty 1 likes 163 plays 0  

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

From  David Doty 1 likes 137 plays 0  

ECS 120 4a:4 handling epsilon-transitions

From  David Doty 1 likes 192 plays 0  

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

From  David Doty 1 likes 217 plays 0  

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

From  David Doty 1 likes 242 plays 0  

ECS 120 1c:3 formal definition of DFA semantics

From  David Doty 1 likes 200 plays 0