Produktsioonid ja predikaatarvutus
Nüüd otsime reeglit ümberkirjutamiseks, valime mõne nime.
=> => Peeter (terminaal) => Peeter
jookseb (terminaalne järjend=)
Leida selle grammatikaga genereeritav keel.
Lõpmatu keel - nt suur suur suur Mari jookseb; tubli suur tubli suur Peeter õpib jne. Kuigi
grammatiliselt korrektsed, on nad lõpmatu pikkusega laused ja selliseid me ei kasuta
loomulikus keeles.
2. Isa ja kaks poega jõe vasakule kaldale
Teadmus esitada produktsioonidena. Olekute esitamine, algolek ja lõppolek selle esituse
kohaselt, produktsioonid, mis esitavad võimalikke tegevusi ehk operaatorid ühest olekust
teise liikumiseks. Otsinguprobleem olekute rumis. Laiutiotsing.
Kolmik (i [kas isa on vasakul - 1, pole - 0), p [poegade arv vasakul 0-2], b [paadi asukoht - kui
vasakul - 1, pole - 0
Vahepealsed liikumised ei olegi olekud; olekud ainult siis, kui paat ühele kaldale randunud.