Technická zpráva

ABDULLA Parosh A., HOLÍK Lukáš, CHEN Yu-Fang a VOJNAR Tomáš. Mediating for Reduction (On Minimizing Alternating Büchi Automata). FIT-TR-2009-02, Brno, 2009.
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{\'{a}}{\v{s}} Hol{\'{i}}k and
	Yu-Fang Chen and Tom{\'{a}}{\v{s}} Vojnar},
   title = {Mediating for Reduction (On Minimizing Alternating
	B{\"{u}}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.cs?id=9095}
}

Vaše IPv4 adresa: 54.162.15.31
Přepnout na IPv6 spojení

DNSSEC [dnssec]