for­ma­li­soi­da

Kielitieteen tehtävä on kuvata kaikille kielille yhteistä universaalikielioppia formalisoimalla universaalikieliopin sisältämät säännöt sekä kielikohtaisesti vaihtelevat parametrit, jotka ovat vastuussa maailman kielten eroista.

Pumppauslemma voidaan formalisoida seuraavasti: Jos kieli on säännöllinen, on olemassa siten, että mikä tahansa , joka kuuluu kieleen , missä , voidaan kirjoittaa muotoon siten, että , ja kuuluu kieleen kaikilla .