Product detail

Mata: A Finite Automata Library

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

Product type

software

Abstract

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.

Keywords

finite automata

Create date

2. 1. 2024

Location

https://github.com/VeriFIT/mata

Possibilities of use

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

Licence fee

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

www

https://github.com/VeriFIT/mata