Domain Name Forum

Domain Name Forum (http://www.domainnameforum.org/index.php)
-   Computer Science (http://www.domainnameforum.org/forumdisplay.php?f=136)
-   -   Help with proving a language is in R , RE\R or outside RE (http://www.domainnameforum.org/showthread.php?t=99869)

webdev 06-05-2010 01:23 PM

Help with proving a language is in R , RE\R or outside RE
 
Hi, I'm having trouble with reductions and classifying the following language: L ={ ?w??* Tm(|w|) = c } That is, L is a language of turing machine encodings such that for any input w the runtime of the machine is a constant c. The goal is to classify the language - whether its in R,...


All times are GMT -4. The time now is 02:45 PM.

Powered by vBulletin®
Copyright ©2000 - 2026, Jelsoft Enterprises Ltd.