FWIW there is a standard to describing (finite) state machines despite the RFC being expired https://tools.ietf.org/html/draft-bortzmeyer-language-state-machine

FWIW there is a standard to describing (finite) state machines despite the RFC being expired https://tools.ietf.org/html/draft-bortzmeyer-language-state-machines-01 https://tools.ietf.org/html/draft-bortzmeyer-language-state-... I have used an "improved" version of it https://github.com/andreineculau/cosmogol-abnf https://github.com/andreineculau/cosmogol-abnf when working on https://github.com/for-GET/http-decision-diagram https://github.com/for-GET/http-decision-diagram