Недетерминированные конечные акцепторы основной вопрос - PullRequest
Новая
       15

Недетерминированные конечные акцепторы основной вопрос

0 голосов
/ 03 апреля 2019

Во время изучения лекции по классу автоматов у меня есть очень простой вопрос по nfa.

Q0-a> Q1-лямбда> Q2

Если график выглядит так, (я не могуразмещать изображения еще, FYI Q0-a> Q1 означает, что есть ребро (q0, q1) с пометкой a) Могу ли я сказать, что delta (q0, a) = q2?Я думаю, что мой вопрос немного глуп, но я хочу знать ответ!

1 Ответ

1 голос
/ 03 апреля 2019

Да, если график выглядит как 

(q0) --a--> (q1) --e--> (q2)

Тогда будет справедливо сказать, что 

delta(q0, a) = (q1)

Теперь это не означает, что (q1) является единственным состояниемдостижимы с (q0), потребляя один a.Вместо этого обычно выполняется другая функция delta*, возможно, от пар наборов состояний и символов до других наборов состояний, так что 

delta*({(q0)}, a) = {(q1), (q2)}

Если вы хотите быть уверенным, укажитедомен и кодомен delta для устранения путаницы.

...