paragraph_text: Strukturalna operacijska semantika jest ona maloprije opisanog oblika - u kojem se term evaluira u malim koracima. U prirodnoj semantici se koristi veliki korak, u kojem jedan prijelaz apstraktnog stroja evaluira term u konačni rezultat.