The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
x
0 votes
49 views
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
0
Thanks deepakk

Related questions

0 votes
0 answers
5
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
182,164 comments
67,679 users