2.     a.  Not regular . 包含無限循環小數

        b. (a|b)(0|1|a|b)

        c. Not regular. (you can get the proof from TA)

       d.drawing1.jpg

       e.drawing2.jpg

    �

  2. 第2,3題別忘了要把state編號並simulate 'ababbab'

         如果把DFA/NFA的組成過程or簡化過程列出更好

        (simulate 很簡單,不列上來了)

       由於VISIO 不支援TrueType數學字型的轉圖.所以empty transition沒列symbol. 想拿VSD有transition的人直接來找TA.

         a .Drawing3.jpg 

         b. Drawing4.jpg  

  3. 詳細的DFA如果是使用展開法並且沒有先將題2的NFA簡化將很複雜. 答案的簡單版如下:

    4. a.   簡略為: Drawing5.jpg

    b.  簡略為: Drawing6.jpg

    5. a.   Drawing7.jpg

    b.  Drawing8.jpg