Algorithm for Establishing the Equivalence of Deterministic Multitape Automata

Algorithm for Establishing the Equivalence of Deterministic Multitape Automata

This paper proposes an algorithm to determine the equivalence of multitape automata presented in the form of graphs. The algorithm is based on the theorem (proved by the author) on sufficient equivalence conditions and consists of constructing special (closed) diagrams with the help of elementary op...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Cybernetics and systems analysis 2015-09, Vol.51 (5), p.720-729
1. Verfasser: Borisenko, V. I.
Format: Artikel
Sprache:eng
Schlagworte:
Algorithms
Analysis
Artificial Intelligence
Automation
Control
Cybernetics
Equivalence
Graph theory
Graphs
Mathematical analysis
Mathematics
Mathematics and Statistics
Processor Architectures
Robots
Software Engineering/Programming and Operating Systems
Studies
Systems analysis
Systems Theory
Theorems
Transforms
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This paper proposes an algorithm to determine the equivalence of multitape automata presented in the form of graphs. The algorithm is based on the theorem (proved by the author) on sufficient equivalence conditions and consists of constructing special (closed) diagrams with the help of elementary operations proposed by M. Bird. The rules for applying these operations are formulated that transform the proposed algorithm into a finite algorithm.
ISSN:1060-0396
1573-8337
DOI:10.1007/s10559-015-9764-3