@15 Problém je ten, že disjunkce vnáší do gramatiky víceznačnost (exponenciálně). Stačí si představit, že každé pravidlo zavede jednu (novou) disjunkci. Potom počet formulí roste 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×