💜 Wir beteiligen Autor*innen bei jedem Buch mit 7 Prozent, so dass viele von ihnen bei jedem verkauften Exemplar doppelt verdienen. → Mehr erfahren

Simulation-Based Simplification of omega-Automata: Using Simulation Relations for the Simplification of Alternating and Parity Automata

Simulation-Based Simplification of omega-Automata: Using Simulation Relations for the Simplification of Alternating and Parity Automata

von Carsten Fritz
Taschenbuch - 9783639009859
68,00 €
  • Versandkostenfrei
Auf meine Merkliste
  • Hinweis: Print on Demand. Lieferbar innerhalb von 7 bis 10 Tagen
  • Lieferzeit nach Versand: ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)
  • Hinweis: Print on Demand. Lieferbar innerhalb von 7 bis 10 Tagen
  • Hinweis: Lieferzeit ca. 1-2 Tage
  • inkl. MwSt. & Versandkosten (innerhalb Deutschlands)

Autorenfreundlich Bücher kaufen?!

Beschreibung

We analyze simulation relations as heuristics for the simplification of omega-automata, i.e., of finite automata working on infinite strings. Our focus is on alternating omega-automata, especially automata resulting from LTL formulas, as is important in model checking. We introduce direct, delayed, and fair simulation for alternating Büchi automata (ABA), and simulation quotient constructions for ABA. Our simulations are compatible with the standard translation of ABA to non-alternating automata. We apply these results to translating formulas of propositional LTL to nondeterministic automata. We develop a translation algorithm from LTL to nondeterministic automata with an on-the-fly use of simulation relations for simplification, and we compare our approach to tableau-based translation algorithms. We extend our notion of delayed simulation to alternating parity automata (APA), introduce variants of this relation suited for quotienting of APA, and develop a simulation-based simplification algorithm for APA. We give a sketch of how to apply these results to a fragment of the modal mu- calculus. This book is suited for students and researchers interested in the automata theory of LTL.

Details

Verlag VDM Verlag Dr. Müller e.K.
Ersterscheinung Oktober 2013
Maße 220 mm x 150 mm x 12 mm
Gewicht 314 Gramm
Format Taschenbuch
ISBN-13 9783639009859
Auflage Nicht bekannt
Seiten 200

Schlagwörter