PanLinx
English
eng-000
reversible automaton
PanLex