The Most Complex Languages

We finish the Chomsky hierarchy by looking at context-sensitive languages (which include C, JavaScript, and many other programming languages) and unrestricted grammars, which are Turing-complete. We also connect the undecidable problems to the Chomsky hierarchy by thinking of them as a fifth level. Surprisingly, there's at least one programming language whose grammar is technically undecidable.