classical cellular automata

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 Buchi 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.



Что ищут на сайте
дуги багажные thule wingbar edge для автомобилей со штатными местами 2 шт размер l 9593 | дуги багажные thule wingbar edge для автомобилей со штатными местами 2 шт размер s 9591 | установочный комплект для багажника thule 1045 | установочный комплект для багажника thule 1030 | установочный комплект для багажника thule 1077 | установочный комплект для багажника thule 1038 | упоры thule для автомобилей с водостоками и высокой крышей 20 см средний 952 | упоры thule для автомобилей с водостоками и высокой крышей 20 см средний 952 | набор автомобильных экранов trokot для nissan almera n16 2000 2006 на заднюю полусферу 3 предмета tr0551 09 | упоры thule 754 для автомобилей с гладкой крышей с замками | упоры thule 754 для автомобилей с гладкой крышей с замками | упоры thule для автомобилей с водостоками и высокой крышей 20 см средний 952 | упоры для автомобилей thule с водостоками и высокими крышами 27см 420 | брызговики novline autofamily брызговики задние nissan juke | брызговики novline autofamily брызговики задние nissan juke | комплект брызговиков передних novline autofamily для nissan juke 2011 2 шт | брызговики novline autofamily брызговики задние nissan pathfinder | брызговики передние novline autofamily nissan juke 2011 2014 2014 | брызговики задние novline autofamily nissan pathfinder 2010 2014 | брызговики задние novline autofamily nissan sentra b17 2014 | брызговики задние novline autofamily nissan almera 2012 | брызговики задние novline autofamily nissan juke 2014 | брызговики novline autofamily брызговики передние ford ecosport | брызговики novline autofamily брызговики передние fiat ducato | брызговики novline autofamily брызговики задние subaru forester |