Zapomenuté heslo nebo jméno
16. 8. 2013 6:30
V @10 jsem se nepřesně vyjádřil - během analýzy vznikají konjunkce formulí, ale počáteční formule se berou z lexikonu, takže mohou obsahovat libovolné konektivy. V praxi se ovšem používá i pro preterminály jen formule v KNF bez negace.
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×
