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
zpráva odborná
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 velikostistromových automatů.

Rok
2008
Strany
18
Místo
FIT-TR-2008-005, Brno
BibTeX 
@techreport{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",
  address="FIT-TR-2008-005, Brno",
  pages="18",
  url="http://www.fit.vutbr.cz/~holik/pub/FIT-TR-2008-005.pdf"
}
Nahoru