2
Kontextsensitive Grammatiken und Typen
1) In welcher Beziehung stehen statische Typisierung und formale Grammatik? 2) Wäre es insbesondere für einen linear begrenzten Automaten möglich, zu überprüfen, ob beispielsweise ein C ++ - oder SML-Programm gut typisiert war? Ein verschachtelter Stapelautomat? 3) Gibt es eine natürliche Möglichkeit, statische Schreibregeln in formalen Grammatikbegriffen auszudrücken?