Finite-state machine - Revision history

Karl Jones: /* See also */

2016-08-26T19:15:41Z

‎See also

Karl Jones: /* See also */

2016-05-29T13:53:15Z

‎See also

Karl Jones at 13:49, 29 May 2016

2016-05-29T13:49:48Z

Karl Jones at 10:31, 25 April 2016

2016-04-25T10:31:08Z

Karl Jones: Created page with "A '''finite-state machine''' ('''FSM''') or '''finite-state automaton''' (plural: automata), or simply a '''state machine''', is a mathematical model of computation used t..."

2016-03-03T12:58:44Z

Created page with "A '''finite-state machine''' ('''FSM''') or '''finite-state automaton''' (plural: automata), or simply a '''state machine''', is a mathematical model of computation used t..."

New page

A '''finite-state machine''' ('''FSM''') or '''finite-state automaton''' (plural: automata), or simply a '''state machine''', is a [[mathematical model of computation]] used to design both [[Computer program|computer programs]] and sequential logic circuits.

== Description ==

It is conceived as an [[abstract machine]] that can be in one of a finite number of states.

The machine is in only one state at a time; the state it is in at any given time is called the current state.

It can change from one state to another when initiated by a triggering event or condition; this is called a transition. A particular FSM is defined by a list of its states, and the triggering condition for each transition.

The behavior of state machines can be observed in many devices in modern society that perform a predetermined sequence of actions depending on a sequence of events with which they are presented.

Simple examples are vending machines, which dispense products when the proper combination of coins is deposited, elevators, which drop riders off at upper floors before going down, traffic lights, which change sequence when cars are waiting, and combination locks, which require the input of combination numbers in the proper order.

Finite-state machines can model a large number of problems, among which are electronic design automation, communication protocol design, language parsing and other engineering applications.

In biology and [[artificial intelligence]] research, state machines or hierarchies of state machines have been used to describe neurological systems. In linguistics, they are used to describe simple parts of the grammars of natural languages.

== Abstract model of computation ==

Considered as an abstract model of computation, the finite state machine is weak; it has less computational power than some other models of computation such as the [[Turing machine]].

That is, there are tasks that no FSM can do, but some Turing machines can. This is because the FSM memory is limited by the number of states.

FSMs are studied in the more general field of [[automata theory]].

== See also ==

* [[Abstract machine]]
* [[Automata theory]]
* [[Computer science]]
* [[Mathematics]]
* [[Turing machine]]

== External links ==

* [https://en.wikipedia.org/wiki/Finite-state_machine Finite-state machine] @ Wikipedia

@@ Line 28: / Line 28: @@
 * [[Abstract machine]]
-* [[Abstract state machines]] (ASM)
+* [[Abstract state machine]] (ASM)
 * [[Artificial intelligence]] (AI)
 * [[Abstract State Machine Language]] (AsmL)

← Older revision		Revision as of 13:49, 29 May 2016
Line 1:		Line 1:
−	A '''finite-state machine''' ('''FSM''') or '''finite-state automaton''' (plural: automata), or simply a '''state machine''', is a [[mathematical model of computation]] used to design both [[Computer program\|computer programs]] and sequential logic circuits.	+	[[File:Automata theory.svg\|thumb\|Chart showing principles of [[automata theory]].]]A '''finite-state machine''' ('''FSM''') or '''finite-state automaton''' (plural: automata), or simply a '''state machine''', is a [[mathematical model of computation]] used to design both [[Computer program\|computer programs]] and sequential logic circuits.

	== Description ==		== Description ==

← Older revision		Revision as of 10:31, 25 April 2016
Line 36:		Line 36:

	* [https://en.wikipedia.org/wiki/Finite-state_machine Finite-state machine] @ Wikipedia		* [https://en.wikipedia.org/wiki/Finite-state_machine Finite-state machine] @ Wikipedia
		+
		+
		+	[[Category:Computation]]
		+	[[Category:Mathematics]]
		+	[[Category:Models]]

@@ Line 28: / Line 28: @@
 * [[Abstract machine]]
 * [[Automata theory]]
 * [[Computer science]]
 * [[Mathematics]]
 * [[Turing machine]]
 == External links ==