Til forståelse af semantikken af bl.a.\ programmeringssprog til beskrivelse af maskin-baserede (dvs. fysisk bestemte) systemer benyttes nok en beregneligheds-teknik kaldet operationel semantik. Operationel semantik kan siges at være nært beslægtet med bevis-teori. Dataloger som arbejder med parallelle, samtidige og distribuerede systemer har derfor brug for et godt kendskab til operationel semantik.