Эээээ, "But Turing machines with a tape infinitely progressing in only one direction are just as powerful as Turing machines with a tape infinitely progressing in two directions. Apart from that, multiple threads can be simulated by a scheduler. Anyways, we do not even require a threading library."
не понимаю к чему там про бесконечные тейпы, но симулировать треды вряд ли поможет потому что новый бесконечный стак не получить