Feature (History): Repeated Transition Aggretation

[cornelius-koepp]

Funktion:

Zusammenfassung von wiederholten Transitionen

08B08B08B08B08 -> (previous)08B+08
bzw. reicht schon
08B08B08B08B08 -> (previous)B+08

Auslassung von unverändertem Zustand

08C08B08D08B08-> 08CBDB08

Konzept

Zur Klärung

Gegen sei eine Transition d(z_N,X):=z_M wobei z_M auch undefiniert sein, dann allerdings im Zustand verblieben wird.

• Sollen das Paar (z_N,X) oder (X,z_M') mit resultierendem Zustand betrachtet werden?
• Umgang mit Pause/Fortsetzung?
• Prüfung Definition Codierung abseits von Zuständen und Symbolen