бесконечный пулемет

[wizzard]

опа. а ведь действительно, бывают не только конечные автоматы (finite state machines), а и бесконечные.

я эту фразу на лекции как-то провтыкал, или ее фраза “…но мы их в этом курсе рассматривать не будем” пометила как неважную.
а оно поди ж ты, вот оно. только я пока не совсем понял как это можно использовать, но это такое.

надо про hypercomputation дочитать, а то оно было открыто и отложено в сторону.

Comments

[ivan-ghandhi.livejournal.com]

Hypercomputation: берём R в качестве множества состояний, входа и выхода. Теперь можно вычислять всё. Или, ещё лучше, берём теорию множеств в качестве "класса состояний". Теперь любое множество, согласно схеме аксиом выделения, вычислимо. Остаётся вопрос: а как именно? Ответ: оно существует.

В оригинальной статье вместо автомата - нейронная сеть, в котором лёгким движением пера переходят сначала от натуральных чисел к рациональным, а потом берут предел и переходят к вещественным.