NEW
Font size
WorksheetsMIDTERM EXAMINATION - AUTOMATA THEORY
Total questions: 50
Worksheet time: 17mins
What does the Greek word “αὐτόματα” mean?
Machine
Automatic
Handmade
Self-Acting
What field of computer science deals with the study of abstract machines, formal languages, and computational models?
Algorithm Analysis
Automata Theory
Data Structures
Artificial Intelligence
What is the best-known example of an abstract machine that can be the most general and powerful automata?
Finite State Machine
Cellular Automaton
Turing Machine
Mealy Machine
What term describes an abstract computing machine that emulates the behavior of a physical computer and runs software applications?
Emulator
Interpreter
Virtual Machine
Hypervisor
What term describes an abstract self-propelled computing device that follows a predetermined sequence of operations automatically and is implemented in hardware?
Machine
Automaton
Hardware Automata
Finite State Machine
Which of the following are not characteristics of machines in automata?
Input
Output
State
Process
Who is considered the pioneer of automata theory and the father of modern computer science?
John von Neumann
Alan Turing
Ada Lovelace
Claude Shannon
What test is used to evaluate a machine's ability to demonstrate intelligent behavior equivalent to, or indistinguishable from, that of a human?
Turing Test
Voight-Kampff Test
Lovelace Test
Chinese Room Experiment
What term refers to a collection of sentences of finite length, all constructed from a finite alphabet of symbols?
Syntax
Languages
Grammar
Lexicon
What can be regarded as a device that enumerates the sentences of a language?
Automata
Turing Machine
Grammars
Lexicon
What term describes a collection of well-defined objects or elements?
Matrices
Vectors
Sets
Scalars
What is an ordered and finite list of elements in various fields of interest, including computing?
Array
Tuple
Stack
Queue
What consists of points and lines called vertices and edges?
Polygon
Circle
Graph
Parabola
What is a collection of nodes connected by directed or undirected edges?
Graph
Tree
List
Stack
What is the name of the symbol "ε" used in formal language theory?
Delta
Lambda
Sigma
Epsilon
What computation model can be implemented with hardware or software, and is used to simulate sequential logic and some computer programs?
Turing Machine
Lambda Calculus
Finite State Machine
Cellular Automaton
True of False. Finite state automata generate regular languages
TRUE
FALSE
What type of Finite State Machine ensures that each state transition is uniquely determined by the current state and input?
Non-Deterministic Finite State Machine
Deterministic Finite State Machine
Mealy Machine
Moore Machine
What type of Finite State Machine allows multiple transitions for a given input and current state?
Deterministic Finite State Machine
Mealy Machine
Non-Deterministic Finite State Machine
Moore Machine
What type of Finite State Machine not only defines the states and transitions but also associates outputs with each transition?
Deterministic Finite State Machine
Mealy Machine
Moore Machine
Non-Deterministic Finite State Machine
What type of Finite State Machine has outputs that depend only on the current state?
Deterministic Finite State Machine
Non-Deterministic Finite State Machine
Mealy Machine
Moore Machine
True or False. Identify the different states your system can be in.
TRUE
FALSE
True or False. Determine the conditions under which your system states from one transition to another.
TRUE
FALSE
True or False. Represent the states, input events, and transitions in a tabular form or diagram.
TRUE
FALSE
True or False. Refer to the state transition table or diagram to find the appropriate transition based on the current state and input event.
FALSE
TRUE
True or False. Perform the necessary transition associated with the determined action.
FALSE
TRUE
It is a finite set of states
Q
Σ
δ
q0
F
It is a finite set of input symbols, called alphabet.
δ
Σ
F
q0
Q
It is a series of transition functions.
Σ
q0
Q
F
δ
It is the starting state.
q0
Σ
Q
F
δ
It is the set of accepting states.
Σ
q0
F
δ
Q
True or False. A language is said to be a REGULAR LANGUAGE if and only if some Finite State Machines aren't recognized it.
FALSE
TRUE
It is the set of strings that are in either L, or M, or both.
Union
Concatenation
Star
Set
It refers to the operation of combining two strings or sequences of symbols end-to-end to form a longer string.
Set
Union
Star
Concatenation
It often denoted by L*, is used to denote the Kleene star. It represents the set of all possible concatenations of zero or more strings from a given language L.
Union
Set
Star
Concatenation
True or False. In NFA, given the current state, there could be multiple next states.
FALSE
TRUE
DFA or NFA. All transitions are deterministic.
DFA
NFA
Each transition leads to one state
DFA
NFA
Accepts input if the last state visited is in F
DFA
NFA
Generally easier to construct than the other finite automata.
DFA
NFA
Transition can lead to several different states.
DFA
NFA
Dead state is required.
DFA
NFA
It allows null/epsilon transition.
DFA
NFA
It can guess the input.
DFA
NFA
Concatenation Operation refers to which of the following set operations
Union
Kleene
Dot
None
Hierarchy of languages is introduced by
Noam Chomcky
Steeve Kleen
Cook
Alan Turing
Equivalent automata that accepts regular language is
Turing Machine
Push Down Machine
Linear Bounded Automata
Finite Automata
True or False. Turing machine is a powerful model that accepts all languages.
TRUE
FALSE
There are __________ tuples in finite state machine.
4
5
6
Unlimited
The basic limitation of finite automata is that
It can't remember arbitrary large amount of information.
It sometimes recognizes grammar that are not regular.
It sometimes fails to recognize regular grammar.
All of the mentioned.
