確定性有限自動機模式

Question

我正在嘗試使用Deterministic Finite Automata來解決這個問題：

inputs:     {a,b}
conditions: 
a. must have exactly 2 a  
b. have more than 2 b

所以正確的輸入應該像這個abbba或bbbaa或babab

現在我的問題是，“有沒有解決這個問題的模式？”

Answer 1

是的，有一種模式。 您可以從中獲取每個語句並從中扣除預先狀態。 然后你采用那些包含最終狀態的前置狀態的交叉積。 在這個例子中：

一種。 將產生狀態：0a，1a，2a，2 + a（你已經看到0 a，1 a，2或2或2）b。 將產生狀態：0b，1b，2b，2 + b（你已經看到0 b，1b，2 bs或超過2 bs）

這些狀態的叉積導致4x4 = 16個狀態。 你將從{0a，0b}州開始。 輸入可以是3種類型：a，b或其他類型。 從那以后你應該可以去。 你需要更多幫助嗎？

（我們在解決作業嗎？）

Answer 2

總是先畫這些東西。

隨意給各州任何意義。 你需要的是像： q2: (1 b, 2 a's) 。 繪制這樣的狀態，直到接受狀態並用線連接它們。 接受狀態是qx: 2 a's 3 b's 。

在達到接受狀態后，如果輸入為“b”，則該行進入自身，即接受狀態。 如果輸入是“a”，則繪制一個新狀態，無論輸入是什么，它都將進入無限循環並進入自身。

（我們在這里幫助考試嗎？）