what is the answer of the last question ? " Is EQcfg Turning recognizable "" - undecidable problem right ?
@SHASHANKRUSTAGII
5 жыл бұрын
yes
@lucaguarro6116
5 жыл бұрын
The complement is semi-decidable though?
@piyushtiwarisagar
5 жыл бұрын
@@lucaguarro6116 I guess yes because for any string we can check if it exists in both languages or not and if not , we can immediately halt. so TM halts for the member hence Language is RE.
@piyushtiwarisagar
5 жыл бұрын
You should say "Not RE " right ? as RE also comes under UD.
@RaviKumar-yh3om
3 жыл бұрын
yes
@SHASHANKRUSTAGII
5 жыл бұрын
very nice professor Tiwari
@mehoneybadger999
4 жыл бұрын
for memebership problem of context free grammar : 18:04
Пікірлер: 11