0 votes 0 votes Is equivalence problem decidable problem or not? Theory of Computation theory-of-computation finite-automata + – Harshitha 123 asked Jun 15, 2018 Harshitha 123 1.6k views answer comment Share Follow See all 4 Comments See all 4 4 Comments reply Prateek Raghuvanshi commented Jun 15, 2018 reply Follow Share yes,equivalence problem for finite automata is decidable,languages generated by finite automata ,we can say equivalent or not. 1 votes 1 votes Harshitha 123 commented Jun 15, 2018 reply Follow Share Thanks 0 votes 0 votes srestha commented Jun 15, 2018 reply Follow Share @Prateek Is these are recursive? then how? 0 votes 0 votes Prateek Raghuvanshi commented Jun 15, 2018 reply Follow Share Decision properties of finite automata on equivalence talking about finite automata which is decidable ,i can draw DFA for languages and i can easily say that languages are equivalent or not, right. for recursive language ,there exist TM , but i can't say that languages are equivalent or not ,equivalance problem for recursive are undecidable. 0 votes 0 votes Please log in or register to add a comment.
0 votes 0 votes Decidable as the minimal dfa is constructible in polynomial time wh04m1 answered Jul 9, 2018 wh04m1 comment Share Follow See all 0 reply Please log in or register to add a comment.