Formali kalba
Straipsnis iš Vikipedijos, laisvosios enciklopedijos.
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 taisyklėmis). 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 informatiką yra nebaigtas. Jūs galite prisidėti prie Vikipedijos papildydamas šį straipsnį. |
