構造正則表達式對應的有限狀態自動機。我的解決方案正確嗎？

Question

我在塗料中繪製了我的答案，它們是正確的嗎？

（4C）對於字母表{0，1}構造對應於下列每個正則表達式的無限狀態自動機：

（ⅰ）0

（ⅱ）1 | 0

（III）0 *（1 | 0）

Answer 1

前兩個是正確的，雖然第一個可能能夠被寫爲（取決於你大會

(0) -- 0 --> ((1)) 

最後一個也是正確的，但可以簡化爲（每當你有ε出現，有可能是一種方法來壓縮邊緣和狀態一起去除它）

+- 0 -+ 
    |  | 
    v  | 
(0) ---+ 
/\ 
1 0 
\/
    v 
((1)) 

（打擾我ascii圖。我使用(..)每個狀態，並((..))的最終狀態。）

注意，0*基本上是從一個狀態到自身的循環，因爲讀一0剩餘的正則表達式匹配後是相同的（只要因爲我們不在字符串的末尾）。