Previous Entry Share Next Entry
2016-01

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

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

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

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


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

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

  • 1
?

Log in

No account? Create an account