termillä kielioppi tunnetaan kielen käyttöä säätelevien ja säätelevien sääntöjen ja periaatteiden tutkimisesta sekä siitä, miten sanat tulisi järjestää lauseen sisällä. Mutta samalla kielioppi on itse asiassa joukko sääntöjä ja periaatteita, jotka ohjaavat tietyn kielen käyttöä, koska jokaisella kielellä on oma ja eksklusiivinen kielioppinsa.
kielioppi on kielitieteen kiertoradalla ja jakautuu neljään tasoon: foneettis-fonologiseen, syntaktis-morfologiseen, semanttiseen lexiconiin ja pragmaattiseen.
kielioppi jakautuu useisiin tyyppeihin, jotka kertovat paljon sen tutkimuskohteista ja säännöistä. Normatiivinen tai määräävä kielioppi on sellainen, joka mielivaltaisesti vahvistaa sääntöjä tiukan noudattamisen tietyn kielen ja tietenkin halveksii konstruktioita, jotka eivät ole standardoituja.
deskriptiivinen kielioppi kuvaa kielen nykyistä käyttöä välttäen Deskriptiivistä tuomiota.
perinteinen kielioppi on sellainen, joka kokoaa yhteen kaikki Kreikan ja Rooman loiston ajoilta asti vallinneet ajatukset kieliopista. Funktionaalinen kielioppi tarjoaa yleiskuvan luonnollisen kielen järjestämisestä, jossa tarkastellaan kolmea perussääntöä, sääntöjen soveltamista jokaiseen kieleen, lauseiden soveltamisen edistämistä vuorovaikutukseen viestinnässä ja yhteensopivuutta luonnollisen kielen käsittelyyn liittyvien psykologisten mekanismien kanssa.
toisaalta generatiivinen kielioppi tarjoaa formaalin lähestymistavan kielten syntaktiseen tutkimukseen ja formaali kielioppi koskee laskentaan liittyvän kielitieteen järjestystä. Jokainen tietojenkäsittelytieteen alan ohjelmointikieli määritellään formaalin kieliopin kautta.
kieliopin alkuperää etsittäessä on edettävä siihen asti, kun kirjoitusta kehitettiin. Samaan aikaan tarkka historiallinen kertomus on vuodelta 480 eKr., jossa on sanskritia koskeva tutkimus. Lisäksi Aristoteles, Sokrates ja muut antiikin merkittävät ajattelijat tekivät omia väitöskirjojaan kieliopista.