0 0 votes Complementation of DFA works for all DFA is it true ? Given DFA, a should be followed by a 'b', In the complementation of this DFA the string aab is getting accepted a is getting followed by a 'b' Theory of Computation finite-automata theory-of-computation + – sanju77767 2.1k views answer comment Share Follow Print See all 11 Comments 11 11 Comments reply Show 8 previous comments sanju77767 commented Mar 18, 2018 reply Follow flag Kk I'll read Peter Linz book and intersect string are L ={€,b,bb,bbb,. } These strings should be common in both the Dfa's 0 0 replyShare Mk Utkarsh commented Mar 18, 2018 reply Follow flag these string are accepted in 1st DFA then complement will not accept these strings 0 0 replyShare sanju77767 commented Mar 18, 2018 reply Follow flag Yes u r write but if we write the languages for both the strings seperately then these strings will be comman in both DFA's 0 0 replyShare Please log in or register to add a comment.
0 0 votes at most one possibility does not occur , Like, when will be ∀ false ? when we show a single counter example , right? and yes the complement of "every a is followed by a b" is true , when we show a single counter that that does not occur rajsh3kar answered Mar 18, 2018 rajsh3kar comment Share Follow 0 reply Please log in or register to add a comment.