Detail publikace

Mata: A Fast and Simple Finite Automata Library

HOLÍK, L.; CHOCHOLATÝ, D.; FIEDOR, T.; HAVLENA, V.; HRUŠKA, M.; LENGÁL, O.; SÍČ, J. Mata: A Fast and Simple Finite Automata Library. Proceedings of TACAS'24. Lecture Notes in Computer Science. Luxembourgh: Springer Verlag, 2024. p. 130-151. ISSN: 0302-9743.
Název česky
Mata: Rychlá a jednoduchá knihovna pro konečné automaty
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Chocholatý David, Ing. (UITS)
Fiedor Tomáš, Ing., Ph.D. (VZ VERIFIT)
Havlena Vojtěch, Ing., Ph.D. (UITS)
Hruška Martin, Ing., Ph.D. (VZ Automata@FIT)
Lengál Ondřej, Ing., Ph.D. (UITS)
Síč Juraj, Mgr. (UITS)
URL
Klíčová slova

Nondeterministic finite automata, automata library

Abstrakt

Tento článek přináší efektivní knihovnu pro práci s konečnými automaty Mata. Mata
využívá jednoduché, ale efektivní datové struktury. Rozsáhlé experimentální
vyhodnocení ukazuje, že Mata umožňuje rychlejší automatové operace než ostatní
knihovny.

Rok
2024
Strany
130–151
Časopis
Lecture Notes in Computer Science, č. 14571, ISSN 0302-9743
Sborník
Proceedings of TACAS'24
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'24 (TACAS'24), Centre for Security, Reliability and Trust (SnT), University of Luxembourg., LU
Vydavatel
Springer Verlag
Místo
Luxembourgh
DOI
10.1007/978-3-031-57249-4_7
BibTeX 
@inproceedings{BUT188471,
  author="Lukáš {Holík} and David {Chocholatý} and Tomáš {Fiedor} and Vojtěch {Havlena} and Martin {Hruška} and Ondřej {Lengál} and Juraj {Síč}",
  title="Mata: A Fast and Simple Finite Automata Library",
  booktitle="Proceedings of TACAS'24",
  year="2024",
  journal="Lecture Notes in Computer Science",
  number="14571",
  pages="130--151",
  publisher="Springer Verlag",
  address="Luxembourgh",
  doi="10.1007/978-3-031-57249-4\{_}7",
  issn="0302-9743",
  url="https://link.springer.com/chapter/10.1007/978-3-031-57249-4_7"
}
Nahoru