The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
0 votes
1.How to identify the reachable state in NFA or DFA.
asked in Theory of Computation by Active (1.1k points) | 49 views

1 Answer

+1 vote
Best answer

In any  Directed Graph, like DFA or NFA, If we wish to find All the Reachable nodes(states) from some node(starting state) then we can just apply Breadth First Traversal or Depth First Traversal on that DFA or NFA from Starting State. 

The Idea is that Some State $Q$ is said to be Reachable in any DFA or NFA Iff there is Some Path/walk from Starting state to that state $Q$. 

Since, Every Walk contains a Path. We can simply remove Walk from above theorem.

answered by Boss (22.5k points)
selected by
Thanks deepakk

Related questions

0 votes
0 answers
Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
47,894 questions
52,260 answers
67,679 users