Detail publikace

On Complementation of Nondeterministic Finite Automata without Full Determinization

HOLíK Lukáš, LENGáL Ondřej, MAJOR Juraj, STREJčEK Jan a ŠTěPKOVá Adéla. On Complementation of Nondeterministic Finite Automata without Full Determinization. In: 25th International Symposium on Fundamentals of Computation Theory. Wroclaw: Springer Verlag, 2025. ISSN 0302-9743.
Název česky
Komplementace nedeterministického konečného automatu bez plné determinizace
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Major Juraj (MUNI)
Strejček Jan, prof. RNDr., Ph.D. (FI MUNI)
Štěpková Adéla (MUNI)
Abstrakt

Tento článek se zaobírá komplementací nedeterministických konečných automatů bez toho, aby byl daný automat nejprve plně determinizován.

Rok
2025 (v tisku)
Časopis
Lecture Notes in Computer Science, ISSN 0302-9743
Sborník
25th International Symposium on Fundamentals of Computation Theory
Konference
25th International Symposium on Fundamentals of Computation Theory --- FCT'25, Wroclaw, PL
Vydavatel
Springer Verlag
Místo
Wroclaw, PL
BibTeX 
@INPROCEEDINGS{FITPUB13549,
   author = "Luk\'{a}\v{s} Hol\'{i}k and Ond\v{r}ej Leng\'{a}l and Juraj Major and Jan Strej\v{c}ek and Ad\'{e}la \v{S}t\v{e}pkov\'{a}",
   title = "On Complementation of Nondeterministic Finite Automata without Full Determinization",
   booktitle = "25th International Symposium on Fundamentals of Computation Theory",
   journal = "Lecture Notes in Computer Science",
   year = 2025,
   location = "Wroclaw, PL",
   publisher = "Springer Verlag",
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/13549"
}
Nahoru