editor
177
правок
Изменения
м
Пропущенная запятая
Теперь, когда мы научились по <tex> R(\alpha) </tex> строить <tex> R(\alpha c)</tex>, возьмем <tex> R(\varepsilon) </tex> и будем последовательно вычислять <tex>R(w[1]\ldots w[k])</tex> для <tex>k=1..|w|</tex>.
Таким образом, мы получим <tex>R(w)</tex>, и всё , что осталось — проверить, есть ли в нём терминальное состояние.
===Псевдокод===
