Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Simulation-Based Simplification of omega-Automata

Name: Simulation-Based Simplification of omega-Automata
Brand: VDM Verlag Dr. Mueller E.K.
SKU: 06811052
Price: 71.45 EUR
Availability: InStock
Author: Carsten Fritz
ISBN: 9783639009859

Carsten Fritz

Език

Английски език

Книга С меки корици

Код Либристо: 06811052

Издателство VDM Verlag Dr. Mueller E.K., април 2008

We analyze simulation relations as heuristics for the simplification of omega-automata, i.e., of fin... Цялото описание

Код Либристо: 06811052

175 b

71.45 €

139.75 лв

Налично при издателя, по поръчка Изпращаме след 17-27 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Revelations de Dieu en 2012 - 2016: Premier livre Alfonso Cortes R

С меки корици

14.73 € 28.80 лв

Blue Lock 6 (česky) Muneyuki Kaneshiro

С меки корици

8.54 € 16.70 лв

Muž, ktorý šiel po kľukatých cestách Agnes Martin-Lugand

С твърди корици

17.80 € 34.80 лв

Erotische Erzählungen Klabund

С меки корици

12.27 € 24.00 лв

Oberammergau Hans-Michael Koetzle

С меки корици

26.75 € 52.31 лв

Таран Ботвинника. Вечнозеленая классика шахмат Д. Кряквин

С твърди корици

24.60 € 48.11 лв

Die Erstellung Eines Digitalen Zwillings Michael Sauer

С меки корици

14.98 € 29.30 лв

NEZAHUALCOYOTL - prince, poète, architecte, philosophe - PU50 Beausoleil

С меки корици

16.41 € 32.10 лв

Faust's Leben, Taten und Hoellenfahrt Friedrich Maximilian Klinger

С меки корици

14.11 € 27.60 лв

Zur Theorie Der Dynamischen Preispolitik Jörg W. Röper

С меки корици

55.29 € 108.14 лв

Personalentwicklung für kleine und mittlere Unternehmen Michael Mairhofer

С меки корици

62.14 € 121.54 лв

Strukturveränderungen und Gestaltungsspielräume im Arzneimittelvertrieb Wolfgang Voit

С меки корици

49.30 € 96.43 лв

Gesichtsanimation im 3D-Programm Maya Anke Dellwisch

С меки корици

51.76 € 101.23 лв

Die dissoziative Identität - Eine Herausforderung an die Sozialpädagogik? Anja Hochmuth

С меки корици

51.76 € 101.23 лв

Prognozirovanie Vremennykh Ryadov S Dvoynoy Dlinnoy Pamyat'yu Lyudmila Mel'nik

С меки корици

41.99 € 82.12 лв

Das große Lieselotte Such- und Findebuch Alexander Steffensmeier

Дипляна

12.73 € 24.90 лв

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.