SD02 - Finite State Machines 1

Question 1

What is a formal system?

Answer 1

A mathematical or mechanical description that defines a machine and how it works. Assertions about the operations and properties of these machines can be mathematically proven to be correct

Question 2

What are three ways of representing a finite-state machine?

Answer 2

Graphically
As a transition table
As a collection of sets and functions

Question 3

Can a finite-state machine have an infinite input or output?

Answer 3

Yes. The ‘finite’ in finite-state machine only refers to the number of states it has

Question 4

What are the four columns of a state transition table?

Answer 4

Current state, input symbol, output symbol, next state

Question 5

For a machine with n states and i input symbols, how many rows will the state transition table have?

Answer 5

n*i