The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
x
0 votes
79 views
find the DFA which accept strings such that 2nd symbol from RHS is $'a'$ .

$w=\{a,b\}^*$
asked in Theory of Computation by (59 points)
edited by | 79 views

1 Answer

+1 vote

Either construct NFA and then convert it into DFA. Or  If you want to construct directly then here is the Idea :

While constructing DFA, Whenever you see $a$, think of it as 2nd last symbol. So, After this $a$ you can allow $a,b$ and accept. But after this when you see $a,b$ you must make a transition to relevant state.

The DFA will look like this :

answered by Boss (18.7k points)
0
What if the 3rd symbol from the right has to be 'a'?
0
Then we will extend the idea and construct accordingly. We will have 8 states in minimal DFA with 4 final states.


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

40,851 questions
47,514 answers
145,842 comments
62,274 users