Detail publikace

Composed Bisimulation for Tree Automata

HOLÍK, L.; VOJNAR, T.; ABDULLA, P.; BOUAJJANI, A.; KAATI, L. Composed Bisimulation for Tree Automata. Implementation and Application of Automata. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2008. p. 212-222. ISBN: 978-3-540-70843-8.
Název česky
Kombinovaná bisimulace pro stromové automaty
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

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
ISBN
978-3-540-70843-8
Vydavatel
Springer Verlag
Místo
Berlin
BibTeX 
@inproceedings{BUT34274,
  author="Lukáš {Holík} and Tomáš {Vojnar} and Parosh {Abdulla} and Ahmed {Bouajjani} and Lisa {Kaati}",
  title="Composed Bisimulation for Tree Automata",
  booktitle="Implementation and Application of Automata",
  year="2008",
  series="Lecture Notes in Computer Science",
  volume="5148",
  pages="212--222",
  publisher="Springer Verlag",
  address="Berlin",
  isbn="978-3-540-70843-8"
}
Nahoru