Formalioji kalba

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.

Kategorija:Formalūs metodai
Kategorija:Gramatika