PlanetMath:

(more info)

Math for the people, by the people.

Main Menu

Encyclopedia by subject

03D10 - Mathematical logic and foundations :: Computability and recursion theory :: Turing machines and related notions

category of automata owned by bci1 category of quantum automata owned by bci1 deterministic finite automaton owned by CWoo non-deterministic finite automaton owned by mps non-deterministic pushdown automaton owned by Henry Turing computable owned by rspuzio Turing machine owned by Henry
Show empty categories:
[ up \| top ]