Обсуждение:Теорема Райса-Шапиро

Материал из Викиконспекты
Перейти к: навигация, поиск
Определение:
Язык [math]L[/math] удовлетворяет свойству [math]A[/math], если [math]L \in A[/math]. ( этот язык содержится в [math]A[/math].