Domande taggate «normal-forms»

Dimostrando che la conversione da CNF a DNF è NP-Hard

Come posso dimostrare che la conversione da CNF a DNF è NP-Hard? Non sto chiedendo una risposta, solo alcuni suggerimenti su come procedere per dimostrarlo.

20 complexity-theory np-hard satisfiability sat-solvers normal-forms

"Ordine applicabile" e "Ordine normale" in lambda-calcolo

Ordine applicabile : valutare sempre in modo completo gli argomenti di una funzione prima di valutare la funzione stessa, ad esempio - (λ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. x^2(2+1))\rightarrow \ (\lambda x. x^2(3)) \rightarrow \ 3^2 …

14 logic lambda-calculus normal-forms

L'importanza di forme normali come la forma normale di Chomsky per i CFG

Comprendo che le grammatiche senza contesto possono essere utilizzate per rappresentare linguaggi senza contesto e potrebbe avere ambiguità. Abbiamo anche forme normali come Chomsky e Greibach forma normale. Non riuscivo a capirne la necessità. Perché sono importanti nella teoria delle lingue? Tutti i libri di testo a cui ho fatto …

12 formal-languages context-free formal-grammars normal-forms

Conversione da DNF a CNF: facile o difficile

In relazione al thread Dimostrando che la conversione da CNF a DNF è NP-Hard (e un thread matematico correlato ): Che ne dici dell'altra direzione, da DNF a CNF? È facile o difficile? A pagina 2 di questo articolo , sembrano suggerire che entrambe le direzioni sono ugualmente difficili quando …

10 complexity-theory logic satisfiability normal-forms

Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.

Licensed under cc by-sa 3.0 with attribution required.