Detail publikace

A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata

HOLÍK, L., VOJNAR, T., ABDULLA, P., KAATI, L. A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata. FIT-TR-2008-005, Brno: 2008.
Název česky
Uniformní (bi-)simulační framework pro redukci stromových automtů
Typ
audiovizuální tvorba
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Abdulla Parosh
Kaati Lisa
URL
Klíčová slova

stromové automaty, bisimulace, simulace, framework

Abstrakt

Práce popisuje uniformní framework pro kombinaci různých druhů simulací a bisimulací nad stromovými automaty s využitím pro redukci velikosti stromových automatů.

Rok
2008
Strany
18
Místo
FIT-TR-2008-005, Brno
BibTeX 
@misc{BUT63768,
  author="Lukáš {Holík} and Tomáš {Vojnar} and Parosh {Abdulla} and Lisa {Kaati}",
  title="A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata",
  year="2008",
  pages="18",
  address="FIT-TR-2008-005, Brno",
  url="http://www.fit.vutbr.cz/~holik/pub/FIT-TR-2008-005.pdf",
  note="presentation"
}
Nahoru