PanLinx: вполне рекурсивно перечислимый класс

русский	rus-000
вполне рекурсивно перечислимый класс

English	eng-000	completely recursively enumerable class
English	eng-000	recursively enumerable class

PanLex-PanLinx