Sobre a linguagem formal, analise as afirmativas a seguir: I. Linguagens formais são aquelas compostas por um conjunto de símbolos e regras de formação. II. Uma gramática formal define a sintaxe de uma linguagem, enquanto um autômato é um modelo que descreve a semântica. III. Todas as linguagens de programação modernas são baseadas em linguagens formais. IV. As gramáticas podem ser classificadas em livres, regulatórias e contextuais, conforme sua complexidade. Qual das afirmativas acima é verdadeira?