Формальные языки, грамматики и основы построения трансляторов. Кревский И.Г - 58 стр.

UptoLike

58
изображается ребром, помеченным символом B, заключенным в
прямоугольник:
B
А4. Порождающее правило, имеющее вид A::= β
1
| β
2
|...| β
n
β
1
β
2
β
n
. . .
отображается в граф, где каждое
β
i
получено применением правил А2-А6
к β
i
.
А5. Строка β, имеющая вид β=α
1
α
2
... α
m
отображается в граф
a
1
a
2
. . .
a
m
где каждое
a
i
получено применением правил А2-А6 к α
i
.
А6. Строка β, имеющая вид β={α}* отображается в граф
a
где
a
получено применением правил А2-А6 к α .
Пример
.
A::=x | (B),
B::=AC
C::={+A}*
Здесь "+", "x", "(" и ")" – терминальные символы, а "{" и "}" являются
метасимволами. Язык, порождаемый из A, состоит из выражений с
операндами x, знаком операции "+" и скобками.
                                                                                           58
изображается                   ребром,    помеченным         символом   B,   заключенным   в
прямоугольник:

                           B



         А4. Порождающее правило, имеющее вид A::= β1 | β2 |...| βn
                      β1



                      β2


                      ...

                      βn



                                                 βi
отображается в граф, где каждое                            получено применением правил А2-А6
к βi .


         А5. Строка β, имеющая вид β=α1 α2 ... αm отображается в граф
             a1                a2        ...          am


                      ai
где каждое                     получено применением правил А2-А6 к αi .


         А6. Строка β, имеющая вид β={α}* отображается в граф

                  a


         a
где               получено применением правил А2-А6 к α .
Пример.
         A::=x | (B),
         B::=AC
         C::={+A}*
         Здесь "+", "x", "(" и ")" – терминальные символы, а "{" и "}" являются
метасимволами. Язык, порождаемый из A, состоит из выражений с
операндами x, знаком операции "+" и скобками.