自動機與有限狀態機方程解於數位電路最佳化之應用　（新制多年期第1年）