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. Electronic Notes in Theoretical Computer Science, roč. 2009, č. 251, s. 27-48. ISSN 1571-0661.
Název česky
Uniformní systém (bi)simulačních relací pro redukci stromových automatů
Typ
článek v časopise
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
Abstrakt

Práce prezentuje uniformní systém (bi)simulačních relací pro redukci velikosti nedeterministických stromových automatů, umožňující zjemnit volbu mezi časovou složitostí redukce a mírou redukce.

Rok
2009
Strany
27-48
Časopis
Electronic Notes in Theoretical Computer Science, roč. 2009, č. 251, ISSN 1571-0661
Kniha
Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008)
Vydavatel
Elsevier Science
BibTeX 
@ARTICLE{FITPUB9030,
   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 = "27--48",
   booktitle = "Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2008)",
   journal = "Electronic Notes in Theoretical Computer Science",
   volume = 2009,
   number = 251,
   year = 2009,
   ISSN = "1571-0661",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9030"
}
Nahoru