Mata: A Finite Automata Library

Mata: Knihovna pro konečné automaty

software

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

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

Havlena Vojtěch, Ing., Ph.D. (UITS)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Chocholatý David, Ing. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Síč Juraj, Mgr. (UITS)
Fiedor Tomáš, Ing., Ph.D. (VZ VERIFIT)
Hruška Martin, Ing., Ph.D. (VZ Automata@FIT)

finite automata

Mata je dobře řešená knihovna automatů napsaná v jazyce C++, která nabízí jedinečnou kombinaci rychlosti a jednoduchosti. Má sloužit v aplikacích, jako je řešení řetězcových omezení a uvažování o regulárních výrazech, a jako referenční implementace automatových algoritmů. Kromě základních algoritmů pro (ne)deterministické automaty implementuje rychlou simulační redukci a kontrolu začlenění jazyka na základě antiřetězce. Díky své jednoduchosti umožňuje přímočarý přístup k nízkoúrovňovým strukturám, takže jej lze poměrně snadno rozšiřovat a upravovat. Kromě API v jazyce C++ implementuje knihovna také vazbu na jazyk Python.

https://github.com/VeriFIT/mata

Volně šiřitelný software pod MIT licencí https://raw.githubusercontent.com/vhavlena/ranker/master/LICENSE

Efektivní konečné automaty pro automatické usuzování, MŠMT, ERC CZ, LL1908, 2020-2024, řešení
Reliable, Secure, and Intelligent Computer Systems, VUT, Vnitřní projekty VUT, FIT-S-23-8151, 2023-2026, řešení
Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury, GAČR, Standardní projekty, GA23-07565S, 2023-2025, řešení

Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Ústav inteligentních systémů (UITS)