A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

Q={s,q 1,…,q 10,t,r} ={a,b,c} = {,, } Função de transição: a b c S (S,,R) (S,a,R) (q 1,b,R) (q 2,c,R) (q 3,,L) _ q 1 _ (r, _, _ ) (q 1,b,R) (q 2,c,R) (r,

Apresentações semelhantes


Apresentação em tema: "Q={s,q 1,…,q 10,t,r} ={a,b,c} = {,, } Função de transição: a b c S (S,,R) (S,a,R) (q 1,b,R) (q 2,c,R) (q 3,,L) _ q 1 _ (r, _, _ ) (q 1,b,R) (q 2,c,R) (r,"— Transcrição da apresentação:

1 Q={s,q 1,…,q 10,t,r} ={a,b,c} = {,, } Função de transição: a b c S (S,,R) (S,a,R) (q 1,b,R) (q 2,c,R) (q 3,,L) _ q 1 _ (r, _, _ ) (q 1,b,R) (q 2,c,R) (r, _, _ ) _ q 2 _ (r, _, _ ) (r, _, _ ) (q 2,c,R) (q 3,,L) _ q 3 (t, _, _ ) (r, _, _ ) (r, _, _ ) (q 4,, L) (q 3,,L) _ q 4 (r, _, _ ) (r, _, _ ) (q 5,,L) (q 4,c,L) (q 4,,L ) _ q 5 (r, _, _ ) (q 6,,L) (q 5,b,L) _ (q 5,,L) _ q 6 (q 7,,R) (q 6,a,L) _ _ (q 6,,L) _ q 7 _ (q 8,,R) (r, _, _ ) (r, _,_ ) (q 7,,R) (t, _ _ ) q 8 _ (q 8,a,R) (q 9,,R) (r, _, _ ) (q 8,,R) (r, _, _ ) q 9 _ _ (q 9,b,R) (q 10,,R) (q 9,,R) (r, _, _ ) q 10 _ _ _ (q 10,c,R) (q 10,,R) (q 3,,L)

2 Linguagens Sensíveis ao Contexto G = (V,T,P,S) onde as produções em P tem a forma com e sendo ca- deias arbitrárias de símbolos da gra- mática, e tem que ser pelo menos tão grande (longo) quanto. O nome sensível ao contexto vem da forma normal para estas gramáticas onde cada produção tem a forma 1 A com.

3 Por a gramática geradora de {a i |i é uma potência positiva de 2} na forma normal da definição de gramáticas livres-de-contexto. 1)S ACaB 2)Ca aaC 3)CB DB 4)CB E 5)aD Da 6)AD AC 7)aE Ea 8)AE As produções em 1,3,6 estão na forma normal; as 2,5,7 não; a 4 e 8 sequer satisfazem a definição;

4 2)Ca aaC [Ca]a aa[Ca] [Ca][aB] aa[CaB] [ACa]a [Aa]a[Ca] [ACa][aB] [Aa]a[CaB] [ACaB] [Aa][aCB] [CaB] a[aCB] 1)S ACaB S [ACaB] 3)CB DB [aCB] [aDB] 7)aE Ea a[Ea] [Ea]a [aE] [Ea] [Aa][Ea] [AEa]a 4)CB E [aCB] [aE] 5)aD Da a[Da] [Da]a [aDB] [DaB] [Aa][Da] [ADa]a a[DaB] [Da][aB] [Aa][DaB] [ADa][aB] 8)AE [AEa] a 6)AD AC [ADa] [ACa]

5 EXERCÍCIO: Encontre um gramática sensível ao contexto que gere { a n b n c n / n 1}. S aSBC | aBC CB BC aB ab bB bb bC bc cC cc

6 EXERCÍCIOS 1. Construir uma gramática livre de contexto para a linguagem formada pelo conjunto de cadeias sobre {a,b} que não são Palindromes. Mostre que sua gramática está correta. 2. Construa uma gramática na forma Normal de Chomsky para o conjunto não vazio de cadeias com o número balanceado de parênteses ( ) e colchetes [ ]. 3. Descreva a MT N com uma fita que simula M com três fitas (veja notas de aula).

7 Respostas 1. O conjunto de não-palíndromes sobre {a,b} é: A={xaybz | |x|=|z|} {xbyaz | |x|=|z|} S aSa|aSb|bSa|bSb|aTb|bTa T aT|bT|

8 Resposta 2. G: S (S) | [S] | SS | Seja PAREN 2 a linguagen especificada pelo exercício. Prove que x L(G) sss x PAREN 2 Dica: ( )por indução no tamanho da derivação ( ) por indução no estágio da definição


Carregar ppt "Q={s,q 1,…,q 10,t,r} ={a,b,c} = {,, } Função de transição: a b c S (S,,R) (S,a,R) (q 1,b,R) (q 2,c,R) (q 3,,L) _ q 1 _ (r, _, _ ) (q 1,b,R) (q 2,c,R) (r,"

Apresentações semelhantes


Anúncios Google