PanLinx

Englisheng-000
nondeterministic finite automation
Englisheng-000indeterministic automaton

PanLex

PanLex-PanLinx