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. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, vol. 2009, no. 251, p. 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
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

tree automata, bisimulation, simulation, combined relations, size reduction

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)
BibTeX 
@article{BUT49315,
  author="Lukáš {Holík} and Tomáš {Vojnar} and Parosh {Abdulla} and Lisa {Kaati}",
  title="A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata",
  journal="ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE",
  year="2009",
  volume="2009",
  number="251",
  pages="27--48",
  issn="1571-0661",
  url="http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B75H1-4X4H7HH-4-1&_cdi=13109&_user=10&_orig=browse&_coverDate=09%2F03%2F2009&_sk=997489999&view=c&wchp=dGLzVzz-zSkWb&md5=3c75609f2ce3e4e6b25134896766eee6&ie=/sdarticle.pdf"
}
Nahoru