PanLinx
English
eng-000
decidable language
русский
rus-000
разрешимый язык
PanLex