Formal Language and Automata Theory notes f (1).pdf Flashcards
What is automata theory?
The basis for the theory of formal languages.
Define a symbol in the context of automata theory.
A character, an abstraction that is meaningless by itself.
What is an alphabet?
A finite set of symbols.
What is a word in automata theory?
A finite string of symbols from a given alphabet.
Define a language in automata theory.
A set of words formed from a given alphabet.
What operations can be performed on formal languages?
- Union
- Intersection
What are the three ways formal languages are defined?
- Regular expressions
- Standard automata
- Formal grammar system
What is the most general and powerful automaton?
The Turing machine.
List the four major families of automata.
- Finite-state machine
- Pushdown automata
- Linear-bounded automata
- Turing machine
What defines a finite-state machine (FSM)?
An automaton in which the state set Q contains only a finite number of elements.
Who were the first to present a description of finite automata?
Warren McCulloch and Walter Pitts in 1943.
What distinguishes a Mealy machine from a Moore machine?
A Mealy machine determines its outputs through the current state and the input, while a Moore machine’s output is based upon the current state alone.
Define the state transition function of a finite-state machine.
A function which maps an ordered sequence of input events into a corresponding sequence or set of output events.
What is a trap state in finite-state machines?
A state where no further input affects the outcome.
What is the formal definition of a finite automaton?
A 5-tuple (Q, Σ, δ, q0, F) where Q is the set of states, Σ is the input alphabet, δ is the transition function, q0 is the initial state, and F is the set of accepting states.
What does DFA stand for?
Deterministic Finite Automata.
What is the characteristic of a deterministic finite automaton (DFA)?
There is only one path for specific input from the current state to the next state.
True or False: DFA can accept the null move.
False.
What is the graphical representation of a DFA called?
State diagram.
What does the initial state of a DFA represent in a state diagram?
Marked with an arrow.
How can you describe the transition function of a DFA?
δ: Q x Σ → Q.
What is the significance of accepting states in finite automata?
If the input string ends in an accepting state, the input is considered accepted.
Fill in the blank: A finite automaton accepts or rejects an input based on a defined set of strings known as the _______.
[language of the automaton]
What is an example of a finite automaton application?
Airplane safety control.