It is common for the function tables of such computer-generated state-machines to be optimized with logic-minimization software such as Minilog.
コンピュータで生成された状態機械の機能表は、Minilogなどのロジック最小化ソフトウェアで最適化するのが一般的である。