|
Abstract:
|
Äärettömän laajojen kielten, niin luonnollisten kielten kuin tietokoneen ohjelmointikieltenkin, analysointi tietokoneella on tullut nykyään tärkeäksi. Tietokoneanalysoinnin onnistumisen eräs edellytys on, että kielen syntaksi voidaan määritellä jollakin äärellisellä tavalla. Context-free -kielioppi on yksi tällainen äärellinen keino, jolla ainakin suurin osa minkä tahansa kielen syntaksista voidaan määritellä. Tämän työn tarkoituksena on esitellä tärkeimpiä tuloksia context-free -kielten teoriasta. Tulokset on tarkoitus todistaa suhteellisen tarkasti, jolloin tulee esitellyksi erilaisia formaalisten kielten tutkimuksessa käytettyjä todistustekniikoita. Työn loppuosassa luodaan lyhyt katsaus context-free -kielten tunnistus- ja jäsennysalgoritmeihin, ja tarkastellaan myös näiden algoritmien aikakompleksisuutta. /Kir09 |