Normalform

<=> Transformation

==> Beweisen, automatisches

==> System, dynamisches

==> Bifurkation