# Automata - Finite Automata (State)

### Table of Contents

## 1 - About

a finite automaton has a set of states and its control moves from state to state in response to external inputs.

It has As a start and an end state and there are only a finite number of states

## 2 - Articles Related

Advertising

## 3 - Definition

A formal de definition of a finite automaton is whenever:

- an input X is received by an automaton,
- the automaton must follow an arc labeled X from the state it is in to some new state (for all states)

### 3.1 - Class

- deterministic: the automaton cannot be in more than one state at any one time
- nondeterministic: the automaton may be in several states at once

## 4 - Example

- Application - LifeCycle (State) (Request Status) Software for verifying systems of all types that have a finite number of distinct states
- A finite automata model electronic circuits.

## 5 - Implementation

The advantage of having only a finite number of states is that we can implement the system with a fixed set of resources

Example:

- Hardware: we could implement it in hardware as a circuit
- Software: to make the decision
- looking at the state
- or using the position in the code itself

Advertising

### 5.1 - Model

example: A on/off button