Programmide ülesehitusest arusaamine nõuab kõigepealt seda, et me saaks täpselt kirjeldada neid sõnu, millest meie programmide laused koosnevad.

Regulaaravaldised moodustavad ise ka formaalse keele. See on meil esimene näide keelest, mille ülesehitusest ja täitmisest tahame sügavalt aru saada.

Regulaaravaldised on sellised avaldised, millest peab regulaarselt loengutes rääkima.