Полный русско-английский словарь
частично рекурсивный
Partial recursive
Полный русско-английский словарь
частично разрешимый
частично смешанный