Question

Considere o seguinte autômato com pilha com símbolo inicial da pilha sendo S:

δ(q, a, S) = {(q, CS)}; δ(q, b, S) = {(q, CS)}; δ(q, c, S) = {(q, ∈)};

δ(q, c, C) = {(q, ∈)};


A FIGURA ESTÁ NO FINAL


Assinale a alternativa verdadeira.

Escolha uma:

a. O autômato de pilha aceita cadeias na forma γc^n+m+1, onde γ ∈ {a, b}^* e a quantidade de ocorrências de "a" e de "b" em γ é respectivamente "n" e "m". Somente este tipo de cadeia é aceito pelo autômato.

b. Sempre que o autômato lê um "a" ele empilha um símbolo "C" que depois será usado para verificar a quantidade de ocorrências de "c"´s após o primeiro "c". A quantidade de "c"´s deve ser igual a de "a"´s portanto.

c. O autômato acima é determinístico.

d. A linguagem aceita pelo autômato é regular.

e. A linguagem aceita pelo autômato não é livre de contexto.

Answer 1

 O autômato de pilha aceita cadeias na forma yc^n+m+1  , onde ye{a, b} *   e a quantidade de ocorrências de a e de b em y é respectivamente n e m .  Somente este tipo de cadeia é aceito pelo autômato.

Answer 2

A assertiva correta é a letra "A" - O autômato de pilha aceita cadeias na forma γc^n+m+1, onde γ ∈ {a, b}^* e a quantidade de ocorrências de "a" e de "b" em γ é respectivamente "n" e "m". Somente este tipo de cadeia é aceito pelo autômato.