PanLinx
русский
rus-000
механически вычислимая функция
English
eng-000
mechanically computable function
PanLex