Definition: Treppennormalform zu

Wir nennen Treppennormalform zu , wenn

  • eine TNF ist und

Das heißt, wenn eine TNF ist und durch elementare Zeilenumformungen aus hervorgeht