Formal Languages and Automata Theory - Unit-2
Aa*b*
Bb(a+b)*
C(a+b)*b
D(a+b)*a
Correct Answer
(a+b)*b
Correct Answer
{ฮต}
AUnion
BComplementation
CKleene closure
DConcatenation
Correct Answer
Complementation
AType checking
BGarbage collection
CLexical analysis in compilers
DMemory management
Correct Answer
Lexical analysis in compilers
ADisk scheduling
BPattern matching and text search
CSorting numbers
DProcess synchronization
Correct Answer
Pattern matching and text search
AArden's theorem
BPumping lemma
CKleene's theorem
DMyhill-Nerode theorem
Correct Answer
Kleene's theorem
AAssociative law
BIdempotent law
CDistributive law
DCommutative law for union
Correct Answer
Commutative law for union
AIdentity law
BIdempotent law
CDistributive law
DCommutative law
Correct Answer
Idempotent law
ACommutative law
BIdempotent law
CLeft distributive law
DAssociative law for concatenation
Correct Answer
Left distributive law
AAnnihilator
BComplement
CInverse
DIdentity
Correct Answer
Identity
Correct Answer
โ
Correct Answer
r*
Correct Answer
r*
A1*
B0*1*
C(0+1)*0(0+1)*
D(0+1)*1(0+1)*
Correct Answer
(0+1)*0(0+1)*
ASubset construction
BTable-filling algorithm
CThompson's construction
DState elimination method
Correct Answer
State elimination method
AA regular expression into an ฮต-NFA
BA DFA into a regular expression
CAn NFA into a DFA
DA DFA into a minimal DFA
Correct Answer
A regular expression into an ฮต-NFA
AR = QP*
BR = P*Q
CR = PQ*
DR = Q*P
Correct Answer
R = QP*
AThe language is empty
BThe solution is unique
CThe language is finite
DThe automaton is deterministic
Correct Answer
The solution is unique
ADecidable
BNot regular
CContext free
DRegular
Correct Answer
Not regular
ANeither necessary nor sufficient
BSufficient but not necessary
CBoth necessary and sufficient
DNecessary but not sufficient
Correct Answer
Necessary but not sufficient
A|xy| โค p
B|xz| โค p
C|y| = 0
D|yz| โค p
Correct Answer
|xy| โค p
A|y| = 0
B|y| > 0
C|y| < 0
D|y| = p
Correct Answer
|y| > 0
Axyzโฑ โ L
Bxyโฑz โ L
Cxโฑyz โ L
Dxyโฑz โ L
Correct Answer
xyโฑz โ L
ATransition count
BPumping length
CAlphabet size
DStack depth
Correct Answer
Pumping length
A(ab)*
B{aโฟbโฟ | n โฅ 0}
Ca*b*
DStrings over {a, b} with an even number of a's
Correct Answer
{aโฟbโฟ | n โฅ 0}
A{aโฟ | n โฅ 5}
B{aโฟ | n is even}
C{aโฟ | n mod 3 = 1}
D{aแต | p is a prime number}
Correct Answer
{aแต | p is a prime number}
AAll of the mentioned
BUnion
CComplementation
DIntersection
Correct Answer
All of the mentioned
AClosure under infinite union
BClosure under union
CClosure under concatenation
DClosure under Kleene star
Correct Answer
Closure under infinite union
AAdd ฮต-transitions to every state
BReverse all transitions
CRemove the start state
DSwap accepting and non-accepting states of a complete DFA
Correct Answer
Swap accepting and non-accepting states of a complete DFA
ASubset construction
BProduct construction
CState elimination
DThompson's construction
Correct Answer
Product construction
ALฬ โช M
BL โช Mฬ
CLฬ โฉ M
DL โฉ Mฬ
Correct Answer
L โฉ Mฬ
AAlways regular
BRegular only if finite
CNever regular
DContext sensitive only
Correct Answer
Always regular
ATrue
BFalse
CTrue only for finite languages
DTrue only for unary alphabets
Correct Answer
True
AEmptiness
BMembership
CAll of the mentioned
DFiniteness
Correct Answer
All of the mentioned
AThe start state is accepting
BThe DFA has no cycles
CAn accepting state is reachable from the start state
DAll states are accepting
Correct Answer
An accepting state is reachable from the start state
AThe DFA has more than one accepting state
BThe start state has a self-loop
CA cycle lies on some path from the start state to an accepting state
DThe DFA has no cycles
Correct Answer
A cycle lies on some path from the start state to an accepting state
AO(n)
BO(nยฒ)
CO(log n)
DO(2โฟ)
Correct Answer
O(n)
AArden's method
BPumping lemma
CThompson's construction
DTable-filling algorithm
Correct Answer
Table-filling algorithm
AExactly one of ฮด(p,w) and ฮด(q,w) is an accepting state
BBoth ฮด(p,w) and ฮด(q,w) are accepting
CBoth ฮด(p,w) and ฮด(q,w) are non-accepting
Dฮด(p,w) = ฮด(q,w)
Correct Answer
Exactly one of ฮด(p,w) and ฮด(q,w) is an accepting state
A(accepting state, non-accepting state)
B(non-accepting, non-accepting)
C(start state, start state)
D(accepting, accepting)
Correct Answer
(accepting state, non-accepting state)
AUnreachable states and merges equivalent states
BAll non-accepting states
CAll accepting states
DAll transitions
Correct Answer
Unreachable states and merges equivalent states
AIt is accepted by a PDA
BIt satisfies the pumping lemma
CIt has a finite number of equivalence classes
DIt has an infinite number of equivalence classes
Correct Answer
It has a finite number of equivalence classes
Correct Answer
3
AAlways has one state
BAlways an NFA
CUnique up to renaming of states
DNot unique
Correct Answer
Unique up to renaming of states