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
Tue Nov 24 13:50:54 MET 1998