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). FIT-TR-2010-01, Brno: Fakulta informačních technologií VUT v Brně, 2010.
Název česky
Když se simulace potká s protiřetězcem (za testováním jazykové inkluze nedeterministických konečných (stromových) automatů)
Typ
technická zpráva
Jazyk
angličtina
Autoři
Abdulla Parosh A. (Uppsala)
Holík Lukáš, Mgr., Ph.D. (UITS FIT VUT)
Chen Yu-Fang (Uppsala)
Mayr Richard (UEDIN)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt
Navrhli jsme efektivní metody pro testování universality a jazykové inkluze nedterminisitckých (stromových) automatů. Hlavní myšlěnkou je zde využití relací simulace na stavech automatu v rámci takzvaných "protiřetězcových algoritmů". Efektivitu nových algoritmů jsme experimentálně ověřili.
Rok
2010
Strany
22
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
FIT-TR-2010-01, Brno, CZ
BibTeX
@TECHREPORT{FITPUB9152,
   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 = 22,
   year = 2010,
   location = "FIT-TR-2010-01, Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9152"
}
Nahoru