Szintaxis

Szintaxisnak nevezzük egy programozási nyelven írt program formai helyességére vonatkozó szabályok gyűjteményét. A szintaxis leírására két jellemző eszközt használunk az egyik a BNF (Backus-Naur forma), a másik a szintaxisgráf az un. vasútdiagram.
A BNF nyelvleíró nyelv egy metanyelv nagyon kevés szimbólumot használ.
A szintaxisnyelv csomópontjait nyelvi elemek alkotják, ezek lehetséges sorrendjét irányított gráf élei jelzik.

Szemantika

A szemantika a programozási nyelven megírt program, jelentését, tartalmi helyességét leíró szabályokat tartalmazza. A szemantika leírására a az egyszerűsége, és érthetősége miatt a természetes nyelven való leírást választják. Leggyakrabban az axiómákkal és következtetési szabályokkal történő leírást választják.

Adott programozási nyelven írt program formai helyességére vonatkozó szabályok gyűjteménye.

A szemantika a programozási nyelven megírt program, jelentését, tartalmi helyességét leíró szabályokat tartalmazza.