Jabarkan Optimisasi dari Mesin finite-state

Mengoptimalkan FSM berarti menemukan mesin dengan jumlah status minimum yang menjalankan fungsi yang sama. Algoritma tercepat yang diketahui melakukan ini adalah algoritma minimisasi Hopcroft. Teknik lain ini termasuk menggunakan tabel implikasi, atau prosedur pengurangan Moore.  Selain itu, FSA asiklik dapat diminimalkan dalam waktu linier.