Mata: A Finite Automata Library

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F24%3APR38677" target="_blank" >RIV/00216305:26230/24:PR38677 - isvavai.cz</a>

Result on the web

<a href="https://github.com/VeriFIT/mata" target="_blank" >https://github.com/VeriFIT/mata</a>

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Mata: A Finite Automata Library

Original language 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.

Czech name

—

Czech description

—

Type

R - Software

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2024

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Internal product ID

mata

Technical parameters

Pro informace o licenčních podmínkách prosím kontaktujte: Ing. Kristýna Dvořáčkova, MSc., Výzkumné centrum informačních technologií, Fakulta informačních technologií VUT v Brně, Božetěchova 2, 612 00 Brno, tel. 541 141 466.

Economical parameters

Software je volně dostupný včetně zdrojových textů.

Owner IČO

00216305

Owner name

Vysoké učení technické v Brně