Теория алгоритмов

[mad-math]

Как доказать полноту по Тьюрингу некоторого языка программирования? Может кто знает, где можно почитать материалы, где об этом написано.

Comments

[CD_Eater]

написать на нём интерпретатор любого полного по тьюринга языка
проще всего - машину поста