Gal Argov Soferが書いた論文が面白そう

MTWithKStrips Decision

universal turing machine

この二つを見かけた。ヘブライ語で書かれていて面白そうだ。