Mata: A Finite Automata Library

Mata: Knihovna pro konečné automaty

software

ne - zdarma

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

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í (LL1908)
Reliable, Secure, and Intelligent Computer Systems (FIT-S-23-8151)
Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury (GA23-07565S)

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

Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)