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