While working on the definition of notional machines at Dagstuhl, we realized that there might be different forms of notional machines! Just to streamline my own thinking, I am describing four different forms here. This post is not meant to be complete! Let me reiterate that our current understanding of a notional machine is: “A […]
