Me rõhutame siin pidevalt, et on vaja aru saada programmide ülesehitusest ja täitmisest. Kuna meie näidetes on eelkõige avaldised, siis peaks terminoloogiat siin täpsustada. Programmis on meil lauseid (statements) ja avaldised (expressions). Nende peamine erinevus seisneb selles, et avaldisel on väärtus, aga lausetel ei ole. Terminoloogia on siis natuke erinev:

• Lause täitmine (execute statement).
• Avaldise väärtustamine (evaluate expression).

Vaatame nüüd aga avaldise väärtustamist. Internetis levivad sellised näited, kus inimestel on väidetavalt raskusi aritmeetiliste avaldiste väärtustamisega.

Mis on sellise avaldise juures keeruline?

Järgmine grammatika on ühene!

A → aAa | bAb | ε

Järgmine grammatika on ühene!

A → aA | bA | ε

Järgmine grammatika on ühene!

A → aA | Aa | x

Järgmine grammatika on ühene!

A → aA | a | ε

Järgmine grammatika on ühene!

A → Aba | a

Järgmine grammatika on ühene!

A → AbA | a

Meil on järgmised lekseri reeglid:

L1: 'el'+  'e'* 'h'?;
L2: 'h'? 'ele'+; 
L3: ('ele'+ 'e'*)+;

Kuidas tükelduvad järgmised sõned? Kui sõne ei saa lõpuni lekseemideks tükeldada, siis valige vastuseks "ei tükeldu".

Olgu meil järgmine grammatika:

E → 1 | 2 | 3 | 4

Mitu süntakspuud on avaldisel?

(1+2+3+4)

Olgu meil järgmine grammatika:

E → 1 | 2 | 3 | 4

Mitu süntakspuud on avaldisel?

1+(2+3)+4