Welcome Guest ( Log In | Register )

Outline · [ Standard ] · Linear+

 Automata Theory, Languages & Computation, Question

views
     
TSfelixwhoals
post Feb 11 2006, 06:43 AM, updated 20y ago

Casual
***
Junior Member
455 posts

Joined: Oct 2005
From: Birmingham, UK


Mmm.. I'm not sure if anyone knows this but I seem to have a problem with this undecidability and rice theorem thing:

Let Land L' be languages over the same alphabet. Give example of the following statements:
a) L' is decidable, L is undecidable and L C L' holds (L subset of L')
b) L' is decidable, L is undeciadable and L' C L holds (L' subset of L)

The hint given his : consider languages of Java programs..

How am I gonna do this?

 

Change to:
| Lo-Fi Version
0.0145sec    0.22    6 queries    GZIP Disabled
Time is now: 24th December 2025 - 02:27 AM