this post was submitted on 06 Mar 2024
523 points (96.1% liked)

Programmer Humor

32495 readers
466 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

founded 5 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] jackpot@lemmy.ml 8 points 8 months ago (3 children)

how does something get tested for turing completeness

[–] NigelFrobisher@aussie.zone 39 points 8 months ago (1 children)
[–] fleckenstein@social.lizzy.rs 11 points 8 months ago (1 children)

@jackpot @KittyCat implementing a brainfuck interpreter for it is a useful method

[–] frezik@midwest.social 5 points 8 months ago (1 children)

Just about the only good reason for Brainfuck.

[–] fleckenstein@social.lizzy.rs 3 points 8 months ago (1 children)

@frezik I mean that's literally it's purpose. being a minimal turing complete language.

[–] frezik@midwest.social 14 points 8 months ago

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?"

[–] xmunk@sh.itjust.works 10 points 8 months ago

By building a simulated Turing machine, usually... or at least by demonstrating that all the components to do so are available.