Mealy-Automat, ein im folgenden näher definiertes Tupel A = (Z, X, Y, S 0, δ). Hierbei sind Z, X und Y endliche Mengen. Z ist die Menge der Zustände, X die Menge der Eingabesymbole und Y die Menge der ...