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