Detail publikace

When Simulation Meets Antichains (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata)

HOLÍK, L.; VOJNAR, T.; ABDULLA, P.; CHEN, Y.; MAYR, R. When Simulation Meets Antichains (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata). Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science. Berlín: Springer Verlag, 2010. p. 158-174. ISBN: 978-3-642-12001-5.
Název česky
Když se simulace setká s protiřetězcem (Za efektivním testováním jazykové inkluze nedeterministických konečných (stromových) automatů)
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Abdulla Parosh
Chen Yu-Fang
Mayr Richard
URL
Klíčová slova

NFA, tree-automata, universality, language inclusion, simulation, antichain

Abstrakt

Navrhli jsme nový efetkivní algoritmus pro testovaní universality a jazykové inkluze nedeterministických stromových automatů, který kombinuje dříve známe algoritmy využívající relací simulace a efektivního prohledávání stavového prostoru založeného na udžování protiřetězců dosažených stavů.

Anotace

Navrhli jsme nový efetkivní algoritmus pro testovaní universality a jazykové inkluze nedeterministických stromových automatů, který kombinuje dříve známe algoritmy využívající relací simulace a efektivního prohledávání stavového prostoru založeného na udžování protiřetězců dosažených stavů.

Rok
2010
Strany
158–174
Sborník
Tools and Algorithms for the Construction and Analysis of Systems
Řada
Lecture Notes in Computer Science
Svazek
6015
ISBN
978-3-642-12001-5
Vydavatel
Springer Verlag
Místo
Berlín
BibTeX 
@inproceedings{BUT34731,
  author="Lukáš {Holík} and Tomáš {Vojnar} and Parosh {Abdulla} and Yu-Fang {Chen} and Richard {Mayr}",
  title="When Simulation Meets Antichains (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata)",
  booktitle="Tools and Algorithms for the Construction and Analysis of Systems",
  year="2010",
  series="Lecture Notes in Computer Science",
  volume="6015",
  pages="158--174",
  publisher="Springer Verlag",
  address="Berlín",
  isbn="978-3-642-12001-5",
  url="http://www.springerlink.com/content/a2g32650q853l185/"
}
Nahoru