Como posso provar que a conversão de CNF para DNF é NP-Hard? Não estou pedindo uma resposta, apenas algumas sugestões sobre como proceder para provar
Ordem aplicável : sempre avalie totalmente os argumentos de uma função antes de avaliar a própria função, como - (λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(\lambda x. x^2(\lambda x.(x+1) \ \ 2))) \rightarrow (\lambda x....
Entendo que gramáticas sem contexto podem ser usadas para representar linguagens sem contexto. Pode ter ambiguidades. Também temos formas normais, como a forma normal de Chomsky e Greibach . Eu não conseguia entender a necessidade disso. Por que eles são importantes na teoria das línguas? Todos os...
Em relação ao segmento Provando que a conversão de CNF para DNF é NP-Hard (e um segmento Math relacionado ): E a outra direção, de DNF a CNF? É fácil ou difícil? Na página 2 deste artigo , eles parecem sugerir que ambas as direções são igualmente difíceis quando dizem " Estamos interessados na...
A análise de gramáticas de expressão (PEGs) é inequívoca e possui uma sintaxe superficialmente semelhante ao BNF , mas inclui três diferenças importantes: O operador de escolha ordenada e1 / e2 / e3. O e predicado &. O operador não !. Eu tenho algumas perguntas: Os idiomas reconhecidos...