Als endliche Automaten bezeichne ich Automaten mit einer endlichen Menge von Zuständen, die durch eine endliche Menge von Aktionen (Operationen) erreicht werden. Jeder Zustand ist die Folge einer Geschichte, die mit einem Anfangszustand beginnt.

Anmerkung:
Es geht weniger um Automaten, als darum, wie sie sich schematisieren und in Diagrammen darstellen lassen.