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). Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2008. p. 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
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Abdulla Parosh
Bouajjani Ahmed
Kaati Lisa
Klíčová slova

tree automata, simulation relation, nondeterministic tree automata, reductionm, language preservation

Abstrakt

Článek prezentuje jednoduché a výkonné algoritmy pro výpočet různýchsimulačních relací nad stromovými automaty, a to prostřednictvím jejichpř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, abyvznikla relace relativně hrubá, ale současně zachovávající jazykstromových automatů, což je výhodné pro efektivní redukcinedeterministický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
BibTeX 
@inproceedings{BUT30753,
  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)",
  booktitle="Tools and Algorithms for the Construction and Analysis of Systems",
  year="2008",
  series="Lecture Notes in Computer Science",
  volume="4963",
  pages="93--108",
  publisher="Springer Verlag",
  address="Berlin",
  isbn="978-3-540-78799-0"
}
Nahoru