Aula 23b: LRec/LRE - Teorema #1: Se G é GSC, então L(G) é recursiva

Oi bom dia boa tarde boa noite Vamos agora falar um pouquinho sobre teorema em cima de linguagem repulsivo usando gramáticas em cima contexto este oreminas 11 É bem interessante pode teoria municiado de leitura a gente tá querendo falar o seguinte que eu quero provar para vocês o que tem uma gramática gramática qual que ela é uma gramática sensível ao contexto ou seja ela tem verde azul ver do lado direito a pode colocar qualquer coisa desde que seja alguma coisa e as regras são não contratadas Tá bom então o mais importante para máxima potência lembradas em meio a regra é o produz de aqui tem alguma coisa que tem alguma coisa mas o mais importante que o tamanho de um tem que ser menor igual também de ver ou seja eu nunca posso diminuir o tamanho quando alguma coisa que eu transformar em outra ela tem que tomar uma coisa maior ou também mesmo tamanho isso é importante então se a gramática é uma gramática sensível por texto Então tem uma gravar serviço a linguagem desta gramática é recursiva quando eu falo a linguagem de uma gramática recursiva significa eu consigo criar o que ou criar um autor Guilherme limitado ou aqui que a gente usa muito a prova mais tudo decidi Dora então meu objetivo aqui é a roupa aqui tá eu tomei uma atividade mais presença de dor eu escutei nutricional só não consigo fazer queria fazer bonitinho você tava devagar pronto então eu quero que é um macho de dor Se eu mostrar que eu consigo o criar o mais que eu decidi dor para uma qualquer gramática sensível ao contexto significa então que eu consigo provar cigramar sim com Deus então a linguagem dela é recursiva Ou seja eu tô trabalhando e ficou linguagem é possível eu falei que irá massas e vou contexto é para linguagem eu consigo mas eu tenho que provar isso como é que eu provo então tem dado que eu tô uma gramática sensível contexto eu vou tentar criar uma máquina de turing pensa medidora para essa linguagem tá bom e pessoal esse teorema 1 ou é é um pouquinho mais pesado mas o teorema 2 vai ser assim dois minutos tá porque eu tenho nenhuma dois é baseado nesse então vocês verem o vídeo tá elevadores é bem rápido tá bom então tem que prestar atenção aqui e eu quero para provar isso aqui que só tem uma gramática aqui na minha mãe que é sensível contexto eu posso de criar uma Aventura de d&d Dora tá esse objetivo tá então sim eu quero criar um máquina de tudo que decide é celular esse é o objetivo para provar isso porque eu admito o se eu admito como sendo verdade e eu quero provar baseado nessa verdade que eu consigo chegar no Então isso que é uma prova direta Tá bom então se Pedro ele WAV ou não por pela linguagem então Pedro esse dito a linguagem M E tu tem não quero fazer eu quero que eu vou criar uma máquina que aí é muito interessante por isso é importante para as variantes as de ver essa essa teoria eu queria mais não determinística com três fios então tô combinando duas variantes que é a variante não tem início com a variante não teria escova grande multi fita e o que que é mais interessante que que eu vou fazer eu vou bom então uma palavra que eu quero verificar Porque sim você linguagem é impossível dado uma palavra Vou tentar falar com o que eu escrevo na fita um então tem três filhos ó uma duas três na fita um você ver palavra nas fita doida eu vou escrever todas as regras então quê que acontece vamos assinar que eu tenho um produz ver aí eu vou escrever assim ó hashtag hashtag o hashtag ver hashtag hashtag ou seja o produz ver um hashtag só é certinho os outros dois são separações que você tiver Prazer por um produz w também aí eu vou ter que ter que o #w hashtag hashtag hashtag Toro bom então um probleminha na minha mesa digitalizadora viu Acabei de ver que tu contratando só hashtag Ah tá bom então o produto dado o produzir então sim na fita dois na dois eu coloco todas as regras as regras mesmo né da da gramática e no terceiro a terceira fita eu vou registrar as formas essenciais como eles Professor ó Oeste eu transformei em a ação tendência sim lembra eu tô fazendo aqui ó as novas tendências Então o que acontece esse agora eu vou trocar por ABC é uma regra sei lá então ficou que a abscisão meses exam depois que você sempre assim eu vou trocar peso Em pézinho aí eu registro aqui tá e depois desse teve um cone cozzi servir as exigências lindo então assim é um registo todas Tá bom então eu quero mudar de uma gramática criar uma máquina de turing que decide ou seja você não quer correr palavra bateu em qualquer palavra e eu vou conseguir verificar se essa gramática gera essa palavra tá eu consigo fazer isso tá como é que funciona isso olha como é que funciona eu vou mostrar exemplo você entender o Oeste hashtag é gravado na posição um da fita três as regras de gestão escrita na vida dois tá então sim eu tenho de novo aqui ó aquele negócio do a fita um dois e três na três Eu já escrevi se o West vai fazer ou seja sempre faço essa o que eu quero na verdade eu vou tentar fazer Oeste chegar na palavra que eu quero dado que várias regras que tem aqui não tem a regra um eu tenho a regra dois eu tenho a regra três e aqui na nuun eu tenho a palavra que eu quero e do que ele faz ele entra num Loop Infinito aqui para terminar infinitas vão entender porque que ele escolhe uma regra use na fita do Então vamos lá que eu peguei a regra um e ele vai tentar transformar lá que hashtag a falar mais recente da vida três aqui tá o desenho é transformou no que tá aqui hashtag aí o que acontece eu vou escolher uma Instância nessa palavra aqui que tenha um produz verdão sim escolhe uma distância Week tá Se existisse não parece a rejeição então sim nesta regra que eu consegui eu consegui ficar descarrega nesse que não rejeito aí depois eu vou aqui consigo arrecadadores do que não rejeita a regra tenta conseguir O que consigo consigo aí quando o transformar vamos dar que a minha regra seja aquela eo produzir a regra R3 é um produto B que tem o quê e o que na verdade é vamos lá do que é xvy o x 1 x 1 o X1 y1 então eu comprei por isso é porque eu errei triste ou transforme ver E aí ele consegue aplicar aqui esse erro transformar evitam vou escrever que XV Y porque oo transformou em ver tá joia então basicamente eu escrevo isso E aí eu já pergunto se XV y é igual a essa palavra w que aqui no caso do meu exemplo eu chamei de pena né então que eu perdi palavra né então aqui op Aí eu pergunto XV isso é Iguape se for eu aceito se for vacinar tá aceito isso tá e se não for se isso não for aí tem duas possibilidades que aquilo que eu fosse porque vocês com que que é o problema dentário no Snoop mas a gente já pensou numa ideia dessa aqui essa fita fica gigante essa fita fica gigante quando eu escrevo xvy e jeito não é palavra que eu quero que eu acabei de transformados eu perco XV isso já aconteceu antes porque vamos assinar que se divertir dizer isso já aconteceu antes significa o quê tá repetindo tá então sim se tiver repetindo já apareceu esse xvy antes então vamos ver se uma regra o produzir e depois fez uma regra reproduz um então sim eu transformei O Mover depois eu tô vendo o de novo ou seja elas existiam então células já existiu para o estado de gestão essa conta e se ela passou no tamanho o que que acontece o mais importante é que ela não contrátil como é não comprar o burro diminuto tamanho se você gera alguma coisa que passa do tamanho da palavra você rejeita tá então se for a palavra Você aceita se isso que acabou de gerar já aconteceu você rejeito se isso que acabou de transformar paz tudo tamanho da palavra que você quer ela nunca vai voltar porque o um produz ver e o ver se tem que é maior então não vai diminuir não ela não contratio então se passado o tamanho Eu Eu rejeito Tá bom então o que acontece eles basicamente são os dois pontos se um X daí já aconteceu em algum outro. A fita três eu rejeito por quê Porque delegações são cíclicas Wesley chegou em dava com mais negócio eu vou mudar de novo então significa eu tô título corto esse o tamanho passar significa o quê que as elevações são não contradiz Então você tem por exemplo a que produz ABC por exemplo a senha a todos ABC então se você minha palavra é a b não tem como a besta exótico uma calça esamc a decisão mas na palavra é AB não tem como a bebezão c = b porque a terra são mostradas não tem nada que transforma sem lambida por exemplo não tem como então aqui a tamanho 3 aqui tamanho 2 eu posso cancelar o pessoal eu não estou esperando que vocês entendam isso com grande facilidade mas eu tenho que explicar essa teoria e eu vou colocar ela e funcionamento agora com exemplos e esse desenho só que é preciso entendo com tranquilidade lembra o clássico aí Bê isso aí e todo mundo lembra aí eu pensei tá eu quero saber se a palavra a BBC é válida a gente sabe que é que ela tem dois das dois meses dois perfeito e ela tem um monte de regra do pezão lá olha aqui ó é esse que produz as minhas obras aos usam a gente hashtag Oeste quantos ABC #hastag o a que produz a as obras decisão hashtag hashtag o Astro dos ABC hashtag hashtag ocb que produz vizinho hashtag as tem e os seres aos exemplos exemplo E aí na fita três escrevo BS tá joia eu preciso que vocês entendam isso tá então nas então eu escrevi a palavra que eu quero Então se essa gramática excessiva contexto qualquer falar você me der que eu consigo isso que eu quero provar e eu já provei por aquele negócio eu quero mostrar para vocês como funciona então tem dois lados dentro tem as regras estão todos na vida dois e da fita três começou no s Tá bom o que eu vou E olha que precisa entender ó então a a BBC na fita dois todas as regras estão aqui tá bom E aí eu quero só Fita 3 até colocar aqui ó o local assim um negócio para lembrar de arrumar que isso aqui podia tá colocado aqui ó só para gente lembrar aqui tá bom então o que acontece olha aqui ó as bases subir já mesmo Sud linha só escrevi para lembrar que estás a ver com o s hashtag e eu essa fita três vamos lá Oeste eu posso trocar por tem o Extra posso trocar por as minhas ao mesmo tesão ou por AVC beleza e eu faço as duas transformações observa eu tô fazendo todas das derivações é isso que eu vou no chão Fala aí vamos eu fiz ela gerei essa aqui ó Oeste produz asinhas não dizia assim que essa aqui e depois conhece produz ABC Beleza tô aqui agora o que que acontece depois que eu faço isso isso aqui é igual a palavra não não é igual a palavra minha nota e a mesma falar não vai falar mas é menor essa aqui igual a palavra é bem o que eu fazer nela ainda só ele tem não não então a ver se não é a palavra essa essa que morre essa linha que eu tô tentando e contações né porque eu queria descer é uma sem futuro então já vai e nessa aqui asinha Vamos aos exames eu já tenho no azão de tudo eu posso colocar aqui aqui não tem nada trocar aqui eu posso trocar o Adão esse ação aqui por as minhas dá um beijo incisão ou por a decisão não é isso então vou fazer as duas estão aqui esse isso e vamos lá o que que eu quero mostrar agora para vocês eu quero mostrar se nesta aqui como que é o tamanho 1 2 3 4 5 6 7 com que a palavra que eu quero um dois três quatro seis tem como sete voltar algum momento a C6 por quê que isso é uma gravar sensível contexto é não contrário Então isso não tem jeito como não tem jeito eu mato isso porque porque o tamanho disso aqui é maior que também da palavra Mas ainda tem um que pode dar certo qual que é isso é esse cara aqui e agora neste cá a abc Zone bebezinho tem alguma regra que te dá para colocar aqui pode dar sinto que tem uma regra de tesão mesão dizer isso aí ó então pesinho invasão trocou por pesinho nesse cara aqui aí ele é o que é a palavra da palavra ainda ele é maior que a palavra não também não tomou um continuar E agora se tesão Contorno cedinho tem alguma regra aqui nessa nessa nessa aqui ó nessa forma seu potencial aqui tem alguma reta você fabricar tenho sesão policose vocês ingles esse assim. Aí quando eu faço a a tb6600 eu vou falar o que aceita porque pertence a palavra porque é a palavra porque a a b b c c é igual a palavra que eu quero que quer palavra P então eu simulo basicamente só quem não entendeu Até agora olha como é que funciona um tempo aí na primeira fita a palavra do quero na segunda-feira todas as regras da gramática tá na terceira com s e eu tento fazer todas as possíveis elevações eu tô usando uma máquina de turing não determinística multi fita tá bom multi fita não tem limite com 3 qtos Tá bom então aqui eu acabei de provar que funciona Tá mas nem sempre eu vou colocar uma outra linguagem aqui só você entender ele também um pouquinho mais não tendência linguagem mais aqui a palavra é abrir a a Então esse aqui é o nosso P tá e tem várias regras é se transforma por isto é se transforme abrir o abrir a p a OAB virar b o b a virar b o b a verdade a E aí na vida três o comércio com ué se eu tomar uma água que já tá acabando avó aí que acontece vamos fazer todos preciso contrações aqui o segundo fiquei um pouco vou mostrar só a última tá eu tô mostrando só último porque tá não caberia aqui UECE UECE eu posso trocar por quem por SB ou por Abby não é isso então eu faço Asus por SB ou por ali tá E agora que acontece esse a SB Existe alguma regra aqui que eu consigo mexer aqui existem varias eu posso trocar olha aqui o f por a SB que é o que tá aqui o s por aí SB eu posso trocar o s por à P então aqui esse S por abrir aqui tá joia só as duas que eu tenho principais aqui tá bom é nesta outra dele AB AB eu posso trocar OAB por assim desenho esse cara aqui e eu posso trocar a bebê também por e não hábito que puder aí eu vim falar porque eu quero tem tamanho quatro né isso essa quarta então nessa nessa cara aqui eu já posso contar duas coisas porque esse aqui tem tamanho 5 e não é que ficou ainda mais assim e é que eu preciso de quatro Não vai voltar e aonde que eu posso voltar aqui a ver não tem nada mais do que fazer e não é a palavra então Mateus Mas eu ainda tem a a b b e b a e que que eu vou fazer aqui agora todos vocês transformar em várias coisas AABB eu consigo pegar esse AB e transformar OAB Ubá que nunca fiz aqui de ar ou AB outras homem assim desenho que é o que eu fiz aqui e desde outro que tinha Obá então assim é a fita dele aqui desde a é essa que a gente tag AB #b a hashtag tava mostrando vocês que quer então Bia também eu fiz o bebê a virar diziam visão que a escala aqui ou B agradecer assim que a escala aqui é feito isto o que que eu já posso fazer de cara eu posso cortar várias eu posso contar essa aqui por quê que eu posso cortar essa aqui porque essa aqui um quadro mais nada eu não consigo fazer mais nada com você aqui não tem nenhuma regra que enquadra aqui né nesse novo feminismo tem vários não tem medo ou não tem nada e ele não é a palavra que eu quero eu mato essa outra aqui eu não mato não levar as coisas posso fazer não é a palavra que eu quero mas tem mais coisas fazer tá E essa aqui b a mata porque ver a palavra eu tenho Beat Uberaba para tamanho 2 não tem que fazer e não é AB a e essa sombra são essas vão mesão o que aconteceu mato também por que que eu mata as ovelhas não precisa mas as ovelhas não tem que pode virar bernucci aqui não porque ele já aconteceu antes então se pegar filho desse habitasse a filha dele Ah é a tag AB #b a hashtag AB que é agora de novo a ver só que o app já aconteceu antes se já aconteceu antes dele que deve aço significa então eu posso matar também então já matei todos quando eu soubesse AB AB eu tenho várias coisas para fazer nele também várias nesse caso aqui são inúmeras o número não sei né Você pode números não tem como colocar não né só Usei uma delas é o que agora tem que tá olhando aqui o esse aba eu troquei por honesto este AB eu troquei bobear quem tá no outro lá só você ter uma ideia várias coisas a fazer isso em abril tô aqui parado de vizinho Tô sim eu fiz várias cotações tá não vou mostrar todos aqui vai ficar muito forte mas sim isso aqui dá para tirar isso tudo aqui só que disso tudo o que que eu posso cortar nessa linha aqui ó desse AB AB já aconteceu a beber aqui em cima Então posso matar esse carro é uma outra coisa pode acontecer na mesma regra essa aqui ó a bebezinho azinho bezão não tem mais o que eu fazer isso aqui não tem nenhuma regra construções do mato e é estouraram um dois três quatro e assim eu vou continuando até vê se aceita ou não aceita a b a Ah tá joia então assim eu só queria demonstrar o que é que nesse exemplo a derivação cíclica tá que aqui já aconteceu o outro exemplo depressa se fica é esse cara aqui ó até mostrar aqui ilustrar a derivação cíclica tá bom porque aquilo que ele já já morreram e nesse cara que eu não escrevi já ocorreu Mas ele já ocorreu aquela AB AABB então por isso que ele morreu Tá bom então só queria mostrar que derivação se que a gente corta e a gente vai tentando tudo que vai fazer isso a máquina a gente vai ter que fazer não a máquina é muito fita Não tem lista Tá bom então com isto a gente Terra demonstrando que voltar lá no início vai entender aqui ó e o teorema é isso aqui ó EA gramática sensível contexto então a linguagem recursiva eu tenho que ir uma máquina de turing que decide Então isso é muito simples porque basta criar uma máquina de turing em multi fita não tem visto com três filhos tá joia a fita um tempo palavra a fita dois tem todas as regras na fita três tem o s hashtag que é o curso Inicial você vai ser simular todas as possíveis de licitações todas as possíveis de licitações a parte de s.

o. s.