В теорії складності обчислень класом R (від англ. the recursive languages) називають безліч всіх рекурсивних мов. Еквівалентно клас R можна визначити як безліч задач розпізнавання (англ.) вирішуваних на машині Тьюринга. Клас R дорівнює перетинанню класів RE і co-RE.