Изменения

|definition = Язык <tex>L</tex> называется ''разрешимым'', если существует такая вычислимая функция <tex>f : \Sigma^* \to \{0, 1\} : x \in L \leftrightarrow f(x) = 1</tex> {{---}} вычислима.