Semantisch äquivalente formale Sprachen erzeugen unabhängig von ihren Ableitungsbäumen dieselben Zeichenfolgen.
Semantisch äquivalente formale Sprachen haben dieselbe Anzahl von Terminal- und Nicht-Terminal-Symbolen.
Baroque art features strong contrasts, while Rococo art prefers more subtle transitions
Baroque art is generally larger in scale than Rococo art