Bandoma suformuluoti kalbos gramatikos, matematinių terminų. Kalba teorija yra svarbi sritis lingvistikos ir kompiuterių mokslo. Oficialią kalbą teorija buvo pradėtas šeštojo dešimtmečio vidurio, bandant sukurti teorijų apie natūralios kalbos įsigijimo. Ši teorija ir ypač kontekste nemokamai gramatikos, buvo nustatyta, yra svarbūs naudojamų kompiuterių kalbomis. Palūkanų santykių tarp abstrakčių kalbų ir automata teorijos pradėjo seminal popieriumi, S. C. Kleene 1956 m., kai jis apibūdina, kurioje narystės sakinys gali būti nustatyta pagal baigtinis automatas kalbomis. Formalius arba abstrakčiai kalbomis yra pagrįstos kalba matematinė sąvoka, kaip apibrėžta Noam Chomsky maždaug 1956. Suprasti πiΰ sΰvokΰ, mes gali pradėti apibrėžiant kokia kalba yra. Naują Amerikos Oxford Dictionary apibrėžia kaip "žmonių pranešimas, arba žodžiu ir raštu, žodžius struktūrinį ir įprastinių būdu metodas." Tačiau šis apibrėžimas yra per daug neapibrėžtas naudoti kaip kūrimo bloką kalba teorija. Galinės telekomunikacijų įrangos sąvoka abstrakčių kalba, yra būtina įvesti kai kurie preliminarūs apibrėžimai. Abėcėlė, žodyno arba terminalus, žymimas Σ, rinkinys yra ribotas, nonempty rinkinys, nedalomos simbolių. Pvz., dvejetainiai abėcėlėje yra tik du simboliai. Šis rinkinys yra paprastai atstovaujama kaip Σ = (0, 1). a žodis arba eilutė, per ypač abėcėlė, yra ribotas abėcėlės simbolių seka. Matematinių terminų, tipiškas žodis, x, gali būti parašyta kaip x = a ₁, a ₂, a ₃,..., _k kur k ≥ 0, a _i ∊ Σ už 1 ≤ i ≤ k. Atkreipkite dėmesį, kad jei k = 0, žodis vadinamas, nulis ar tuščias žodžiu ir žymimas Λ. pvz., naudojant dvejetainis abėcėlė, mes sudaro žodžiai x = 0010 ir y = 010. , Suteiktas žodis, x, tikros abėcėlės raidėmis žodžio simbolius pasikartojimų skaičius vadinamas žodžio ilgis ir žymimas