Editing Finite-state machine (section)

== Optimization ==
{{Main|DFA minimization}}
Optimizing an FSM means finding a machine with the minimum number of states that performs the same function. The fastest known algorithm doing this is the [[DFA minimization#Hopcroft's algorithm|Hopcroft minimization algorithm]].<ref>{{Cite FTP |last=Hopcroft |first=John E. |year=1971 |title=An ''n'' log ''n'' algorithm for minimizing states in a finite automaton |volume=CS-TR-71-190 |type=Technical Report |server=Stanford Univ. |url-status=dead |url=ftp://reports.stanford.edu/pub/cstr/reports/cs/tr/71/190/CS-TR-71-190.pdf }}</ref><ref>{{cite report|last1= Almeida|first1= Marco|last2= Moreira|first2= Nelma|last3= Reis|first3= Rogerio|year= 2007|title= On the performance of automata minimization algorithms|url= http://www.dcc.fc.up.pt/dcc/Pubs/TReports/TR07/dcc-2007-03.pdf|type= Technical Report|volume= DCC-2007-03|publisher= Porto Univ.|access-date= 25 June 2008|archive-url= https://web.archive.org/web/20090117201637/http://www.dcc.fc.up.pt/dcc/Pubs/TReports/TR07/dcc-2007-03.pdf|archive-date= 17 January 2009|url-status= dead|df= dmy-all}}</ref> Other techniques include using an [[implication table]], or the Moore reduction procedure.<ref>{{cite journal | author=Edward F. Moore | title=Gedanken-Experiments on Sequential Machines | editor=C.E. Shannon and J. McCarthy | journal=Annals of Mathematics Studies | publisher=Princeton University Press | volume=34 | pages=129&ndash;153 | year=1956 }} Here: Theorem 4, p.142.</ref> Additionally, acyclic FSAs can be minimized in [[linear time]].<ref>{{cite journal|last=Revuz |first=D. |title=Minimization of Acyclic automata in Linear Time| journal= Theoretical Computer Science |volume=92 |date=1992| pages= 181–189 |doi=10.1016/0304-3975(92)90142-3|doi-access=}}</ref>