Proving properties of a ring of finite-state machines (Q1115609): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/0020-0190(88)90211-6 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2066611459 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4124327 / rank
 
Normal rank

Latest revision as of 13:06, 19 June 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
    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
    0 references
    0 references

    Identifiers