Detail publikace

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

ABDULLA Parosh A., HOLÍK Lukáš, KAATI Lisa a VOJNAR Tomáš. 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
technická zpráva
Jazyk
angličtina
Autoři
Abdulla Parosh A. (Uppsala)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Kaati Lisa (Uppsala)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
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, CZ
BibTeX
@TECHREPORT{FITPUB8620,
   author = "A. Parosh Abdulla and Luk\'{a}\v{s} Hol\'{i}k and Lisa Kaati and Tom\'{a}\v{s} Vojnar",
   title = "A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata",
   pages = 18,
   year = 2008,
   location = "FIT-TR-2008-005, Brno, CZ",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8620"
}
Nahoru