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). In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, roč. 4963. Berlin: Springer Verlag, 2008, s. 93-108. ISBN 978-3-540-78799-0.
Název česky
Výpočet simulací nad stromovými automaty (Efektivní techniky pro redukci stromových automatů)
Typ
článek ve sborníku konference
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)
Abstrakt

Článek prezentuje jednoduché a výkonné algoritmy pro výpočet různých simulačních relací nad stromovými automaty, a to prostřednictvím jejich překladu do vhodných označených přechodových systémů. Článek rovněž prezentuje způsob, jak složit některé z uvažovaných simulací tak, aby vznikla relace relativně hrubá, ale současně zachovávající jazyk stromových automatů, což je výhodné pro efektivní redukci nedeterministických stromových automatů.

Rok
2008
Strany
93-108
Sborník
Tools and Algorithms for the Construction and Analysis of Systems
Řada
Lecture Notes in Computer Science
Svazek
4963
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'08 (TACAS'08, FoSSaCS'08), Budapešť, HU
ISBN
978-3-540-78799-0
Vydavatel
Springer Verlag
Místo
Berlin, DE
BibTeX
@INPROCEEDINGS{FITPUB8575,
   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 = "93--108",
   booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",
   series = "Lecture Notes in Computer Science",
   volume = 4963,
   year = 2008,
   location = "Berlin, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-540-78799-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8575"
}
Nahoru