I find a lattice of functions from a predicate to another predicate to be about as simple as possible for describing the problem space. I’ve still got a lot to learn, but given that state is a reality for the computing automata we can actually build I like an abstraction that captures it directly.

I have found this to be an interesting exchange of ideas and I appreciate your taking the time to answer my queries. Thanks!