Mata: A Finite Automata Library

Mata: Knihovna pro konečné automaty

software

no - free

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)

finite automata

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.

https://github.com/VeriFIT/mata

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

Efficient Finite Automata for Automated Reasoning (LL1908)
Reliable, Secure, and Intelligent Computer Systems (FIT-S-23-8151)
Representing Boolean Functions by a Self-Adaptable Data Structure (GA23-07565S)

Automata@FIT (VZ Automata@FIT)
Automated Analysis and Verification Research Group - VeriFIT (VZ VERIFIT)

Department of Intelligent Systems FIT BUT (DITS FIT BUT)