Technická zpráva

 
Abdulla, P., A., Holík, L., Chen, Y., Vojnar, T.: Mediating for Reduction (On Minimizing Alternating Büchi Automata), FIT-TR-2009-02, Brno, CZ, 2009, s. 29
Jazyk publikace:angličtina
Název publikace:Mediating for Reduction (On Minimizing Alternating Büchi Automata)
Název (cs):Zprostředkování pro redukci (Za minimalizací alternujících automatů)
Strany:29
Místo vydání:FIT-TR-2009-02, Brno, CZ
Rok:2009
URL:http://www.fit.vutbr.cz/~vojnar/Publications/achv-medForRed-tr-09.pdf [PDF]
Klíčová slova
alternating automata, Büchi automata, reduction, simulation
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ů.
Abstrakt
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ů.
BibTeX:
@TECHREPORT{
   author = {A. Parosh Abdulla and Lukáš Holík and Yu-Fang Chen and Tomáš
	Vojnar},
   title = {Mediating for Reduction (On Minimizing Alternating Büchi
	Automata)},
   pages = {29},
   year = {2009},
   location = {FIT-TR-2009-02, Brno, CZ},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9095}
}