Jäsennin (engl. parser) on tietokoneohjelma, joka jäsentää sille syötteenä annetun merkkijonon tiettyyn muotoon.lähde?
Esimerkiksi C-kielen jäsennin tarkistaa, onko syöte C-ohjelmointikielen syntaksin mukainen ilmaisu, ja XML-jäsennin tarkistaa, onko syöte XML-kielinen ilmaisu. Validoiva XML-jäsennin tarkistaa lisäksi, onko syöte XML-kielen yleisten sääntöjen mukainen ja onko se annetun dokumenttityyppimäärittelyn mukainen. Jäsentimiä on käytetty myös seikkailupeleissä, joissa pelaaja ohjaa peliä kirjoittamalla komentoja. Tällöin jäsennin pyrkii tunnistamaan annetut käskyt ja niiden kohteet.lähde?
Noam Chomsky julkaisi kontekstittomien kielioppien kuvauksen 1957. Niiden hyödyllisyyden tajuaminen johti siihen, että Algol 60 -raportista julkaistiin uusi painos, jossa kielioppi kuvattiin BNF-notaatiolla. Donald Knuth oli keksinyt LR-jäsentimen 1965. Franklin DeRemer esitteli käyttökelpoisen LALR-jäsentimen väitöskirjassaan vuonna 1969.
Jäsentimet ovat tärkeitä etenkin ohjelmointikielten ja vastaavien kehityksessä. Stephen Johnson ja Alfred Aho määrittelivät 1971 Bell Labsilla B-kielen syntaksin formaalisti, ja Johnsonin kehittämää Yaccia käytettiin sen kehittämiseen. Myöhemmin Yaccilla kehitettiin Portable C Compiler, Pascal-, Ratfor-, APL-kääntäjät ja muita ohjelmointikieliä, kuten awk. Sillä oli myös muuta käyttöä, kuten taitto-ohjelman kuvauskielen jäsennys ja laskimet.
Jäsentimet voidaan jakaa kahteen tyyppiin sen mukaan, missä järjestyksessä ne käyvät lävitse kielioppia. Tyypit ovat:
<TERMI> ::= <TERMI> ('*'|'/') <KERROIN>
LL-jäsennin kutsuisi ensin alirutiinia, joka laajentaa <TERMI>:n, ja kutsuisi heti sen jälkeen alirutiinia, joka laajentaa <TERMI>:n joutuen näin ikuiseen rekursiosilmukkaan.
::= -merkin oikealla puolella olevat symbolit) ja koettaa sovittaa niitä vasemmalla puolella oleviin symboleihin.lähde?