Detail publikace
Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata
ABDULLA Parosh A., BOUAJJANI Ahmed, HOLÍK Lukáš, KAATI Lisa a VOJNAR Tomáš. 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
technická zpráva
Jazyk
angličtina
Autoři
Abdulla Parosh A. (Uppsala)
Bouajjani Ahmed (UPAR7)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Kaati Lisa (Uppsala)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Bouajjani Ahmed (UPAR7)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Kaati Lisa (Uppsala)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
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, CZ
BibTeX
@TECHREPORT{FITPUB8636, author = "A. Parosh Abdulla and Ahmed Bouajjani and Luk\'{a}\v{s} Hol\'{i}k and Lisa Kaati and Tom\'{a}\v{s} 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 = "https://www.fit.vut.cz/research/publication/8636" }