Vorlesung Modellierung WS 2001/2002 - Folie Nr. 604

Ziele:
Formale Definition verstehen

in der Vorlesung:
Erläuterungen zu

• den Komponenten des 5-Tupels,
• dem Begriff "deterministisch",
• der Eigenschaft "vollständig"

nachlesen:
G. Goos: Vorl. über Informatik Bd.1, Abschnitt 2.4