ประเภทของออโตมาตา ของ ทฤษฎีออโตมาตา

  • ออโตมาตาเชิงกำหนด (Deterministic Finite Automata; DFA)
  • ออโตมาตาเชิงไม่กำหนด (Nondeterministic Finite Automata; NFA)
  • ออโตมาตาเชิงไม่กำหนด ที่มีการเปลี่ยนสถานะด้วยอักษร ε (อักษรว่างเปล่า) (Nondeterministic Finite Automata, with ε transitions (ε-NFA))
  • พุชดาวน์ ออโตมาตา (Pushdown Automata; PDA)
  • เครื่องคำนวณทัวริ่ง (Turing Machines)
  • ออโตมาตาแบบมีขอบเขตเชิงเส้น (Linear Bound Automata; LBA)