A New Approach to Solving Equivalence Problem

A New Approach to Solving Equivalence Problem

An application of a new method for the equivalence recognition in a computation model whose objects are labeled directed graphs is illustrated by the example of multitape automata. The paper is focused on general ideas of the method discussed. An algorithm that recognizes equivalence of multitape au...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Programming and computer software 2004-05, Vol.30 (3), p.121-133
Hauptverfasser: Podlovchenko, R. I., Khachatryan, V. E.
Format: Artikel
Sprache:eng
Schlagworte:
Algorithms
Equivalence
Graph theory
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:An application of a new method for the equivalence recognition in a computation model whose objects are labeled directed graphs is illustrated by the example of multitape automata. The paper is focused on general ideas of the method discussed. An algorithm that recognizes equivalence of multitape automata with disjoint loops is described in detail.
ISSN:0361-7688
1608-3261
DOI:10.1023/B:PACS.0000029576.66184.7b