Haifu language is Turing-complete |
[Nov. 8th, 2009|01:13 pm] |
Возобновляя упражнения по эзотерическому программированию, удалось, кажется, написать простой OISC-интерпретатор на Haifu, показав тем самым тьюринг-полноту последнего.
Говорю "кажется", ибо интерпретатором языка мы не располагаем (никто не взял на себя столь явно бесполезной задачи) и проверить программу не на чем. Плюс еще остается риск того, что чего-то неправильно понято в спецификации, каковая в полном соответствии с духом проекта составлена несколько туманно.
Это, насколько я знаю, вторая программа на Haifu, существующая в природе. Первая написана Дейвом Мюрреем и печатает слово Hello. |
|
|