Normal form

Normal form. In the context of term rewriting, an expression to which no more rules can be applied.

Baader, Franz, and Tobias Nipkow. Term rewriting and all that. Cambridge university press, 1998.