You're viewing a single thread.
83
comments
HTML5 + CSS3 is Turing complete, but just basic html is not.
how does something get tested for turing completeness
You port Doom to it.
Or linux.
Just about the only good reason for Brainfuck.
@frezik I mean that's literally it's purpose. being a minimal turing complete language.
I could be wrong, but I don't think the creators envisioned it being a basis for easily proving the Turing Completeness of other languages, but it did. They were more thinking "how can I have the most fucked up language in the smallest package and still be Turning Complete?"
By building a simulated Turing machine, usually... or at least by demonstrating that all the components to do so are available.
You've viewed 83 comments.