wayground logo

Free Printable Worksheets

NEW

Font size

S
M
L
XL
Worksheets

MIDTERM EXAMINATION - AUTOMATA THEORY

Total questions: 50

Worksheet time: 17mins

Name
Class
Date
1.
  1. What does the Greek word “αὐτόματα” mean?

a)

Machine

b)

Automatic

c)

 Handmade 

d)

Self-Acting

2.

What field of computer science deals with the study of abstract machines, formal languages, and computational models?

a)

Algorithm Analysis

b)

Automata Theory

c)

Data Structures

d)

Artificial Intelligence

3.

What is the best-known example of an abstract machine that can be the most general and powerful automata?

a)

Finite State Machine

b)

Cellular Automaton

c)

Turing Machine

d)

Mealy Machine

4.

What term describes an abstract computing machine that emulates the behavior of a physical computer and runs software applications?

a)

Emulator

b)

Interpreter

c)

Virtual Machine

d)

Hypervisor

5.

What term describes an abstract self-propelled computing device that follows a predetermined sequence of operations automatically and is implemented in hardware?

a)

Machine

b)

Automaton

c)

Hardware Automata

d)

Finite State Machine

6.

Which of the following are not characteristics of machines in automata?

a)

Input

b)

Output

c)

State

d)

Process

7.

Who is considered the pioneer of automata theory and the father of modern computer science?

a)

John von Neumann

b)

Alan Turing

c)

Ada Lovelace

d)

Claude Shannon

8.

What test is used to evaluate a machine's ability to demonstrate intelligent behavior equivalent to, or indistinguishable from, that of a human?

a)

Turing Test

b)

Voight-Kampff Test

c)

Lovelace Test

d)

Chinese Room Experiment

9.

What term refers to a collection of sentences of finite length, all constructed from a finite alphabet of symbols?

a)

Syntax

b)

Languages

c)

Grammar

d)

Lexicon

10.

What can be regarded as a device that enumerates the sentences of a language?

a)

Automata

b)

Turing Machine

c)

Grammars

d)

Lexicon

11.

What term describes a collection of well-defined objects or elements?

a)

Matrices

b)

Vectors

c)

Sets

d)

Scalars

12.

What is an ordered and finite list of elements in various fields of interest, including computing?

a)

Array

b)

Tuple

c)

Stack

d)

Queue

13.

What consists of points and lines called vertices and edges?

a)

Polygon

b)

Circle

c)

Graph

d)

Parabola

14.

What is a collection of nodes connected by directed or undirected edges?

a)

Graph

b)

Tree

c)

List

d)

Stack

15.

What is the name of the symbol "ε" used in formal language theory?

a)

Delta

b)

Lambda

c)

Sigma

d)

Epsilon

16.

What computation model can be implemented with hardware or software, and is used to simulate sequential logic and some computer programs?

a)

Turing Machine

b)

Lambda Calculus

c)

Finite State Machine

d)

Cellular Automaton

17.

True of False. Finite state automata generate regular languages

a)

TRUE

b)

FALSE

18.

What type of Finite State Machine ensures that each state transition is uniquely determined by the current state and input?

a)

Non-Deterministic Finite State Machine

b)

Deterministic Finite State Machine

c)

Mealy Machine

d)

Moore Machine

19.

What type of Finite State Machine allows multiple transitions for a given input and current state?

a)

Deterministic Finite State Machine

b)

Mealy Machine

c)

Non-Deterministic Finite State Machine

d)

Moore Machine

20.

What type of Finite State Machine not only defines the states and transitions but also associates outputs with each transition?

a)

Deterministic Finite State Machine

b)

Mealy Machine

c)

Moore Machine

d)

Non-Deterministic Finite State Machine

21.

What type of Finite State Machine has outputs that depend only on the current state?

a)

Deterministic Finite State Machine

b)

Non-Deterministic Finite State Machine

c)

Mealy Machine

d)

Moore Machine

22.

True or False. Identify the different states your system can be in.

a)

TRUE

b)

FALSE

23.

True or False. Determine the conditions under which your system states from one transition to another.

a)

TRUE

b)

FALSE

24.

True or False. Represent the states, input events, and transitions in a tabular form or diagram.

a)

TRUE

b)

FALSE

25.

True or False. Refer to the state transition table or diagram to find the appropriate transition based on the current state and input event.

a)

FALSE

b)

TRUE

26.

True or False. Perform the necessary transition associated with the determined action.

a)

FALSE

b)

TRUE

27.

It is a finite set of states

a)

Q

b)

Σ

c)

δ

d)

q0​

e)

F

28.

It is a finite set of input symbols, called alphabet.

a)

δ

b)

Σ

c)

F

d)

q0​

e)

Q

29.

It is a series of transition functions.

a)

Σ

b)

q0​

c)

Q

d)

F

e)

δ

30.

It is the starting state.

a)

q0

b)

Σ

c)

Q

d)

F

e)

δ

31.

It is the set of accepting states.

a)

Σ

b)

q0​

c)

F

d)

δ

e)

Q

32.

True or False. A language is said to be a REGULAR LANGUAGE if and only if some Finite State Machines aren't recognized it.

a)

FALSE

b)

TRUE

33.

It is the set of strings that are in either L, or M, or both.

a)

Union

b)

Concatenation

c)

Star

d)

Set

34.

It refers to the operation of combining two strings or sequences of symbols end-to-end to form a longer string.

a)

Set

b)

Union

c)

Star

d)

Concatenation

35.

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.

a)

Union

b)

Set

c)

Star

d)

Concatenation

36.

True or False. In NFA, given the current state, there could be multiple next states.

a)

FALSE

b)

TRUE

37.

DFA or NFA. All transitions are deterministic.

a)

DFA

b)

NFA

38.

Each transition leads to one state

a)

DFA

b)

NFA

39.

Accepts input if the last state visited is in F

a)

DFA

b)

NFA

40.

Generally easier to construct than the other finite automata.

a)

DFA

b)

NFA

41.

Transition can lead to several different states.

a)

DFA

b)

NFA

42.

Dead state is required.

a)

DFA

b)

NFA

43.

It allows null/epsilon transition.

a)

DFA

b)

NFA

44.

It can guess the input.

a)

DFA

b)

NFA

45.

Concatenation Operation refers to which of the following set operations

a)

Union

b)

Kleene

c)

Dot

d)

None

46.

Hierarchy of languages is introduced by

a)

Noam Chomcky

b)

Steeve Kleen

c)

Cook

d)

Alan Turing

47.

Equivalent automata that accepts regular language is

a)

Turing Machine

b)

Push Down Machine

c)

Linear Bounded Automata

d)

Finite Automata

48.

True or False. Turing machine is a powerful model that accepts all languages.

a)

TRUE

b)

FALSE

49.

There are __________ tuples in finite state machine.

a)

4

b)

5

c)

6

d)

Unlimited

50.

The basic limitation of finite automata is that

a)

It can't remember arbitrary large amount of information.

b)

It sometimes recognizes grammar that are not regular.

c)

It sometimes fails to recognize regular grammar.

d)

All of the mentioned.