Path Systems: Constructions, Solutions and Applications

Path Systems: Constructions, Solutions and Applications

We investigate the use of path systems in automata theory and computational complexity. A new framework is developed which brings together the main constructions of path systems corresponding to machine models as well as the main algorithms for solving such path systems. Applications to resource-bou...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:SIAM journal on computing 1980-05, Vol.9 (2), p.348-374
Hauptverfasser: Gurari, Eitan M., Ibarra, Oscar H.
Format: Artikel
Sprache:eng
Schlagworte:
Algorithms
Computer science
Leaves
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:We investigate the use of path systems in automata theory and computational complexity. A new framework is developed which brings together the main constructions of path systems corresponding to machine models as well as the main algorithms for solving such path systems. Applications to resource-bounded computation are given.
ISSN:0097-5397
1095-7111
DOI:10.1137/0209029