Odpovídáte na názor ke článku Turingovsky úplná bezkontextová gramatika.
15. 8. 2013 14:00
A. co je to preterminal?
B. existuje na to nejaky efektivni algoritmus? Jestli to spravne chapu tak naivni algoritmus by musel:
1. vygenerovat vsechny mozne derivacni stromy te zakladni gramatiky, kterych muze byt obecne exponencialni mnozstvi... 2. pro kazdy derivacni strom sestavit formuli a pomoci SAT/SMT solveru testovat splnitelnost, coz muze mit obecne exponencialni slozitost...
jestli je tohle jediny algoritmus tak to nezni moc uzitecne ;-)
Autor se zabývá vývojem kompilátorů a knihoven pro objektově-orientované programovací jazyky.
Přečteno 37 774×
Přečteno 26 420×
Přečteno 24 932×
Přečteno 21 278×
Přečteno 18 932×
