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ý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
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