Theoretisches Compilerbau-Buch
-
Hi,
ich suche ein möglichst theoretisches Compilerbau-Buch, unter anderem interessieren mich ein Beweis für LR(1) = LR(k) und ähnliche Sachen, was im Drachenbuch (das mir auch so nicht wirklich gefällt) ja leider nicht erwähnt wird. Es darf auch gerne in Englisch sein.
Ich bin für alle Tipps dankbar!
Felix
-
Dann guck mal bei dem Bücher unter Theoretische Informatik über Sprachtheorie.