Decidable or not?
closed

Xylene asked Sep 9, 2017 • closed Sep 9, 2017 by Arjun

194 views

See all

Related questions

1 votes

1 answer

srestha asked Jun 15, 2018

228 views

Decidable or not
Now define D , the diagonal set of strings: $D=\left \{ w\epsilon \Sigma ^{*} \right \}$ where $w$ is not in $f\left ( w \right )$ Call the correspondence $f$ is countable set $\Sigma ^{*}$ For example $f\left ( \varepsilon \right )=L_{0}$ ,i. ... for all even length string of infinite language etc. Now, the question is 1) is D countable? 2) is D decidable?

Now define D , the diagonal set of strings:$D=\left \{ w\epsilon \Sigma ^{*} \right \}$ where $w$ is not in $f\left ( w \right )$Call the correspondence $f$ is countable...

srestha

228 views

srestha asked Jun 15, 2018

6 votes

4 answers

nikhil_cs asked Jan 18, 2018

2,963 views

Intersection of two Recursive languages are of same type or not. Is it decidable or undecidable?
Since Recursive languages are closed under intersection, therefore it decidable. Am I wrong?

Since Recursive languages are closed under intersection, therefore it decidable. Am I wrong?

nikhil_cs

3.0k views

nikhil_cs asked Jan 18, 2018

1 votes

1 answer

Mk Utkarsh asked Jan 2, 2018

889 views

not partially decidable
what is the difference between recursive enumerable and not recursive enumerable(not partially decidable)?

what is the difference between recursive enumerable and not recursive enumerable(not partially decidable)?

Mk Utkarsh

889 views

Mk Utkarsh asked Jan 2, 2018

1 votes

4 answers

student2018 asked Apr 16, 2017

1,912 views

Is this decidable or undecidable
A = { (M, w) | M is a TM that on input w, tries to move its head past the left end of the input } B = { (M, w) | M is a TM that on input w, moves its head left at least once, at some point} how to decide that a problem is decidable or undecidable , recognisable or unrecognisable ??

A = { (M, w) | M is a TM that on input w, tries to move its head past the left end of the input }B = { (M, w) | M is a TM that on input w, moves its head left at least on...

student2018

1.9k views

student2018 asked Apr 16, 2017

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

Decidable or not?
closed

Please log in or register to add a comment.

0 Answers

Related questions

0 reply

Please log in or register to add a comment.

0 Answers

Related questions

0