this post was submitted on 11 Jun 2024
428 points (98.2% liked)

Philosophy

1288 readers
1 users here now

Discussion of philosophy

founded 1 year ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] SrTobi@feddit.de 1 points 5 months ago

It still amazes that even for two Chomsky-2 languages it is undecidable whether they are equal or not in the general case. Or whether one context free grammar is unambiguous 🤯