Up: Logic, languages and computability Top: Logic, languages and computability

Next: More finite state automata Previous: Pumping lemma

Other idealised machines