2
Automatenäquivalent der π-Rechnung?
Wenn Turing-Maschinen das Automatenäquivalent des sind λλ\lambda Kalkül, was ist das Automatenäquivalent der ππ\piInfinitesimalrechnung? Ich nehme an, es wäre eine Klasse von Automaten, die einer Turing-Maschine ähnelte, aber Kommunikationskanäle oder Signale irgendeiner Art unterstützte, aber ich bin mir nicht sicher und würde eine Richtung schätzen.