Detail publikace

Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report)

HOLÍK Lukáš, HOLÍKOVÁ Lenka, LENGÁL Ondřej, SAARIKIVI Olli, VEANES Margus a VOJNAR Tomáš. Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). Ithaca: Cornell University Library, 2019. Dostupné z: http://arxiv.org/abs/1910.01996
Název česky
Stručná reprezentace čítačových automatů prostřednictvím konstrukce koulí (technická zpráva)
Typ
technická zpráva
Jazyk
angličtina
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Holíková Lenka, Ing. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Saarikivi Olli (MSR)
Veanes Margus (MSR)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt

Tento článek navrhuje efektivní algoritmus pro determinizaci čítačových automatů do modelu množinově čítačových automatů.

Rok
2019
Strany
1-19
Vydavatel
Cornell University Library
Místo
Ithaca, DE
DOI
10.48550/arXiv.1910.01996
BibTeX 
@TECHREPORT{FITPUB12673,
   author = "Luk\'{a}\v{s} Hol\'{i}k and Lenka Hol\'{i}kov\'{a} and Ond\v{r}ej Leng\'{a}l and Olli Saarikivi and Margus Veanes and Tom\'{a}\v{s} Vojnar",
   title = "Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report)",
   pages = "1--19",
   year = 2019,
   location = "Ithaca, DE",
   publisher = "Cornell University Library",
   doi = "10.48550/arXiv.1910.01996",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12673"
}
Nahoru