Detail produktu
Mata: A Finite Automata Library
Vznik: 2024
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.
Volně šiřitelný software pod MIT licencí https://raw.githubusercontent.com/vhavlena/ranker/master/LICENSE
Reliable, Secure, and Intelligent Computer Systems, VUT, Vnitřní projekty VUT, FIT-S-23-8151, zahájení: 2023-03-01, ukončení: 2026-02-28, řešení
Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury, GAČR, Standardní projekty, GA23-07565S, zahájení: 2023-01-01, ukončení: 2025-12-31, řešení
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)