Označte pravdivost jednotlivých výroků o syntaxi a sematice programovacích jazyků: - Statická sémantika je ta část sémantiky,kterou lze kontrolovat při překladu-např. pravidla pro typovou kontrolu. - Pro popis syntaxe síťových protokolů (např. protokolu HTTP) se používá upravená verze Backus-Naurovy formy. //verze ABNF - V Backus-Naurově formě (BNF) lze popsat i sémantiku jazyka. - Dynamická sémantika-obvykle popisována běžným jazykem - Backus-Naurova forma (BNF) se používá pro popis syntaxe jazyka. - Komentáře se ze zdrojového kódu odstraňují při lexikální analýze. - Pro popis sémantiky jazyka se používají bezkontextové gramatiky.