Product Details

Mata: A Finite Automata Library

Created: 2024

Czech title
Mata: Knihovna pro konečné automaty
Type
software
License
no - free
Authors
Fiedor Tomáš, Ing., Ph.D. (DITS FIT BUT)
Havlena Vojtěch, Ing., Ph.D. (DITS FIT BUT)
Holík Lukáš, doc. Mgr., Ph.D. (DITS FIT BUT)
Hruška Martin, Ing. (DITS FIT BUT)
Chocholatý David, Ing. (FIT BUT)
Lengál Ondřej, Ing., Ph.D. (DITS FIT BUT)
Síč Juraj, Mgr. (DITS FIT BUT)
Keywords

finite automata

Description

Mata is a well-engineered automata library written in C++ that offers a unique combination of speed and simplicity. It is meant to serve in applications such as string constraint solving and reasoning about regular expressions, and as a reference implementation of automata algorithms. Besides basic algorithms for (non)deterministic automata, it implements a fast simulation reduction and antichain-based language inclusion checking. The simplicity allows a straightforward access to the low-level structures, making it relatively easy to extend and modify. Besides the C++ API, the library also implements a Python binding.

Location
Licence

Open source software under the MIT license https://raw.githubusercontent.com/vhavlena/ranker/master/LICENSE

Projects
Research groups
Departments
Back to top