PanLinx
русский
rus-000
детерминированная машина
English
eng-000
determinate machine
PanLex