Theory and applications of computability restarting automata
Verwacht over 3 weken
Other topics include the descriptional complexity and inductive inference of certain types of restarting automata, cooperating distributed and parallel communicating systems of restarting automata, restarting automata with output, weighted restarting automata, and restarting automata for picture languages and tree languages.
A restarting automaton consists of a finite-state control, a flexible tape with end-of-tape markers that initially contains the input, and a read-write window of a fixed finite size. The objective here is to collect the many results that have been obtained on the various types of restarting automata in one place and to present them in a uniform and systematic way.
In this volume, the expressive capacity of the various systems of restarting automata is studied, the relations computed by certain types of restarting automata with output are investigated, and the restarting automaton is extended to models that process pictures and trees.
Among the book’s topics and features:
Extends the restarting automaton to cooperating distributed and parallel communicating systems of restarting automata Presents restarting automata with output, which compute certain binary relations Extends the restarting automaton to automata that accept picture languages and tree languages Provides a text accessible to advanced undergraduate and graduate studentsThis title is directly tied to the separate Springer volume, Restarting Automata: The Standard Type of Restarting Automaton and Its Variants. Together, these comprehensive monographs may serve as references for researchers, guides to the literature on restarting automata, and as textbooks for an advanced undergraduate or graduate course in formal language and automata theory.
- Bekijk alle specificaties
Taal: en
Uitvoering: Hardcover
Oorspronkelijke releasedatum: 15 maart 2025
Aantal pagina's: 325
Illustraties: Met illustraties
Hoofdauteur: Friedrich Otto
Hoofduitgeverij: Springer International Publishing Ag
Fabrikant Naam: Springer Nature Customer Service Center GmbH
Product breedte: 155 mm
Product lengte: 235 mm
Verpakking breedte: 155 mm
Verpakking hoogte: 24 mm
Verpakking lengte: 235 mm
Verpakkingsgewicht: 662 g
EAN: 9783031787003