Fakulta informačních technologií VUT v Brně

Detail publikace

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

ABDULLA Parosh A., HOLÍK Lukáš, CHEN Yu-Fang, MAYR Richard a VOJNAR Tomáš. When Simulation Meets Antichains (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata). In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science, roč. 6015. Berlín: Springer Verlag, 2010, s. 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
angličtina
Autoři
Abdulla Parosh A. (Uppsala)
Holík Lukáš, Mgr., Ph.D. (UITS FIT VUT)
Chen Yu-Fang (ASIN)
Mayr Richard (UEDIN)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
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
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS 2010, Paphos, CY
ISBN
978-3-642-12001-5
Vydavatel
Springer Verlag
Místo
Berlín, DE
BibTeX
@INPROCEEDINGS{FITPUB9190,
   author = "A. Parosh Abdulla and Luk\'{a}\v{s} Hol\'{i}k and Yu-Fang Chen and Richard Mayr and Tom\'{a}\v{s} Vojnar",
   title = "When Simulation Meets Antichains (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata)",
   pages = "158--174",
   booktitle = "Tools and Algorithms for the Construction and Analysis of Systems",
   series = "Lecture Notes in Computer Science",
   volume = 6015,
   year = 2010,
   location = "Berl\'{i}n, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-642-12001-5",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9190"
}
Nahoru