這門課基本上在講述較為抽象的動態系統,自動機是法國動態系統學派一個相當重要的工具,比較偏向計算機方面的決定性(Decidability)等問題與技巧。屬於進階的課程,但所需要的相關背景知道都會在課程中補充,大四以上的學生應該都可以聽得懂。

Textbook: Cellular Automata and Groups; Tullio Ceccherini-Silberstein and Michel Coornaert; Springer, 2010.
1Know網站課程代碼:89741A

底下為各個章節的播放清單,如果想單獨看每個小節列表,請到1Know網站註冊我的課程(免費的唷)。

  1. Cellular Automata
  2. Residually Finite Groups
  3. Surjunctive Groups
  4. Amenable Groups
  5. Garden of Eden Theorem
  6. Finitely Generated Amenable Groups
  7. Local Embeddability and Sofic Groups
  8. Linear Cellular Automata