2 votes 2 votes DFA which accepts strings in which every 'a' is followed by a 'b' Theory of Computation finite-automata + – sumit goyal 1 asked Jan 5, 2018 sumit goyal 1 872 views answer comment Share Follow See all 3 Comments See all 3 3 Comments reply gauravkc commented Jan 5, 2018 reply Follow Share https://gateoverflow.in/128551/minimization-of-dfa 0 votes 0 votes sumit goyal 1 commented Jan 5, 2018 reply Follow Share my question is different which every 'a' is followed by a 'b' single b at end gauravkc 1 votes 1 votes gauravkc commented Jan 5, 2018 reply Follow Share Didn't get it. Can you show some strings? 1 votes 1 votes Please log in or register to add a comment.
0 votes 0 votes check this one Aarti3001 answered Jan 5, 2018 Aarti3001 comment Share Follow See all 14 Comments See all 14 14 Comments reply sumit goyal 1 commented Jan 5, 2018 reply Follow Share @Aarti3001 abb ,abbb should not be accepted every a should be followed by a "b " // single b at end 1 votes 1 votes sumit goyal 1 commented Jan 5, 2018 reply Follow Share construct a dfa in which every a is followed a "b"i.e single b...it means such strngs {abb,abbb,abbbb,....},,,should not cntain in the language. @gauravkc 1 votes 1 votes Aarti3001 commented Jan 5, 2018 reply Follow Share I thought every a followed by only one b 1 votes 1 votes gauravkc commented Jan 5, 2018 reply Follow Share that must be the dfa that accepts {ab,abab,ababab,... } 0 votes 0 votes sumit goyal 1 commented Jan 5, 2018 reply Follow Share this is what i said yes 1 votes 1 votes Aarti3001 commented Jan 5, 2018 reply Follow Share b^* also accepted?? 1 votes 1 votes sumit goyal 1 commented Jan 5, 2018 reply Follow Share @gauravkc yes you are correct here @ that must be the dfa that accepts {ab,abab,ababab,... } but a dfa should be such that it should accept all strings contained in languages , as well as dfa should be able to reject all strings which are not there in langugae according to my question abb should not be present but abb is accepted by dfa so dfa is not suitable 1 votes 1 votes sumit goyal 1 commented Jan 5, 2018 reply Follow Share according to question if a comes then only single b should be there after it i.e. ab but if a donot come in string then no restriction on b so b^* should be acceptable @Aarti3001 1 votes 1 votes Aarti3001 commented Jan 5, 2018 reply Follow Share i think this will work 1 votes 1 votes sumit goyal 1 commented Jan 5, 2018 reply Follow Share let me draw mine wait 1 votes 1 votes gauravkc commented Jan 5, 2018 reply Follow Share Like this? 1 votes 1 votes gauravkc commented Jan 5, 2018 reply Follow Share Oops.. forgot to show a,b loop on dead state. It is same as @Aarti3001 1 votes 1 votes LeenSharma commented Jan 5, 2018 reply Follow Share every a followed by exactly 1 'b' 1 votes 1 votes sumit goyal 1 commented Jan 5, 2018 reply Follow Share @Aarti3001 @LeenSharma yes correct dfa @gauravkc thanku 1 votes 1 votes Please log in or register to add a comment.