Proving properties of a ring of finite-state machines (Q1115609): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q2529043 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: U. Klemm / rank | |||
Normal rank |
Revision as of 13:39, 1 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Proving properties of a ring of finite-state machines |
scientific article |
Statements
Proving properties of a ring of finite-state machines (English)
0 references
1988
0 references
Es wird gezeigt: Eine einsinnige Kreisschaltung von \(n>1\) endlichen Automaten fester, insbesondere von n unabhängiger Konfiguration simuliert die ersten n Schritte einer TURING-Maschine, nach denen sie entscheidet, ob eine gegebene TM, deren Bild sie ist, mit leerem Band gestartet, nach n Schritten anhält oder weiterläuft. Der Beweis der Aussage: ``Die Schaltung aus n Gliedern zeigt `Weiterlaufen' an'' für alle \(n>1\) ist somit auf das Nichthalteproblem zurückgeführt. Für die Klasse der Ringschaltungen von Automaten - und deren getreue Implementationen als Wanderungen auf zyklischen Listen - existieren also Aussagen, die nicht einmal partiell entscheidbar sind.
0 references
simulation of Turing machine
0 references
halting problem
0 references
finite automaton
0 references
unidirectional ring
0 references
verification
0 references