形式語言與自動機_筆記整理(五)_遷移系統

Transition System Transition system homomorphism The free product of transition systems The synchronous product of transition systems Modeling sequential circuits Model logical dynamical system Model

>>阅读原文<<