Deterministický automat

Definice - Deterministický konečný automat je usp. pětice kde

• Q je množina stavů

• Sigma je abeceda z niž se stávají slova na vstupu

• delta tzv. přechodová funkce

• q0 náleží Q je počáteční stav

• F je množina příjímajících stavů