HIV AIDS 特效藥 參考資料：An Introduction to FORMAL LANGUAGES and AUTOMATA 4th edition, PETER LINZ, Jones and Bartlett Publishers { Turing Machines as Transducers Ch9 p232 *香菜 form 2階 泰勒展開式 M: Turing machine transducer 實作 f- 大蒜 必加 毛地黃 } A型血 --_------_----- A型血之外 ；O型、B型、AB型. 芋或雷公根擇一 Ch 14.6 Polynomial-Time Reduction Ex 14.9 use CNF expression from the SAT form to 3SAT 酒過三巡 3SAT