Stav dette: Regulated Rewriting in Formal Language Theory