2006-10-012024-05-15https://scholars.lib.ntu.edu.tw/handle/123456789/664157自動機與有限狀態機方程解於數位電路最佳化之應用