Dan Piponi on Nostr: "It is...undecidable whether a TeX program has a parse tree." ...
Published at
2024-07-24 21:37:17Event JSON
{
"id": "ec5de069bcd2c8c1bfd1eafd29e7e5df6161ec1698db8f3717bef07492fd7b44",
"pubkey": "3422fcbc32f333fb2d3481b2e981258af8a0b571869cbfe93c42962410e232ef",
"created_at": 1721857037,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/dpiponi/statuses/112843622840645742",
"activitypub"
]
],
"content": "\"It is...undecidable whether a TeX program has a parse tree.\"\n\nhttps://latex.js.org/limitations.html#when-parsing-tex-as-a-context-free-grammar",
"sig": "f031fa446f9ff7800df528550d2114f6f2eb4eec4db58802def9911c0093cb9d7ba649499d61c66ccafbfaab45c2921a7beaeb58400a69118cd47e01ba3977dd"
}
