🎓 Material Completo - Linguagens Formais e Autômatos Acesse agora: profjoserui.my.canva.site/ 🎓 Material Completo - Compiladores Acesse agora: profjoserui.my.canva.site/site-compiladores 🎓 Material Completo - Orientação a objetos Acesse agora: profjoserui.my.canva.site/site-orientacao-objetos 📘 Livro Recomendado: "Linguagens Formais e Autômatos" - Paulo Blauth Menezes 👉 Compre pelo link: amzn.to/3prS397 📖 E-book Essencial: O Código Limpo Revelado: Os Segredos para se Tornar Desenvolvedores Melhores 💻 Garanta o seu: pay.hotmart.com/T84626031W?checkoutMode=10ua-cam.com/users/sgaming/emoji/7ff574f2/emoji_u1f393.png
4:05 você comenta que a solução é colocar a o q0 como estado final. Porém se fizer isso, a palavra: "a" será aceita, quando deveria ser rejeito pois não antecede "b"
Na verdade está correto. A definição da linguagem diz que possui a's que antecedem b's, mas só se existirem b's. Ou seja, o que essa linguagem diz é que não vai ter nunca um 'a' depois de um 'b'.
Analisando o Ex2, vi que também é possível fazer um diagrama de estados AFN em que se mantém a forma do AFNe (como está no minuto 5:20) porém com todos os estados como "finais". Acredito que todos os casos que são aceitos no AFNe serão aceitos nesse novo AFN. Também seria uma possível solução?
Рік тому
Ola Marcos, sim sua observação é pertinente. E de fato, toda e qualquer conversão que você fizer deve garantir que o automato final aceite exatamente as mesmas sentenças que o automato inicial.
Olha, posso estar enganado, mas no exercício 7:46 é realmente possível fazer um AFN usando esse AFNe utilizando a regra de substituir lambda por a,b,c e apenas adicionando pulos? Pois eu estava pensando no caso da palavra "ca" por exemplo, nesse AFNe, sempre que tiver um "c" não irá ter nenhum "a" e "b" posteriormente, pois irá do q0 para q2 instantaneamente, e o q2 aceita apenas "c", ou seja, essa palavra seria recusada. Porém, substituindo todo lambda por "a,b,c", como o sr disse, a palavra "ca" seria aceita, pois iria de q0 -> q1 -> q2
Рік тому
Ola @barddz4646, não podemos esquecer do que eu falo la no inicio da aula, que não tem uma regra exata para conversão AFNe para AFN, portanto precisamos ter cuidado ao dizer que sempre devemos substituir lambda por a,b,c. E eu reconheco que da forma como falei esse importante detalhe acaba não ficando evidente. Pois sempre precisamos tomar o cuidado(como voce fez com a palavra "ca") de conferir se uma palavra que NÃO era aceita começa a ser aceita após a conversão. Talvez merece um novo video para fazermos mais alguns exemplos e deixar esse ponto ainda mais claro. Obrigado pelo comentário.
7:12 , eu entendi a conversão muito boa sua explicação, porém, fiquei com uma dúvida no ex2. O estado q1 não ficaria como estado final também, já que comparando os autômatos AFNe com AFN não tem equivalência quanto ao estado q1 que aceita a palavra vazia indo para o estado q2?
2 роки тому+1
Olá @Maria Jaqueline, não precisa. O simples fato de colocar q0 como estado final já cobre todos os casos. Lembre-se, colocar estados finais onde não precisa pode gerar um problemão mais a frente, como por exemplo aceitar palavras indevidas. Portanto, a dica é coloque estados finais somente qdo vc tem certeza :)
@ entendi, no caso do exemplo tinha até esquecido a definição dessa Linguagem(a's que antecedem b's) no caso, como falou se colocarmos o estado q1 como final, irá aceitar palavras que não satisfazem a linguagem.
Professor, seria bom deixar a resposta do exemplo em algum link, seja imagem, repositorio, ou algo que podemos consultar. Obrigado pelo vídeo, aluno da UFF.
3 роки тому+4
Olá Lucas, não costumo colocar pq o programa JFLAP faz todas essas conversões. Vale a pena conferir
@ Levantei esse ponto pois usando o jflap os dois automatas dão que não são equivalentes. Fiz o upload da imagem: ibb.co/VCK2LMB Usando transformada por feicho-y obtive outro grafo que não é o mostrado. Mesmo assim agradeço a atenção!
🎓 Material Completo - Linguagens Formais e Autômatos
Acesse agora: profjoserui.my.canva.site/
🎓 Material Completo - Compiladores
Acesse agora: profjoserui.my.canva.site/site-compiladores
🎓 Material Completo - Orientação a objetos
Acesse agora: profjoserui.my.canva.site/site-orientacao-objetos
📘 Livro Recomendado:
"Linguagens Formais e Autômatos" - Paulo Blauth Menezes
👉 Compre pelo link: amzn.to/3prS397
📖 E-book Essencial:
O Código Limpo Revelado: Os Segredos para se Tornar Desenvolvedores Melhores
💻 Garanta o seu: pay.hotmart.com/T84626031W?checkoutMode=10ua-cam.com/users/sgaming/emoji/7ff574f2/emoji_u1f393.png
4:05 você comenta que a solução é colocar a o q0 como estado final.
Porém se fizer isso, a palavra: "a" será aceita, quando deveria ser rejeito pois não antecede "b"
Na verdade está correto. A definição da linguagem diz que possui a's que antecedem b's, mas só se existirem b's. Ou seja, o que essa linguagem diz é que não vai ter nunca um 'a' depois de um 'b'.
@@ramonnepomuceno5299 Acho que esta errada a questão, se entrar aabb tem que ser aceita, e no caso vai terminar no q1 que não é o estado final
Analisando o Ex2, vi que também é possível fazer um diagrama de estados AFN em que se mantém a forma do AFNe (como está no minuto 5:20) porém com todos os estados como "finais". Acredito que todos os casos que são aceitos no AFNe serão aceitos nesse novo AFN. Também seria uma possível solução?
Ola Marcos, sim sua observação é pertinente. E de fato, toda e qualquer conversão que você fizer deve garantir que o automato final aceite exatamente as mesmas sentenças que o automato inicial.
Olha, posso estar enganado, mas no exercício 7:46 é realmente possível fazer um AFN usando esse AFNe utilizando a regra de substituir lambda por a,b,c e apenas adicionando pulos? Pois eu estava pensando no caso da palavra "ca" por exemplo, nesse AFNe, sempre que tiver um "c" não irá ter nenhum "a" e "b" posteriormente, pois irá do q0 para q2 instantaneamente, e o q2 aceita apenas "c", ou seja, essa palavra seria recusada. Porém, substituindo todo lambda por "a,b,c", como o sr disse, a palavra "ca" seria aceita, pois iria de q0 -> q1 -> q2
Ola @barddz4646, não podemos esquecer do que eu falo la no inicio da aula, que não tem uma regra exata para conversão AFNe para AFN, portanto precisamos ter cuidado ao dizer que sempre devemos substituir lambda por a,b,c. E eu reconheco que da forma como falei esse importante detalhe acaba não ficando evidente. Pois sempre precisamos tomar o cuidado(como voce fez com a palavra "ca") de conferir se uma palavra que NÃO era aceita começa a ser aceita após a conversão. Talvez merece um novo video para fazermos mais alguns exemplos e deixar esse ponto ainda mais claro. Obrigado pelo comentário.
7:12 , eu entendi a conversão muito boa sua explicação, porém, fiquei com uma dúvida no ex2.
O estado q1 não ficaria como estado final também, já que comparando os autômatos AFNe com AFN não tem equivalência quanto ao estado q1 que aceita a palavra vazia indo para o estado q2?
Olá @Maria Jaqueline, não precisa. O simples fato de colocar q0 como estado final já cobre todos os casos.
Lembre-se, colocar estados finais onde não precisa pode gerar um problemão mais a frente, como por exemplo aceitar palavras indevidas. Portanto, a dica é coloque estados finais somente qdo vc tem certeza :)
@ entendi, no caso do exemplo tinha até esquecido a definição dessa Linguagem(a's que antecedem b's) no caso, como falou se colocarmos o estado q1 como final, irá aceitar palavras que não satisfazem a linguagem.
Com relação a resposta da ultima, sabe informar como é?
Ola Bruno, o programa JFLAP faz essa conversão. Dai sempre indico para os meus alunos fazerem no papel e depois verificarem a resposta no JFLAP.
Professor, seria bom deixar a resposta do exemplo em algum link, seja imagem, repositorio, ou algo que podemos consultar.
Obrigado pelo vídeo, aluno da UFF.
Olá Lucas, não costumo colocar pq o programa JFLAP faz todas essas conversões. Vale a pena conferir
@ Levantei esse ponto pois usando o jflap os dois automatas dão que não são equivalentes.
Fiz o upload da imagem:
ibb.co/VCK2LMB
Usando transformada por feicho-y obtive outro grafo que não é o mostrado. Mesmo assim agradeço a atenção!
cade a correcao porra
desgraçado
Estão nas aulas presenciais do IFSudesteMG...kkkk
@ mamei na prova hj. se tivesse a correcao da ultima eu tinha fechado 🤝