I take your point that we are discussing some output rules which add extra computation states, and so some output rules will add fewer computation states than others.
I’m merging my response to the rest with my comment here.
I take your point that we are discussing some output rules which add extra computation states, and so some output rules will add fewer computation states than others.
I’m merging my response to the rest with my comment here.