The Gateway to Computer Science Excellence

First time here? Checkout the FAQ!

x

+1 vote

1)** Given a regular language L, the minimal DFA accepting L has always exactly as many states as any minimal size NFA accepting it.**

this statement is false by counter example.

L= set of all strings whose 2nd bit from right end is 1

for this Language NFA can be constructed by 3 states but minimal DFA should be contain 4 states

2) **If A is a DFA for a language L, and A has two states q≠p such that for some non-empty word w it holds that δ(q,w) = δ(p,w) and δ(p,w) is an accepting state then A is not minimal.**

this statement is true because δ(q,w) = δ(p,w) and q≠p means q and p are equal states, in Minimal DFA equal states are not allowed therefore A is not Minimal DFA note that two states are equal iff both are either final states or non-final states only, here δ(p,w) is an accepting state but didn't mention either p or q is final states therefore i assumed both are either final states or non-final states

3)** An NFA for a language L, can be transformed into a minimal DFA for L by first carrying out the subset construction then deleting all inaccessible states.**

this statement is false why because by the above mentioned approach we can get DFA but we can not assure it is Minimal.

4) Given statement is false by giving counter example

Consider a DFA with unreachable state therefore it can't be minimal

- All categories
- General Aptitude 1.3k
- Engineering Mathematics 5.2k
- Digital Logic 2k
- Programming & DS 3.7k
- Algorithms 3.2k
- Theory of Computation 4k
- Compiler Design 1.6k
- Databases 3k
- CO & Architecture 2.6k
- Computer Networks 3k
- Non GATE 1k
- Others 1.3k
- Admissions 486
- Exam Queries 435
- Tier 1 Placement Questions 18
- Job Queries 56
- Projects 9

36,157 questions

43,608 answers

123,961 comments

42,860 users