Recursively Enumerable Languages

Turing Machine

Two Stack Push Down Automaton