Jól gondolom, hogy ez egy tökéletes példa arra, hogy hogyan kell egy konkrét formális nyelvet definiálni?

Igazaból fogalmam sincs, hogy miről beszélek, szóval ha nagyon nagy hülyeség, örülök ha valaki részletesen is elmagyarázza, hogy "ajjaj itt nagyon nagy fogalmi zavarok vannak. Először is...".

A képen az *írott L*HL() rész azt jelenti, hogy legyen *írott L*HL egy formális nyelv (L-el a nyelvet jelöli, HL-el pedig a halmazelméletet), a zárójelen belül megadja a nyelv szintaktikáját, az aláhúzással elválasztott többi rész pedig, a nyelv szemantikájájt írja le. (szerintem!!!)

a kép:

[link]

forrás:

[link]

forrás forrása:

[link]