3622
правки
Изменения
→Пример: прихорашивание таблички
|}
{| class="wikitable" style="border:solid 2px gray"!style="border-right:solid 2px gray"|<tex>\mathtt{Q}</tex>!style="border-right:solid 2px gray" colspan=5| <tex>\mathtt{isEpsilon}</tex>!style="border-right:solid 2px gray" colspan=5| <tex>\mathtt{counter}</tex>
!Комментарий
|-
|-
|0
|0
|0
|style="border-right:solid 2px gray"|0
|3
|2
|0
|2
|style="border-right:solid 2px gray"|0
|-
|style="border-top:solid 2px gray; border-right:solid 2px gray" rowspan=2|<tex>\left \{A,C \right \}</tex>!style="border-top:solid 2px gray"|<tex>S</tex>!style="border-top:solid 2px gray"|<tex>A</tex>!style="border-top:solid 2px gray"|<tex>B</tex>!style="border-top:solid 2px gray"|<tex>C</tex>!style="border-top:solid 2px gray; border-right:solid 2px gray"|<tex>D</tex>!style="border-top:solid 2px gray"|1!style="border-top:solid 2px gray"|2!style="border-top:solid 2px gray"|3!style="border-top:solid 2px gray"|4!style="border-top:solid 2px gray; border-right:solid 2px gray"|5|style="border-top:solid 2px gray" rowspan=2 |Заметим, что правила 3 и 5 являются <tex>\varepsilon</tex>-правилами. Пометим левые нетерминалы из этих правил и добавим их в очередь. После этого в <tex>\mathtt{Q}</tex> лежит <tex>A</tex> и <tex>C</tex>, а <tex>\mathtt{counter}</tex> остался без изменений.
|-
|0
|0
|1
|style="border-right:solid 2px gray"|0
|3
|2
|0
|2
|style="border-right:solid 2px gray"|0
|-
|style="border-top:solid 2px gray; border-right:solid 2px gray" rowspan=2|<tex>\left\{C \right\}</tex>!style="border-top:solid 2px gray"|<tex>S</tex>!style="border-top:solid 2px gray"|<tex>A</tex>!style="border-top:solid 2px gray"|<tex>B</tex>!style="border-top:solid 2px gray"|<tex>C</tex>!style="border-top:solid 2px gray; border-right:solid 2px gray"|<tex>D</tex>!style="border-top:solid 2px gray"|1!style="border-top:solid 2px gray"|2!style="border-top:solid 2px gray"|3!style="border-top:solid 2px gray"|4!style="border-top:solid 2px gray; border-right:solid 2px gray"|5|style="border-top:solid 2px gray" rowspan=2|Достанем из очереди <tex>A</tex>, декрементируем те счетчики, которые относятся к связанным с ним правилам. К очереди ничего не добавится.
|-
|0
|0
|1
|style="border-right:solid 2px gray"|0
|2
|2
|0
|1
|style="border-right:solid 2px gray"|0
|-
|style="border-top:solid 2px gray; border-right:solid 2px gray" rowspan=2|<tex>\left\{B \right\}</tex>!style="border-top:solid 2px gray"|<tex>S</tex>!style="border-top:solid 2px gray"|<tex>A</tex>!style="border-top:solid 2px gray"|<tex>B</tex>!style="border-top:solid 2px gray"|<tex>C</tex>!style="border-top:solid 2px gray; border-right:solid 2px gray"|<tex>D</tex>!style="border-top:solid 2px gray"|1!style="border-top:solid 2px gray"|2!style="border-top:solid 2px gray"|3!style="border-top:solid 2px gray"|4!style="border-top:solid 2px gray; border-right:solid 2px gray"|5|style="border-top:solid 2px gray" rowspan=2|Достанем из очереди <tex>C</tex>. После проведения действий из алгоритма в очередь добавится <tex>B</tex>.
|-
|0
|1
|1
|style="border-right:solid 2px gray"|0
|1
|2
|0
|0
|style="border-right:solid 2px gray"|0
|-
|style="border-top:solid 2px gray; border-right:solid 2px gray" rowspan=2|<tex>\left\{S \right\}</tex>!style="border-top:solid 2px gray"|<tex>S</tex>!style="border-top:solid 2px gray"|<tex>A</tex>!style="border-top:solid 2px gray"|<tex>B</tex>!style="border-top:solid 2px gray"|<tex>C</tex>!style="border-top:solid 2px gray; border-right:solid 2px gray"|<tex>D</tex>!style="border-top:solid 2px gray"|1!style="border-top:solid 2px gray"|2!style="border-top:solid 2px gray"|3!style="border-top:solid 2px gray"|4!style="border-top:solid 2px gray; border-right:solid 2px gray"|5|style="border-top:solid 2px gray" rowspan=2|Достанем из очереди <tex>B</tex>. После действий алгоритма в очередь добавится <tex>S</tex>.
|-
|1
|1
|1
|style="border-right:solid 2px gray"|0
|0
|2
|0
|0
|style="border-right:solid 2px gray"|0
|-
|style="border-top:solid 2px gray; border-right:solid 2px gray" rowspan=2|<tex>\left\{ \right\}</tex>!style="border-top:solid 2px gray"|<tex>S</tex>!style="border-top:solid 2px gray"|<tex>A</tex>!style="border-top:solid 2px gray"|<tex>B</tex>!style="border-top:solid 2px gray"|<tex>C</tex>!style="border-top:solid 2px gray; border-right:solid 2px gray"|<tex>D</tex>!style="border-top:solid 2px gray"|1!style="border-top:solid 2px gray"|2!style="border-top:solid 2px gray"|3!style="border-top:solid 2px gray"|4!style="border-top:solid 2px gray; border-right:solid 2px gray"|5|style="border-top:solid 2px gray" rowspan=2|Достанем из очереди <tex>S</tex>. Ничего не добавится в очередь и она останется пустой. Алгоритм закончил свое выполнение. Итого в множество <tex>\varepsilon</tex>-правил входят все нетерминалы, кроме <tex>D</tex>.
|-
|1
|1
|1
|style="border-right:solid 2px gray"|0
|0
|1
|0
|0
|style="border-right:solid 2px gray"|0
|}
