Theory of Computation

Regular Expression Regular Grammar Regular Language Finite Automata Context Free Grammar Context Free Language Push-down Automata Recursive Language Turing Machine Undecidability