Para poder entender este tema se debe de conocer el concepto de lenguaje formal.

El
lenguaje formal es aquel que el hombre ha desarrollado para expresar las situaciones que
se dan en específico en cada área del conocimiento científico. Las palabras y oraciones
de un lenguaje formal son perfectamente definidas. Pueden ser utilizados para modelar
una teoría de la mecánica, física, matemática, ingeniería eléctrica, o de otra naturaleza,
con la ventaja de que en esta toda ambigüedad es eliminada.
En 1956 Noam Chomsky publico un trabajo en el cual se describían las propiedades de
los distintos tipos de lenguajes formales y sus gramáticas, en relación con su dificultad
computacional. Según Chomsky los tipos de lenguajes formales pueden dividirse en tres:
De estados finitos, estructura de frase y transformacionales; esta clasificación es conocida
como “Jerarquía de Chomsky”. El principal objetivo de esta jerarquía era demostrar que
los dos primeros tipos de gramática eran incapaces de darse cuenta de la complejidad de
las lenguas naturales.

 Gramáticas de tipo 0:
Lenguajes recursivos, conjunto de objetos formales de cualquier complejidad
computacional. Sin restricciones o gramática no restringida, esta incluye a todas
las gramáticas formales. Estas gramáticas generan todos los lenguajes capaces
de ser reconocidos por una máquina de Turing.
Estos lenguajes también son conocidos como lenguajes recursivamente
innumerables el cual es un lenguaje formal para el cual existe una máquina de
Turing que acepta y se detiene con cualquier cadena de lenguaje. Esta categoría
es diferente de la de los lenguajes recursivos, cuya decisión puede ser realizada
por una máquina de Turing que se detenga.
o Ejemplo 1 concatenación:
'a' concatenado 'b' → "ab"
"ABCD" concatenado 'b' → "ABCDb"
'a' concatenado "7RY" → "a7RY"

o Ejemplo 2 cierre estrella:

{"a”} * = {λ, "a", "aa", "aaa", "aaaa", "aaaaa", "aaaaaa”,…}

 Gramáticas de tipo 3:
Secuencias de símbolos. Gramáticas regulares, las gramáticas tipo 3 generan los
lenguajes regulares. Estas gramáticas se restringen a aquellas reglas que tienen
en la parte izquierda un no terminal, y en la parte derecha un solo terminal,
posiblemente seguido de un no terminal. La regla S →∈ también está permitida
si S no aparece en la parte derecha de ninguna regla. Estos lenguajes son
exactamente todos los idiomas que pueden ser decididos por un autómata de
estado finito. También esta familia de lenguajes puede ser obtenidas por medio de
expresiones regulares.
o Ejemplo 1:
El lenguaje vacío ⟨||⟩ { ∅ }
o Ejemplo 2:
 Si A y B son lenguajes regulares
entonces A ∪ B (unión), A•B (concatenación) y A* (clausura o estrella de
Kleene) son lenguajes regulares

Bibliografía
https://es.wikipedia.org/wiki/Jerarqu%C3%ADa_de_Chomsky
https://es.wikipedia.org/wiki/Lenguaje_recursivamente_enumerable
https://prezi.com/fzwi04538vvm/la-jerarquia-de-chomsky/
https://es.wikipedia.org/wiki/Lenguaje_sensible_al_contexto
https://www.geeksforgeeks.org/toc-chomsky-hierarchy/
https://es.wikipedia.org/wiki/Lenguajes_de_contexto_libre
https://www.youtube.com/watch?v=_ecle_FC6AE
https://es.wikipedia.org/wiki/Lenguaje_regular
https://ocw.unican.es/pluginfile.php/1516/course/section/1946/1-4_Jerarquia_Chomsky.pdf