state transition
form change
The following rules describe the state transition for a node formula_9 with weight formula_25.
The following rules describe the form change for a node formula_9 with weight formula_25.