Článek ve sborníku konference

ABDULLA Parosh A., HOLÍK Lukáš, CHEN Yu-Fang a VOJNAR Tomáš. Zprostředkování pro redukci (Za minimalizací alternujících automatů). In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009). Wadern: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2009, s. 1-12. ISBN 978-3-939897-13-2.
Jazyk publikace:čeština
Název publikace:Mediating for Reduction (On Minimizing Alternating Büchi Automata)
Název (en):Mediating for Reduction (On Minimizing Alternating Büchi Automata)
Strany:1-12
Sborník:IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009)
Konference:Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Řada knih:LIPIcs, sv. 4
Místo vydání:Wadern, DE
Rok:2009
ISBN:978-3-939897-13-2
Vydavatel:Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
URL:http://www.fit.vutbr.cz/~holik/pub/FSTTCS09.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:
@INPROCEEDINGS{
   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 = {1--12},
   booktitle = {IARCS Annual Conference on Foundations of Software
	Technology and Theoretical Computer Science (2009)},
   series = {LIPIcs, sv. 4},
   year = 2009,
   location = {Wadern, DE},
   publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
   ISBN = {978-3-939897-13-2},
   language = {czech},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=9140}
}

Vaše IPv4 adresa: 3.83.192.109
Přepnout na https