Mesin finite-state: Perbedaan antara revisi

Mengoptimalkan FSM berarti menemukan mesin dengan jumlah status minimum yang menjalankan fungsi yang sama. Algoritma tercepat yang diketahui melakukan ini adalah algoritma minimisasi Hopcroft.<ref>{{Cite book|last=Hopcroft|first=John|date=1971|url=http://dx.doi.org/10.1016/b978-0-12-417750-5.50022-1|title=Theory of Machines and Computations|publisher=Elsevier|isbn=978-0-12-417750-5|pages=189–196}}</ref><ref>{{Cite book|last=Almeida|first=André|last2=Almeida|first2=Marco|last3=Alves|first3=José|last4=Moreira|first4=Nelma|last5=Reis|first5=Rogério|date=2009|url=http://dx.doi.org/10.1007/978-3-642-02979-0_10|title=Implementation and Application of Automata|location=Berlin, Heidelberg|publisher=Springer Berlin Heidelberg|isbn=978-3-642-02978-3|pages=65–74}}</ref> Teknik lain ini termasuk menggunakan tabel implikasi, atau prosedur pengurangan Moore. Selain itu, FSA asiklik dapat diminimalkan dalam waktu linier. <ref>{{Cite journal|last=Revuz|first=Dominique|date=1992-01|title=Minimisation of acyclic deterministic automata in linear time|url=https://linkinghub.elsevier.com/retrieve/pii/0304397592901423|journal=Theoretical Computer Science|language=en|volume=92|issue=1|pages=181–189|doi=10.1016/0304-3975(92)90142-3}}</ref>

Mengoptimalkan FSM berarti menemukan mesin dengan jumlah status minimum yang menjalankan fungsi yang sama. Algoritma tercepat yang diketahui melakukan ini adalah [[algoritma minimisasi Hopcroft.]]<ref>{{Cite book|last=Hopcroft|first=John|date=1971|url=http://dx.doi.org/10.1016/b978-0-12-417750-5.50022-1|title=Theory of Machines and Computations|publisher=Elsevier|isbn=978-0-12-417750-5|pages=189–196}}</ref><ref>{{Cite book|last=Almeida|first=André|last2=Almeida|first2=Marco|last3=Alves|first3=José|last4=Moreira|first4=Nelma|last5=Reis|first5=Rogério|date=2009|url=http://dx.doi.org/10.1007/978-3-642-02979-0_10|title=Implementation and Application of Automata|location=Berlin, Heidelberg|publisher=Springer Berlin Heidelberg|isbn=978-3-642-02978-3|pages=65–74}}</ref> Teknik lain ini termasuk menggunakan [[tabel implikasi]], atau prosedur pengurangan Moore. Selain itu, FSA asiklik dapat diminimalkan dalam waktu linier. <ref>{{Cite journal|last=Revuz|first=Dominique|date=1992-01|title=Minimisation of acyclic deterministic automata in linear time|url=https://linkinghub.elsevier.com/retrieve/pii/0304397592901423|journal=Theoretical Computer Science|language=en|volume=92|issue=1|pages=181–189|doi=10.1016/0304-3975(92)90142-3}}</ref>