Teoretický pohled na formální jazyk:
S = {a, b}, L = {anbn: n ³ 0}
Otázka: aabb Î L ?
Praktický pohled na formální jazyk:
S = {begin, end, id, :=, *, ; , ...},
Otázka: begin id := id * id; end; Î LPascal ?
LPascal = Programovací jazyk Pascal
ANO: Program je OK Þ
Vytvoř cílový program  
NE: Program není v pořádku Þ
Najdi, kde jsou chyby.
Jazyky a překladače
5/17