Detail produktu
Mata: A Finite Automata Library
Vznik: 2024
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, Ing. (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.
Volně šiřitelný software pod MIT licencí https://raw.githubusercontent.com/vhavlena/ranker/master/LICENSE
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)