Zapomenuté heslo nebo jméno
15. 8. 2013 19:03
Algoritmus testování splnitelnosti vyžaduje formuli v DNF, ale parsingem vzniká konjunkce klauzulí. Když budu mít pravidlo A → A A, u prvního A bude d≈a a u druhého fd≈b ⋁ gd≈b, tak převod výsledné formule do DNF bude exponenciální.
Autor se zabývá vývojem kompilátorů a knihoven pro objektově-orientované programovací jazyky.
Přečteno 35 914×
Přečteno 25 127×
Přečteno 23 571×
Přečteno 20 009×
Přečteno 17 326×
