this post was submitted on 06 Mar 2024
524 points (96.1% liked)
Programmer Humor
32453 readers
807 users here now
Post funny things about programming here! (Or just rant about your favourite programming language.)
Rules:
- Posts must be relevant to programming, programmers, or computer science.
- No NSFW content.
- Jokes must be in good taste. No hate speech, bigotry, etc.
founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the 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.
@jackpot @KittyCat implementing a brainfuck interpreter for it is a useful method
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.