February 2nd, 2007

Шляпа

Праздный вопрос

Вот интересно, какие языки может распознавать программа на языке программирования, содержащем:
Collapse )

Да, а еще интересно, как оформить такой язык аксиоматически? Никто же не считает C моделью машины Тьюринга -- ибо избыточен.

UDP: Это велосипед, разумеется. http://en.wikipedia.org/wiki/Machine_that_always_halts