Mikä on Lookahead jäsennyksessä?

Lookahead on joidenkin ohjelmointikielten ominaisuus, jonka avulla jäsentäjä voi kurkistaa eteenpäin syötevirran seuraavaan tunnukseen tai tokeneihin ja käyttää näitä tietoja ohjelman rakenteen määrittämiseen.

Toisin sanoen, ennakointi antaa jäsentimen nähdä, mitä on tulossa. seuraavaksi syöttövirrassa ennen kuin se todella jäsentää sen. Tästä voi olla hyötyä kieliopin epäselvyyksien ratkaisemisessa, kuten silloin, kun lause voidaan jäsentää useilla tavoilla.

Otetaan esimerkiksi seuraava lause:

"Kissa jahtasi hiirtä."

Tämä lause on kieliopillisesti moniselitteinen, koska se voidaan jäsentää joko "Kissa jahtasi hiirtä" tai "Jahtasi hiirtä kissaa". Tämän epäselvyyden ratkaisemiseksi jäsentäjä voi käyttää lookaheadia katsoakseen eteenpäin seuraavaa merkkiä ja määrittääkseen, mikä jäsennys on oikea. Jos seuraava token on "the", ensimmäinen jäsennys on oikea, mutta jos seuraava merkki on "jahdettu", toinen jäsennys on oikein.

Lookahead voidaan toteuttaa eri tavoin riippuen kielestä ja käytetystä jäsentimestä. Joitakin yleisiä ennakointimenetelmiä ovat:

1. Vasen rekursio: Tässä tekniikassa jäsentäjä kutsuu itseään jäsentämään muun syöttövirran käyttämällä tietoja, jotka se kerää nykyisestä tunnuksesta määrittääkseen, kuinka seuraava merkki jäsennetään.
2. Oikea rekursio: Tässä tekniikassa jäsentäjä kutsuu itseään rekursiivisesti jäsentämään edellistä merkkiä käyttämällä nykyisestä tunnuksesta keräämiään tietoja määrittääkseen, kuinka seuraava merkki jäsennetään.
3. Ennustava jäsennys: Tässä tekniikassa jäsentäjä käyttää tilastollista mallia ennustaakseen syöttövirran seuraavan tunnuksen ja käyttää tätä ennustetta sen jäsentämisen ohjaamiseen.
4. CYK-jäsennys: Tässä tekniikassa jäsentäjä käyttää arvotaulukkoa pitääkseen kirjaa syötevirran mahdollisista jäsennyspuista ja käyttää ennakointitietoja hakutilan karsimiseen ja oikean jäsennyspuun löytämiseen.

Kaiken kaikkiaan ennakointi on tehokas ominaisuus, joka voi auttaa jäsentimiä käsittelemään epäselvyyksiä luonnollisen kielen käsittelytehtävissä, mutta se voi olla myös laskennallisesti kallista, eikä se välttämättä aina ole tarpeen käyttötapauksesta riippuen.