added function headers to keep compability with FA extension
added function headers to keep compability with FA extension
added function headers to keep compability with FA extension
added comments
added comments
Added tests for finite automata extension
Added operations for FA
Added explicit finite automata representation
Added explicit finite automata representation
Added explicit finite automata CLI
Added makefiles with macros for changing optimization level