Comment un système de transition dans la sémantique opérationnelle est-il défini?

Question

Je décris la sémantique d'une nouvelle optimisation pour Java en utilisant la sémantique opérationnelle, mais je ne sais pas comment définir le système de transition.

J'ai trouvé ce lien:http://www.irisa.fr/celtique/teaching/pas/opsem-2016.pdf où dans la diapositive 20, le système de transition est défini mais je ne comprends pas.