Detail publikace

Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata

HOLÍK, L., VOJNAR, T., ABDULLA, P., BOUAJJANI, A., KAATI, L. Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata. FIT-TR-2008-001, Brno: 2008.
Název česky
Výpočet simulací nad stromovými automaty: Efektivní techniky redukce stromových automatů
Typ
audiovizuální tvorba
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Abdulla Parosh
Bouajjani Ahmed
Kaati Lisa
URL
Klíčová slova

stromové automaty, simulace, redukce velikosti, kombinace relací simulace

Abstrakt

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ů.

Rok
2008
Strany
34
Místo
FIT-TR-2008-001, Brno
BibTeX 
@misc{BUT63912,
  author="Lukáš {Holík} and Tomáš {Vojnar} and Parosh {Abdulla} and Ahmed {Bouajjani} and Lisa {Kaati}",
  title="Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata",
  year="2008",
  pages="34",
  address="FIT-TR-2008-001, Brno",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/abhkv-simtree-tr-07.pdf",
  note="presentation"
}
Nahoru