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