Modelle von formalen Systemen