Simulation-Based Simplification of omega-Automata

Name: Simulation-Based Simplification of omega-Automata
Brand: VDM Verlag Dr. Mueller E.K.
SKU: 9783639009859
Price: 23625 HUF
Availability: InStock

Szerző: Carsten Fritz

Nyelv:

Kötés: Puha kötésű

Kiadó: VDM Verlag Dr. Mueller E.K.

Elérhetőség: Kiadói készleten rendelésre

Küldés 17-27 napon belül

23 625 Ft

We analyze simulation relations as heuristics for the simplification of omega-automata, i.e., of fin...

Információk a könyvről

Szerző

Carsten Fritz

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2008

oldal

200

EAN

9783639009859

ISBN

3639009851

Enbook ID

06811052

Kiadó

VDM Verlag Dr. Mueller E.K.

Súly

272

Méretek

152 x 229 x 11

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Simulation-Based Simplification of omega-Automata

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták