Detail publikace

Composed Bisimulation for Tree Automata

HOLÍK, L.; VOJNAR, T.; ABDULLA, P.; BOUAJJANI, A.; KAATI, L. Composed Bisimulation for Tree Automata. International Journal of Foundations of Computer Science, 2009, vol. 20, no. 4, p. 685-700. ISSN: 0129-0541.
Název česky
Složená bisimulace stromových automatů
Typ
článek v časopise
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
URL
Klíčová slova

finite tree automata, bisimulation, size reduction.

Abstrakt

Práce zavádí koncept složených bisimulací nad nedeterministickými stromovými automaty motivovaný jejich aplikací k redukci velikosti těchto stromových automatů.

Rok
2009
Strany
685–700
Časopis
International Journal of Foundations of Computer Science, roč. 20, č. 4, ISSN 0129-0541
BibTeX 
@article{BUT47978,
  author="Lukáš {Holík} and Tomáš {Vojnar} and Parosh {Abdulla} and Ahmed {Bouajjani} and Lisa {Kaati}",
  title="Composed Bisimulation for Tree Automata",
  journal="International Journal of Foundations of Computer Science",
  year="2009",
  volume="20",
  number="4",
  pages="685--700",
  issn="0129-0541",
  url="http://www.worldscinet.com/ijfcs/20/preserved-docs/2004/S0129054109006814.pdf"
}
Nahoru