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 ago in Theory of Computation by (187 points) | 21 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 ago by Boss (16.5k points)
selected ago by
Thanks deepakk

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

36,992 questions
44,563 answers
43,623 users