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