Разрешимые (рекурсивные) языки
Версия от 05:51, 14 декабря 2011; 192.168.0.2 (обсуждение)
| Определение: |
| Язык называется разрешимым (рекурсивным), если существует такая программа , что и . |
| Определение: |
| Язык [math]L[/math] называется разрешимым (рекурсивным), если существует такая программа [math] p [/math], что [math] \forall w \in L: p(w) = 1[/math] и [math] \forall w \notin L: p(w) = 0[/math]. |
