Detail publikace

Composed Bisimulation for Tree Automata

ABDULLA Parosh A., BOUAJJANI Ahmed, HOLÍK Lukáš, KAATI Lisa a VOJNAR Tomáš. Composed Bisimulation for Tree Automata. In: Implementation and Application of Automata. Lecture Notes in Computer Science, roč. 5148. Berlin: Springer Verlag, 2008, s. 212-222. ISBN 978-3-540-70843-8.
Název česky
Kombinovaná bisimulace pro stromové automaty
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)
Klíčová slova

stromové automaty, bisimulace, redukce velikosti

Abstrakt

Zabíváme se problémem bisimulační redukce stromových automatů. Přinášíme nový způsob kombinace tzv. horní a dolní bisimulace a metodu převodu problému výpočtu stromových bisimulací na problém výpočtu klasických slovních bisimulací (nad přechodovými systémy).

Rok
2008
Strany
212-222
Sborník
Implementation and Application of Automata
Řada
Lecture Notes in Computer Science
Svazek
5148
Konference
13th International Conference on Implementation and Application of Automata -- CIAA'08, San Francisco, California, US
ISBN
978-3-540-70843-8
Vydavatel
Springer Verlag
Místo
Berlin, DE
BibTeX 
@INPROCEEDINGS{FITPUB8671,
   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 = "Composed Bisimulation for Tree Automata",
   pages = "212--222",
   booktitle = "Implementation and Application of Automata",
   series = "Lecture Notes in Computer Science",
   volume = 5148,
   year = 2008,
   location = "Berlin, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-540-70843-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8671"
}
Nahoru