paragraph_text: U matematici, logici i računarstvu, formalni jezik (još i umjetni jezik znakova (simbola). Matematički, to je neuređen par <math>\boldsymbol{L}=\{\boldsymbol{A},\boldsymbol{F}\}. </math> Među najuobičajenijim primjenama, formalni jezik može biti shvaćen kao: