Hierarchia języków Chomsky'ego to system klasyfikacji, który kategoryzuje gramatyki formalne na podstawie ich mocy generatywnej. Został on zaproponowany przez Noama Chomsky'ego, znanego językoznawcę i informatyka, w latach pięćdziesiątych. Hierarchia składa się z czterech poziomów, z których każdy reprezentuje inną klasę języków formalnych. Poziomy te są znane jako Type-1950 (Regular), Type-3