PanLinx
русский
rus-000
вполне рекурсивно перечислимый
English
eng-000
completely recursively enumerable
PanLex
