Abstract: Techniques are described for automatically converting a standard operating procedure (SOP) into a simulatable non-ambiguous single state machine (SSM) architecture in which a given input (transition condition) necessarily and unambiguously moves the system from a first state to a predictable second state. By converting a written SOP into a simulatable non-ambiguous SSM architecture, the techniques described herein reduce the possibility of errors and improve the safety, efficiency, and operational performance of the system. The described techniques also allow the architecture, and indeed the entire system, to be simulated.