Просмотр исходного текста страницы Формально об алгоритмах. Вычислительные модели/Задачи/ex-lost

<latex>
Докажите, что разрешим язык $L$,
состоящий из $n \in N$, таких, что
строка «4815162342» встречается в десятичном разложении числа
$\pi$ не менее чем $n$ раз подряд.
</latex>


<!--Вообще-то, решения уже есть-->

[[Категория:Решенные задачи]]
[[Категория:Теоретические задачи]]