Изменения

Перейти к: навигация, поиск

Разрешимые (рекурсивные) языки

24 байта убрано, 15:38, 17 января 2015
м
Примеры разрешимых множества
<tex>p_1(i) {:} </tex>
'''if''' <tex>i \leqslant < 1 </tex>
'''return''' 1
'''else'''
<tex>p_2(i) {:} </tex>
'''if''' <tex>i \leqslant < 2 </tex>
'''return''' 1
'''else'''
<tex>p_k(i) {:} </tex>
'''if''' <tex>i \leqslant < k </tex>
'''return''' 1
'''else'''

Навигация