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