Рекурсивные функции
...где 0 символ нульместной функции , s — символ одноместной функции , +, • — символы двухместных функций ; RÊR0 ={<}, где < символ двухместного предиката. Определение выражений, (синтаксис) языка Rå будет зависеть еще и от семантики этого языка.