Vamos analisar as assertivas sobre autômatos e linguagens: I. Autômatos finitos determinísticos e autômatos finitos não determinísticos aceitam o mesmo conjunto de linguagens. Essa assertiva é falsa. Autômatos finitos determinísticos e autômatos finitos não determinísticos não aceitam o mesmo conjunto de linguagens. Os autômatos finitos determinísticos são mais restritos e aceitam apenas linguagens regulares, enquanto os autômatos finitos não determinísticos podem aceitar linguagens não regulares. II. Seja L uma linguagem livre de contexto, existe um autômato com duas pilhas determinístico que reconhece L. Essa assertiva é verdadeira. Para toda linguagem livre de contexto, existe um autômato com duas pilhas determinístico que a reconhece. Esse tipo de autômato é conhecido como autômato com duas pilhas determinístico (DPDA - Deterministic Pushdown Automaton). III. Toda linguagem enumerável recursivamente é também uma linguagem recursiva. Essa assertiva é verdadeira. Toda linguagem enumerável recursivamente é também uma linguagem recursiva. Uma linguagem enumerável recursivamente é aquela que pode ser gerada por uma máquina de Turing, enquanto uma linguagem recursiva é aquela que pode ser decidida por uma máquina de Turing. Espero ter ajudado! Se tiver mais alguma dúvida, é só perguntar.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar