Finite State Machines Flashcards
Automata theory
Using logic to solve computational problems using abstract machines & automata
What are automatons?
An abstract self-propelled computing device which follows a predetermined sequence of operation automatically
3 features of an automated machine
Inputs, Outputs, States
Examples of automated machine
Finite state machine, State transition diagrams, Turing machines
Finite state machines
An abstract model that has finite number of states and can only be in one state at a time but changes based on input
S
a finite set of states
S0
the initial state (node)
X (or Σ)
the finite input alphabet/set
Y (or ω)
the finite output alphabet/set
δ
the state transfer function (edges)
Λ
the output function
Input symbols
set I with k being the number of inputs
Output symbols
set Z with m being the number of outputs
States
set Q