• SrTobi@feddit.de
    link
    fedilink
    English
    arrow-up
    1
    ·
    21 days 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 🤯