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

Определение:

Язык [math]L[/math] удовлетворяет свойству [math]A[/math], если [math]L \in A[/math]. ( этот язык содержится в [math]A[/math]).