Finite automata, også kjent som state machines eller FSM ( finite state maskiner ), er en matematisk modell av databehandling som brukes i utformingen av dataprogrammer og sekventielle logikk kretser. De er ikke egentlige maskiner, men abstrakte maskiner som kan være i noen av et begrenset antall stater på en gang.

Mer tydeligvis er en endelig automat (singular) en maskin som kan overgå fra en stat til en annen; det reagerer med en forhåndsdefinert oppførselssekvens når den møter en bestemt hendelse. For eksempel vil en enkel, finite-automat være en t-banestasjon: Når du sveiper billetten, endres den fra en låst tilstand til en ulåst tilstand, og du kan da gå gjennom den.

Elektronikk, Logikk, Modell, Turing maskiner