Upon further reflection, I think it is actually more expressive because it can be used on a long sequence of automatons whereas `state.