2012-12-19 14 views
0

enter image description here 考慮DFA:如何解決這個DFA的δ(A,01)?

什麼將δ(A,01)等於? 選項:

A) {D}  
B) {C,D}  
C) {B,C,D}  
D) {A,B,C,D} 

正確答案是選項B),但我不明白如何。請有人向我解釋解決問題的步驟,以及一般情況下我們如何解決任何DFA和任何轉換問題?

謝謝。

+0

11 views但是沒有回覆:(這是一個如此難以理解的概念嗎? –

回答

2

B)選項是不正確的答案!爲此轉換圖。

在轉換圖(TG)符號ε裝置NULL-移動ε-move)。 TG中有兩個NULL移動。

One:  (A) --- `ε` ---->(B) 
Second: (A) --- `ε` ---->(C) 

A ε-move表示不消耗任何符號可以改變狀態。在你的圖中A to BA to C

什麼將δ(A,01)等於?

問題問「如果輸入是什麼,是從國家A路徑01」。 (我的理解,因爲僅存在一個最終狀態)

01可以在以下兩種方式之一來處理。

  • (A) - ε--->(B) - 0 - >(B) - 1 - >(d)

  • (A) - ε--->(C) - 0 - >(B) - 1 - >(d)

而且,沒有其他的方式,即使處理字符串01你不不想達到最終狀態。

[ANSWER]
因此,有問題的排錯(或任你所做的那樣)。

你可以學習如何從過渡曲線空着。 HOW TO WRITE REGULAR EXPRESSION FOR A DFA

如果您從TG中移除空移動,您將有三種方法接受01

TG

等效轉換圖沒有空置MOVE

注有三種啓動,狀態圖中。

方式三:

{ABD} 
{CBD} 
{BBD}  

在所有選項state-(B)必須要來。

另外,你寫的Consider the DFA :是錯誤的。 TG不是確定性的,因爲存在非確定性移動δ(A,ε),並且接下來的狀態是B或C.

+1

非常感謝格里傑什努力回答這個:) –

+0

@BriteRoy歡迎Brite Roy :) –