PanLinx
русский
rus-000
рекурсивно перечислимое множество
беларуская
bel-000
рэкурсіўна пералічальнае мноства
PanLex