The Gateway to Computer Science Excellence
0 votes
intersection of two recursive lang is recursive

is this problem decidable or not?
in Theory of Computation by | 177 views
this is closure property of recursive languages so its always true and hence decidable.
Recursive languages are closed under Intersection. So that statement is always True which makes it decidable.

1 Answer

+2 votes
Best answer

This is a trivial fact as it follows from closure property that intersection of two recursive language is a recursive language for sure..Hence we can say that this property is decidable..

In fact

Any closure property if satisfied for a given class of language and given operation, then the problem that the resultant language after applying that particular operation is also in the same class is  decidable..

selected by

Related questions

0 votes
0 answers
Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
52,345 questions
60,510 answers
95,351 users