Formalioji kalba

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

Formalioji kalba – žodžių rinkinys, kurį sudaro baigtinė raidžių, simbolių ar ženklų aibė. Raidžių aibė sudaro formaliosios kalbos alfabetą. Pačią kalbą apibrėžia formalioji gramatika (dar vadinama formaliosiomis taisyklėmis). O žodžiai ar formulės, suformuotos taikant formaliąsias taisykles, vadinami tinkamai suformuotais žodžiais ar formulėmis. Formaliąsias kalbas tyrinėja informatika (kompiuterių mokslas) ir lingvistika.