Search for tag: "decidable"

ECS 120 4c:1 NFAs can simulate regex_s proof

+19 More
From  David Doty 1 likes 270 plays 0  

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

+19 More
From  David Doty 1 likes 231 plays 0  

ECS 120 4a:4 handling epsilon-transitions

+19 More
From  David Doty 1 likes 326 plays 0  

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

+19 More
From  David Doty 1 likes 349 plays 0  

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

+19 More
From  David Doty 1 likes 385 plays 0  

ECS 120 1c:3 formal definition of DFA semantics

+19 More
From  David Doty 1 likes 344 plays 0