Detail publikace

Mediating for Reduction (On Minimizing Alternating Büchi Automata)

HOLÍK, L.; VOJNAR, T.; ABDULLA, P.; CHEN, Y. Mediating for Reduction (On Minimizing Alternating Büchi Automata). FIT-TR-2009-02, Brno: 2009. p. 0-0.
Název česky
Zprostředkování pro redukci (Za minimalizací alternujících automatů)
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Abdulla Parosh
Chen Yu-Fang
URL
Klíčová slova

alternating automata, Büchi automata, reduction, simulation

Abstrakt

Navrhli jsme novou metodu redukce alternujících Büchi automatůslučováním stavů ekvivalentních podle podle nové relace, takzvanezprostředkované (mediated) ekvivalenece. Zprostředkovaná ekvivalece jekombinací dopředné a zpětné simulace. Efektivitu metody jsme otestovalina experiementech s alternujícími automaty vznikajícími v rámcikomplementace Büchi automatů.

Anotace

Navrhli jsme novou metodu redukce alternujících Büchi automatů slučováním stavů ekvivalentních podle podle nové relace, takzvane zprostředkované (mediated) ekvivalenece. Zprostředkovaná ekvivalece je kombinací dopředné a zpětné simulace. Efektivitu metody jsme otestovali na experiementech s alternujícími automaty vznikajícími v rámci komplementace Büchi automatů.

Rok
2009
Strany
29
Místo
FIT-TR-2009-02, Brno
BibTeX 
@techreport{BUT192699,
  author="Lukáš {Holík} and Tomáš {Vojnar} and Parosh {Abdulla} and Yu-Fang {Chen}",
  title="Mediating for Reduction (On Minimizing Alternating Büchi Automata)",
  year="2009",
  address="FIT-TR-2009-02, Brno",
  pages="29",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/achv-medForRed-tr-09.pdf"
}
Nahoru