FORMULE METALINGVISTICE

Descrierea sintaxei limbajului

PASCAL constă dintr-un set
de formule metalingvistice.
 ▪ Prin formulă metalingvistică vom
În partea stîngă înţelege o construcţie formată din
a formulei se două părţi, stînga și dreapta,
găsește un separate prin simbolurile “::=” ce
simbol au semnificaţia de “egal prin
neterminal. definiţie”.
 ▪ descrierea, în partea ei dreaptă, a
tuturor alternativelor posibile de
O formulă
metalingvistică definire a simbolului neterminal,
permite prin folosirea caracterului “|” cu
semnificaţia “sau”.
 Exemplul 1.
▪ <Cifră> ::= 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
▪ definește unitatea gramaticală <Cifră> ca fiind unul din
caracterele (simbolurile terminale) 0, 1, ..., 9.
De exemplu,
formula Exemplul 2.

▪ <Literă> ::= a | b | c | d | e | f | g | h | i | j | k | l |m
|n | o | p | q | r | s | t | u | v | w | x | y | z
▪ În partea dreaptă a unei
formule metalingvistice pot
apărea două și mai multe
simboluri consecutive. Situaţia
corespunde operaţiei de
concatenare (alipire) a lor.
 ▪ <Id> ::= <Literă><Cifră>
▪ definește construcţia gramaticală
<Id> ca fiind o literă urmată de o
cifră.
Exemplu Exemple:
1) a9 4) x4
2) a1 5) d0
3) c3 6) e8
▪ În unele situaţii alternativele
de definire a unui simbol
neterminal se pot repeta de un
număr oarecare de ori (chiar
de zero ori), fapt ce va fi
marcat prin încadrarea lor în
acoladele {, }.
 ▪ <Întreg fără semn> ::= <Cifră> {<Cifră>}

▪ definește simbolul neterminal <Întreg

fără semn> ca o secvenţă nevidă de
Exemplu cifre.
▪ Secvenţele 0, 0000, 001, 1900, 35910 sînt
conforme acestei definiţii, iar secvenţa
3a5910 – nu.
▪În cazul în care
alternativele de defi nire a
unui neterminal sînt
opţionale (pot lipsi), ele se
încadrează în parantezele
drepte [, ].
 ▪ <Factor scală> ::= [+ | –] <Întreg
fără semn>
▪ definește factorul de scală ca un
număr întreg fără semn care poate fi
Exemplu precedat de + sau –.
▪ Astfel, 1, +1, –1, 20, +20, –20, +003
sînt conforme cu această definiţie,
dar 3–5 – nu.