Question

Autômatos possuem estados que podem ser usados para implementar outros autômatos que aceitam cadeias resultantes de operações sobre as cadeias aceitas por cada autômato.

Com relação as operações sobre linguagens, assinale a afirmativa correta.

Escolha uma:

a. O Autômato com pilha A que aceita a concatenação de cadeias aceitas por autômatos A1 e A2, respectivamente nesta ordem, é o autômato de pilha que possui como estado final o estado final de A2, como inicial o estado inicial de A1 e δA(q f A1, ∈, ∈) = (qiA2, SA2). Além disso, deve-se ter o cuidado de renomear os símbolos de pilha de A1 para que não tenha interseção com os símbolos de A2.

b. Basta colocar no topo da pilha no inicio da computação de A os símbolos SA1 SA2. Nada mais é necessário.

c. Faz o produto dos estados e o produto dos símbolos da pilha.

d. O Autômato com pilha A que aceita a concatenação de cadeias aceitas por autômatos A1 e A2, respectivamente nesta ordem, é o autômato de pilha que possui como estado final o estado final de A2, como inicial o estado inicial de A1 e δA(qfA1, ∈, ∈) = (qiA2, SA2).

e. Se A1 e A2 são determinísticos então é só armazenar no topo da pilha no inicio da computação de A os símbolos SA1 SA2. Nada mais é necessário.

Answer 1

A assertiva correta é a letra "A" - O Autômato com pilha A que aceita a concatenação de cadeias aceitas por autômatos A1 e A2, respectivamente nesta ordem, é o autômato de pilha que possui como estado final o estado final de A2, como inicial o estado inicial de A1 e δA(q f A1, ∈, ∈) = (qiA2, SA2). Além disso, deve-se ter o cuidado de renomear os símbolos de pilha de A1 para que não tenha interseção com os símbolos de A2. 

Answer 2

O Autômato com pilha A que aceita a concatenação de cadeias aceitas por autômatos A1 e A2, respectivamente nesta ordem, é o autômato de pilha que possui como estado final o estado final de A2, como inicial o estado inicial de A1 e δA(q f A1, ∈, ∈) = (qiA2, SA2). Além disso, deve-se ter o cuidado de renomear os símbolos de pilha de A1 para que não tenha interseção com os símbolos de A2.