Pode-se afirmar que a propriedade de fecho consiste em um conjunto de operações sobre as linguagens regulares que produzem uma nova linguagem também regular. Essas operações têm como intuito possibilitar a união, a interseção, a concatenação, entre outras operações sobre as linguagens regulares. Visto isso, considere as operações de união e concatenação. Assim, dadas as linguagens L1 = {a, aaa, b}, L2 = {bb, c} e L3 = {aa, cc, d} sobre o ∑ = {a, b, c, d}, informe qual é a linguagem obtida por L4 = ( L1 ∪ L2).L3 . Selecione a resposta:

Questão

Pode-se afirmar que a propriedade de fecho consiste em um conjunto de operações sobre as linguagens regulares que produzem uma nova linguagem também regular. Essas operações têm como intuito possibilitar a união, a interseção, a concatenação, entre outras operações sobre as linguagens regulares.

Visto isso, considere as operações de união e concatenação. Assim, dadas as linguagens L1 = {a, aaa, b}, L2 = {bb, c} e L3 = {aa, cc, d} sobre o ∑ = {a, b, c, d}, informe qual é a linguagem obtida por L4 = ( L1 ∪ L2).L3 .

Selecione a resposta:

Alternativas

a) L4 = {aaa, acc, ad, aaaac, aaacc, aaadc, baa, bcc, bd, bbaa, bbcc, bbd, caa, ccc, cd}.

Resposta certa

b) L4 = {aaa, acc, ad, aaaaa, aaacc, aaad, baa, bcc, bd, bbaa, bbcc, bbd, caa, ccc, cd}.

c) L4 = {ε, aaa, acc, ad, aaaaa, aaacc, aaad, baa, bcc, bd, bbaa, bbcc, bbd, caa, ccc, cd}.

d) L4 = {ε, aaa, acc, ad, aaaa, aaacc, aaad, baa, bcc, bd, bbaa, bbcc, bbd, caa, ccc, cd}.

e) L4 = {ε, a, aaa, b, bb, c, aaa, acc, ad, aaaaa, aaacc, aaad, baa, bcc, bd, bbaa, bbcc, bbd, caa, ccc, cd}.

Explicação

Temos:

  • L1={a,aaa,b}L_1 = \{a, aaa, b\}
  • L2={bb,c}L_2 = \{bb, c\}
  • L3={aa,cc,d}L_3 = \{aa, cc, d\}
  1. Primeiro fazemos a união:
L1∪L2={a,aaa,b,bb,c}.L_1 \cup L_2 = \{a, aaa, b, bb, c\}.
  1. Agora fazemos a concatenação com L3L_3:
L4=(L1∪L2)⋅L3={xy∣x∈(L1∪L2), y∈L3}.L_4 = (L_1 \cup L_2)\cdot L_3 = \{xy \mid x\in (L_1\cup L_2),\ y\in L_3\}.

Concatenando cada elemento de {a,aaa,b,bb,c}\{a, aaa, b, bb, c\} com cada elemento de {aa,cc,d}\{aa, cc, d\}:

  • Para x=ax=a:

    • a⋅aa=aaaa\cdot aa = aaa
    • a⋅cc=acca\cdot cc = acc
    • a⋅d=ada\cdot d = ad
  • Para x=aaax=aaa:

    • aaa⋅aa=aaaaaaaa\cdot aa = aaaaa
    • aaa⋅cc=aaaccaaa\cdot cc = aaacc
    • aaa⋅d=aaadaaa\cdot d = aaad
  • Para x=bx=b:

    • b⋅aa=baab\cdot aa = baa
    • b⋅cc=bccb\cdot cc = bcc
    • b⋅d=bdb\cdot d = bd
  • Para x=bbx=bb:

    • bb⋅aa=bbaabb\cdot aa = bbaa
    • bb⋅cc=bbccbb\cdot cc = bbcc
    • bb⋅d=bbdbb\cdot d = bbd
  • Para x=cx=c:

    • c⋅aa=caac\cdot aa = caa
    • c⋅cc=cccc\cdot cc = ccc
    • c⋅d=cdc\cdot d = cd

Logo,

L4={aaa,acc,ad,aaaaa,aaacc,aaad,baa,bcc,bd,bbaa,bbcc,bbd,caa,ccc,cd}.L_4 = \{aaa, acc, ad, aaaaa, aaacc, aaad, baa, bcc, bd, bbaa, bbcc, bbd, caa, ccc, cd\}.
Carregando…

Questões relacionadas

Ver últimas questões