Its is a turing machine,its not equivalent to (1,2,3,4) since it has more power than (1,2,3,4) but it can accept all string that are accepted by (1,2,3,4).
- Non-deterministic Push down automata
- Deterministic Push down automata
- Finite automata
- Linear bounded automata