next up previous
Next: Stufe 2. Up: Syntaktische Checks Previous: Syntaktische Checks

Stufe 1.

Definition der syntaktischen Korrektheit.
Die Definition der syntaktischen Korrektheit soll formuliert werden. Korrektheitskriterium soll die Vollständigkeit und Definiertheit sein.
Check Model.
Die Regeln der Korrektheit sollen als Modul implementiert werden.



Erich Mikk
Mon Nov 16 11:33:11 MET 1998