什麼是電子關閉（r）在以下NFA

Question

對不起，我不能在這裏提供圖片...我無法上傳圖片...所以..我會給出問題的轉換表。

(S/I)....a...b.....c.......e(elipson) 


p>.......{p}.....{q}...{r} ..¤(phi) 


q>.......{q} ....{r} ..¤.... {p} 


r(final)>..{r}...¤....{p}....{q} 

這裏¤是班派
p爲起始狀態
，R是最終狀態

我的疑問是......會通過關閉最終狀態{r}已開始狀態{p} .... ..，即使起始狀態不會通過elipson直接達到最終狀態 .....但是...最終狀態通過elipson達到起始狀態爲狀態{q}然後到起始狀態{p}

在我的書，它被賦予的是

e-closure (r)={r,q} 

但我的問題是，爲什麼不...... {P，Q，R} ......而最終狀態{r}在到達起始狀態{p}以及...

Answer 1

ε-closure（s）是一組可從NFA狀態ε-transitions單獨到達的NFA狀態。

你的想法是對的。請按照上述定義。因此，ε-閉包（r）=單獨的ε-轉變= {p，q，r}時從NFA狀態r可到達的NFA狀態的集合。因此，你的書有錯誤地計算它。

答案必須是{p，q，r}。

注意包含狀態{r}，因爲一個狀態將始終保持在ε-過渡處。狀態{p}是可能的，因爲p可以通過ε-轉變從NFA狀態q到達，這可以從ε-轉變的NFA狀態r得到。