Abstract

We investigate the defining power of finite recursive specifications over the theory with + (alternative composition) and • (sequential composition) and λ (the state operator) over a finite set of states, and find that it is greater than that of the same theory without state operator. Thus, adding the state
... read more