Next Previous Contents

5. Implementation

The OKA is implemented with other COCOM tools. NDFA(s) is created at the begin. After that NDFA(s) is transformed to DFA(s). DFA(s) is than minimized. Tables representing DFA(s) are compacted with the aid of comb-vector method. To decrease size of the generated tables also instructions are divided on equivalence classes. It is especially important when automaton is split on several automata.


Next Previous Contents