{ } –
такрорлашни англатади (n марта, n = 0,1,2,…. 0 конструкция мавжуд
эмаслигини англатади.)
Метабелгилик ва метабелгисиз ишоралик бутун сонлар учун коидаларни
берилишини караб чикамиз.
G = {{0,1,2,…,9},{<ишорали сон>,<сон>,<ракам>}, P,<ишорали сон>}
P = {
<ишорали сон> ::= +<сон> | -<сон>
<сон> ::= <ракам> | <ракам><сон>
<ракам> ::= 0|1|2|3|4|5|6|7|8|9
}
Иккинчи коида рекурсив.
Худди шунингдек метабелгилик ишоралик сонлардан фойдаланилган хол учун :
< ишорали сон > ::= [(+,-)] ракам{ракам}
Do'stlaringiz bilan baham: