Formala gramatiko: Malsamoj inter versioj
| [nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Kani (diskuto | kontribuoj) Neniu resumo de redakto |
Kani (diskuto | kontribuoj) Neniu resumo de redakto |
||
Linio 79:
== Ekzemploj de gramatiko kaj inferenco ==
Ni konsideru lingvon de simplaj [[aritmetiko|aritmetikaj]] esprimoj, kiuj konsistas el [[natura nombro|naturaj nombroj]], parentezoj kaj signoj de aritmetikaj operacioj. Ni
σ={'0','1','2','3','4','5','6','7','8','9','+','-','*','/','(',')'}
Linio 98:
2. <tt> '''Formulo''' <math>\rightarrow\!\,</math> '''Nombro''' </tt> (formulo estas nombro)
3. <tt> '''Formulo''' <math>\rightarrow\!\,</math> ('''Formulo''')</tt> (formulo estas formulo en parentezoj)
4. <tt> '''Signo''' <math>\rightarrow\!\,</math> + | - | * | / </tt> (signo estas plus
5. <tt> '''Nombro''' <math>\rightarrow\!\,</math> '''Cifero''' </tt> (nombro estas cifero)
6. <tt> '''Nombro''' <math>\rightarrow\!\,</math> '''Nombro''' '''Cifero''' </tt> (nombro estas nombro kaj cifero)
7. <tt> '''Cifero''' <math>\rightarrow\!\,</math> 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9</tt> (cifero estas 0 aŭ 1 aŭ ... 9 )
==== Ekzemploj de inferenco ====
Ni nun inferu la formulon 12*5+3 per tiu ĉi gramatiko.
| |||