For all E, E1, E2, such that E
->*E1 and
E
->* E2,
there exists an
E3 such that E1
->* E3 and E2
->*
E3.
In other words,
->
is confluent,
or has the diamond property ,
as shown in this figure:
Hence, normal forms are unique.