Verwaltung von variablen Datenmengen VDM Tutor Unions

Rekursive Typdefinition

 

• Verwaltung von variablen Datenmengen
• Implementation rekursiver Strukturen
• Beispiel: Syntaxdefinition von Programmiersprachen