Skip to main content
Computer Science
Sid Caroline's user avatar
Sid Caroline's user avatar
Sid Caroline's user avatar
Sid Caroline
  • Member for 7 years, 6 months
  • Last seen more than 4 years ago
Profile Activity
Stats
173
reputation
3k
reached
0
answers
7
questions
Communities
Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
View all tags
0
Score
5
Posts
71
Posts %
0
Score
2
Posts
29
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
0
Score
1
Posts
14
Posts %
Top posts
question
2
Prove that $L=\{x\mid K(x) \leq |x|-c\}$ is recognizable, where $x \in \{0,1\}^*$
Jun 7, 2017
question
1
Is the langauge of (descriptions of) DFAs that accept $\Sigma^*$ decidable?
Jun 13, 2017
question
1
Is $L=\{\langle M \rangle|M$ makes more than 10 steps on some input$\}$ decidable?
Jun 14, 2017
question
1
If $R(x,y)$ is a recursive relation, then $\exists y\leq 2$ such that $R(x,y)$ is recursive
Oct 13, 2017
question
0
Why is $L=\{\langle M \rangle \mid |L(M)| \geq k\}$ not recognizable?
Jun 6, 2017
question
0
Prove that $L=\{a^i b^j c^k \mid i=1$ implies $j=k\}$ is NOT regular [duplicate]
Jun 7, 2017
question
0
Prove that there exists a machine which decides an infinite subset of halting problem
Jun 14, 2017
Top network posts
View all network posts
153
Do most mathematicians know most topics in mathematics?
11
Why do first order languages have at most countably many symbols?
11
Why are short exact sequences important?
10
Good source of references for the classification of real semisimple Lie algebras
7
How is complex analysis relevant to other areas of mathematics?