Technická zpráva

 
Abdulla, P., A., Bouajjani, A., Holík, L., Kaati, L., Vojnar, T.: Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata, FIT-TR-2008-001, Brno, CZ, 2008, s. 34
Jazyk publikace:angličtina
Název publikace:Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata
Název (cs):Výpočet simulací nad stromovými automaty: Efektivní techniky redukce stromových automatů
Strany:34
Místo vydání:FIT-TR-2008-001, Brno, CZ
Rok:2008
URL:http://www.fit.vutbr.cz/~vojnar/Publications/abhkv-simtree-tr-07.pdf [PDF]
Klíčová slova
stromové automaty, simulace, redukce velikosti, kombinace relací simulace
Anotace
V článku je zkoumán problém výpočtu simulací nad stromovými automaty a využití těchto relací pro redukci velikosti stromových automatů. Je popsána metoda výpočtu stromových simulačních relací stojící na převodu daného problému na problém výpočtu klasických simulací nad slovními automaty.
Dále navrhujeme metodu kombinace jistých dvou typů simulace ("horní" a "dolní") tak, aby vznikla relace s ještě lepšími vlastnostmi (vzhledem k redukci stromových automatů). Naše experimentální výsledky potvrzují, že se podařilo přijít s efektivní metodou redukce stromových automatů.
BibTeX:
@TECHREPORT{
   author = {A. Parosh Abdulla and Ahmed Bouajjani and Lukáš Holík and
	Lisa Kaati and Tomáš Vojnar},
   title = {Computing Simulations over Tree Automata: Efficient
	Techniques for Reducing Tree Automata},
   pages = {34},
   year = {2008},
   location = {FIT-TR-2008-001, Brno, CZ},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8636}
}