Detail produktu

Mata: A Finite Automata Library

HAVLENA, V. HOLÍK, L. CHOCHOLATÝ, D. LENGÁL, O. SÍČ, J. FIEDOR, T. HRUŠKA, M.

Typ produktu

software

Abstrakt

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.

Klíčová slova

finite automata

Datum vzniku

2. 1. 2024

Umístění

https://github.com/VeriFIT/mata

Možnosti využití

Využití výsledku jiným subjektem je možné bez nabytí licence (výsledek není licencován)

Licenční poplatek

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www