0 0 votes Is there any relationship b/w closure and decidability? Thanks Theory of Computation theory-of-computation decidability closure-property + – surbhijain93 574 views answer comment Share Follow Print See all 3 Comments 3 3 Comments reply goxul commented Sep 17, 2018 reply Follow flag No, there isn't any direct relation between them. 0 0 replyShare surbhijain93 commented Jun 29, 2019 reply Follow flag @goxul Eg. we say that intersection of 2 CFL's is CFL, is undecidable cause CFL's are not closed under intersection. What do we mean by this statement? PS: I understand that CFL's are not closed under intersection cause of egs. like a^n^b^nc^m intersection a^mb^nc^n 0 0 replyShare Arjun commented Jun 29, 2019 reply Follow flag When a set operation is closed it means the result is of that set only -- decidability becomes trivial. Now when the set operation is not closed, result can be either the same set or outside of it. Deciding this becomes non-trivial. It may or may not be undecidable. 3 3 replyShare Please log in or register to add a comment.