PanLinx
English
eng-000
finite-memory automaton
русский
rus-000
автомат с конечной памятью
PanLex