Vamos analisar cada afirmativa: I. A forma de especificação por enumeração é adequada para linguagens finitas e de pequeno porte, pois consiste em listar explicitamente todas as cadeias válidas da linguagem. Verdadeiro, essa afirmativa está correta, pois a enumeração é uma técnica viável para linguagens finitas. II. As gramáticas formais permitem gerar cadeias de forma sistemática, sendo adequadas tanto para linguagens finitas quanto infinitas, exigindo regras bem definidas de substituição. Verdadeiro, essa afirmativa também está correta, pois gramáticas formais podem gerar tanto linguagens finitas quanto infinitas. III. As expressões regulares são eficientes para representar linguagens infinitas não regulares, desde que sua estrutura permita representar recursão e dependência entre símbolos. Falso, expressões regulares não podem representar linguagens infinitas não regulares, pois são limitadas a linguagens regulares. Elas não têm a capacidade de representar recursão. IV. Os autômatos finitos funcionam como máquinas que aceitam ou rejeitam cadeias com base em estados e transições, sendo úteis para representar linguagens regulares. Verdadeiro, essa afirmativa está correta, pois autômatos finitos são, de fato, usados para reconhecer linguagens regulares. Com base nas análises, os itens verdadeiros são I, II e IV. Portanto, a alternativa correta que contém todos os itens verdadeiros é: a) I, II e IV.