0 votes 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 asked Mar 18, 2018 • edited Mar 18, 2018 by Devshree Dubey sanju77767 934 views answer comment Share Follow See all 11 Comments See all 11 11 Comments reply Show 8 previous comments sanju77767 commented Mar 18, 2018 reply Follow Share 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 votes 0 votes Mk Utkarsh commented Mar 18, 2018 reply Follow Share these string are accepted in 1st DFA then complement will not accept these strings 0 votes 0 votes sanju77767 commented Mar 18, 2018 reply Follow Share 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 votes 0 votes Please log in or register to add a comment.
0 votes 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 See all 0 reply Please log in or register to add a comment.