'Small universal Turing machines' by Yurii Rogozhin .

Bitcoin Script is Turing complete ? No!

Bitcoin Script intentionally lacks certain features, loops being a key one, to prevent infinite execution & ensure the termination of scripts within a predictable timeframe..