Descreva os quatro tipos de linguagens na hierarquia de Chomsky.

Na hierarquia de Chomsky, existem quatro tipos de linguagens: 1. Linguagens Tipo 3 (Regular): São linguagens descritas por gramáticas regulares, que podem ser representadas por expressões regulares ou autômatos finitos. Exemplos de linguagens regulares são as linguagens reconhecidas por máquinas de estados finitos determinísticas ou não determinísticas. 2. Linguagens Tipo 2 (Livre de Contexto): São linguagens descritas por gramáticas livres de contexto, que possuem regras de produção onde um símbolo não-terminal pode ser substituído por uma sequência de símbolos. Exemplos de linguagens livres de contexto são as linguagens reconhecidas por autômatos de pilha. 3. Linguagens Tipo 1 (Sensíveis ao Contexto): São linguagens descritas por gramáticas sensíveis ao contexto, onde as regras de produção levam em consideração o contexto em que um símbolo não-terminal aparece. Exemplos de linguagens sensíveis ao contexto são as linguagens reconhecidas por máquinas de Turing não-determinísticas. 4. Linguagens Tipo 0 (Irrestritas): São linguagens descritas por gramáticas irrestritas, onde não há restrições nas regras de produção. Essas linguagens são reconhecidas por máquinas de Turing universais, que são capazes de simular qualquer computação possível. Essa é a hierarquia de Chomsky, que classifica as linguagens de acordo com a complexidade das gramáticas que as descrevem.