Other forms of static analyses like data flow analysis may also be part of static semantics.
Sintaksa večine programskih jezikov se lahko opredeli kot uporaba Slovnice tipa 2, t.j kontekstno neodvisne slovnice ("context-free grammar").