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