Detail publikace

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

HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; SAARIKIVI, O.; VEANES, M. Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). Ithaca: Cornell University Library, 2019. p. 1-19.
Název česky
Stručná reprezentace čítačových automatů prostřednictvím konstrukce koulí (technická zpráva)
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Holíková Lenka, Ing., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
SAARIKIVI, O.
Veanes Margus
URL
Klíčová slova

counting automata, determinisation, regular expressions with bounded repetition

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
DOI
10.48550/arXiv.1910.01996
BibTeX 
@techreport{BUT185112,
  author="HOLÍK, L. and HOLÍKOVÁ, L. and LENGÁL, O. and VOJNAR, T. and SAARIKIVI, O. and VEANES, M.",
  title="Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report)",
  year="2019",
  publisher="Cornell University Library",
  address="Ithaca",
  pages="1--19",
  doi="10.48550/arXiv.1910.01996",
  url="http://arxiv.org/abs/1910.01996"
}
Nahoru