Regular Machines Flashcards
What are the tuples for a regular emitter machine?
G :: = < Q, q0, Γ, λ, δ, F >
Q = finite set of all states the machine goes through
q0 = initial state
Γ = set of symbols the machine uses to construct output string
λ = Q → Γ; output function that prescribes (lays down the rule for) the output of the machine at its current state
δ = state transition function
F = final state
What are the kinds of regular machines?
- Partial regular machine
- Total regular machine
What are the types of Partial regular machines?
- Regular Acceptor Automata
- Regular Emitter Automata
What is a state?
A state is an internal configuration an agency may assume during its operation.
What is a home state?
A home state is the state an agency prefers to stay in.
What is a cell?
A cell is a placeholder for a single bit.
What is a register?
A register is a placeholder structure.
What is a Regular Acceptor Automata? (Explanation)
An automata that reads or accepts an input string. It has no output, but changes its state to a final state after processing the last symbol in the string.
What is the formal definition (tuples) of a Regular Acceptor Automata?
It is defined as five tuples, which are
RAA::= <Q, qo Σ, δ, F>
Q = countable set of all states the machine goes through
qo = the initial state
Σ = set of valid symbols the machine can accept
δ = is a transition function which prescribes the transition from the machine’s current state to another state on processing the input symbol
F = countable set of final states
List the steps in designing an abstract machine.
A: Understand the problem
* Give the machine a name
* Construct the narrative of the machine
* You can design the grammar here.
B: Process Identification
* Identify the input and output
* Identify the state and transition
* Assignment symbols to the inputs and outputs for regular machine
C: Automata formulation
* Construct and explain the formula for the formal representation of alphabet, states, and transition function.
D: Machine Design
* Represent components and operations of the machine using State Diagram
E: Machine Simulation
* Explain how the machine processes certain input cases using the Machine Process Execution Table
F: Evaluate or improve
* Determine if the machine runs as expected.