Editing Finite-state machine (section)

== Alternative semantics ==
There are other sets of semantics available to represent state machines. For example, there are tools for modeling and designing logic for embedded controllers.<ref>{{cite web|url=http://www.csl.sri.com/users/tiwari/papers/stateflow.pdf|title=Tiwari, A. (2002). Formal Semantics and Analysis Methods for Simulink Stateflow Models.|website=sri.com|access-date=14 April 2018}}</ref> They combine [[UML state machine#Hierarchically nested states|hierarchical state machines]] (which usually have more than one current state), flow graphs, and [[truth table]]s into one language, resulting in a different formalism and set of semantics.<ref>{{cite conference | citeseerx = 10.1.1.89.8817 | last = Hamon | first = G. | year = 2005 | title = A Denotational Semantics for Stateflow | conference = International Conference on Embedded Software | pages = 164–172 | location = Jersey City, NJ | publisher = ACM }}</ref> <!---Fig.8 has been deleted; it didnt't match this description, anyway---Figure 8 illustrates this mix of state machines and flow graphs with a set of states to represent the state of a stopwatch and a flow graph to control the ticks of the watch.---> These charts, like [[David Harel|Harel's]] original state machines,<ref>{{Cite web |url=http://www.fceia.unr.edu.ar/asist/harel01.pdf |title=Harel, D. (1987). A Visual Formalism for Complex Systems. Science of Computer Programming, 231–274. |access-date=7 June 2011 |archive-url=https://web.archive.org/web/20110715110405/http://www.fceia.unr.edu.ar/asist/harel01.pdf |archive-date=15 July 2011 |url-status=dead }}</ref> support hierarchically nested states, [[UML state machine#Orthogonal regions|orthogonal regions]], state actions, and transition actions.<ref>{{cite web |url = http://drona.csa.iisc.ernet.in/~kanade/publications/symbolic_analysis_for_improving_simulation_coverage_of_simulink_stateflow_models.pdf |title = Alur, R., Kanade, A., Ramesh, S., & Shashidhar, K. C. (2008). Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. International Conference on Embedded Software (pp. 89–98). Atlanta, GA: ACM. |archive-url=https://web.archive.org/web/20110715110405/http://drona.csa.iisc.ernet.in/~kanade/publications/symbolic_analysis_for_improving_simulation_coverage_of_simulink_stateflow_models.pdf |archive-date=15 July 2011 |url-status=dead}}</ref>