Обсуждение:Теорема Райса-Шапиро
Версия от 16:09, 10 января 2015; Slavian (обсуждение | вклад)
| Определение: |
| Язык удовлетворяет свойству , если . ( этот язык содержится в . |
| Определение: |
| Язык [math]L[/math] удовлетворяет свойству [math]A[/math], если [math]L \in A[/math]. ( этот язык содержится в [math]A[/math]. |
