Definition

Ein Automat besteht zwingend aus einem 5-Tuppel von:

1. einer endlichen Zahl an Zuständen,
2. einer endlichen Menge an Äusserungen, die der Automat versteht (Eingabesymbole z.B.: Alphabet),
3. einem Anfangszustand,
4. einer endlichen Zahl von Endzuständen,
5. Übergängen von einem Zustand in den nächsten Zustand.