Towards technology of development of operational semantics of computer languages: unified format of labelled transition systems

A formalism for description of labelled transition systems, which unifies the format of states of the systems, the format of computer language instructions represented by labels of the systems and the format and semantics of transition rules, and thus makes the development of operational semantics of computer languages more technological, is proposed.