Mit jelent az, hogy terminális, és nem terminális szimbólum? Valami példa rá az életből, hogy elképzelhető odlog legyen, és érthető? A jegyzetekben túl elvontan írják le, és így megtanulni szinte lehetetlen.

Szerintem a legegyszerűbben úgy tudod "vizualizálni", ha szó szerint veszed a neveüket: a terminális jelek azok, amelyek egy _konkrét_ mondatot alkothatnak, míg a nemterminálisok egyfajta szabályt adnak meg a terminális helyettesítéshez. Egy generatív nyelvtan esetében például úgy tudod megvizsgálni, hogy adott mondat része-e a nyelvtan által generált nyelvnek, ha valahány mondatformán keresztül eljutsz a mondatig. Ugye a mondat nemtartalm mást, csak terminálisokat, míg a mondatformában vannak nemterminálisok is.

Persze a fenti így ebben a formában egyáltalán nem pontos, mert ennél bonyolultabb a dolog, de nagyjából talán így érthető.

De mondok egy kissé sarkított példát, hátha ez segít.

Tegyük fel, hogy a magyar nyelvtannal dolgozunk és adott egy mondat, aminek a végén nem ismerjük az írásjelet. Legyen ez a mondat a következő:

Szereted az almát

A magyar nyelv szabályai szerint a mondat végén ezúttal állhat pont is és kérdőjel is, mert mindkettő értelmes mondat, viszont nem állhat vessző, mert úgy nincs értelme. A szabályok szerint kell egy írásjel (most hagyjuk a speciális eseteket), tehát odatehetünk a példa kedvéért egy nemterminálist így:

Szereted az almátNEMTERM

Ezután csinálunk egy szabályt, amely szerint a NEMTERM-ből levezethető a pont (.) és a kérdőjel (?) is, de nem vezethető le a vessző (,).

Kicsit egy formálisabb leírás:

Vegyünk mondjuk egy egyszerű nyelvet, ahol vannak a számok 0..9-ig és a + jel.

A nyelv leírása:

<expr> ::= <literal> | <expr> '+' <expr>

<literal> ::= '0' | '1' | ... | '9'

Itt a terminálisok a 0,1,2...,9,+

A nem terminálisok az expr és a literal.

Ezt a szintaxist használva ilyesmi "kódokat" lehet írni:

0

1+2

3+4+5

stb.

A terminálisok kerülhetnek a kódba, a nemterminálisok pedig a definíciónál használt szabály elnevezéseknek felelnek meg.