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
zpráva odborná
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 avyužití těchto relací pro redukci velikosti stromových automatů. Jepopsána metoda výpočtu stromových simulačních relací stojící na převodudaného problému na problém výpočtu klasických simulací nad slovnímiautomaty.
Dále navrhujeme metodu kombinace jistých dvou typů simulace ("horní" a"dolní") tak, aby vznikla relace s ještě lepšími vlastnostmi (vzhledemk 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 
@techreport{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",
  address="FIT-TR-2008-001, Brno",
  pages="34",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/abhkv-simtree-tr-07.pdf"
}
Nahoru