DFA, NFA, PDA i Turingov stroj