Šiam straipsniui ar jo daliai trūksta išnašų į patikimus šaltinius Jūs galite padėti Vikipedijai pridėdami tinkamas išna

Šiam straipsniui ar jo daliai .
Jūs galite padėti Vikipedijai pridėdami su šaltiniais.

Formali kalba – žodžių rinkinys, kurį sudaro baigtinė raidžių, simbolių ar ženklų aibė. Raidžių aibė sudaro formalios kalbos alfabetą. Pačią kalbą apibrėžia formali gramatika (dar vadinama formaliomis ). O žodžiai ar formulės suformuotos naudojant formalias taisykles vadinami tinkamai suformuotas žodžiais ar formulėmis. Formalias kalbas tyrinėja informatika (kompiuterių mokslas) ir lingvistika.

Šis straipsnis apie yra . Jūs galite prisidėti prie Vikipedijos papildydami šį straipsnį.