Finite status machine (status 是有限的)

1. 一種抽象數學模型
   1. status
   2. an input to make : a → b status
   3. a → b status : transition
   4. define by a list of states (ex aaabbbb)
   5. Kleene’s theory regular expression 跟 finite automata 可以互換 (RE = FA)

Finite status

1. 負號為起點/加號為終點 / 沒有加號的終點也是可以
2. 負號的起點只有一個，可以有很多加號的終點
3. states 跟states 之間要有連結 ex a, b connection

1. set = (a+b)* → a跟b 所有的集合 regular expression → any word
2. a(a+b)*
   1. 如果一開始走 a (aaabbb)→ 走 a 路徑 → any word
   2. 如果一開始走 b (bbbaaa)→ 走b 路徑 → none status (不會被finite automata 接受)