Ich möchte eine Umfrage über die Methode zur Darstellung der Dynamik staatlicher Berechnungen im Rahmen von Kohlegebren schreiben. Bisher habe ich es geschafft, Artikel über Kohlegebra-Darstellungen von DFA, NFA, Mealy-Maschinen, Moore-Maschinen, kontextfreien Grammatiken und sogar einfachen Quantensystemen zu finden. Ich habe keine gute Quelle gefunden, um eine Turingmaschine als Kohlegebra darzustellen.
Irgendwelche Quellen / Gedanken?
Vielen Dank!