Skip to main content
Share Your Experience: Take the 2024 Developer Survey
Ella 's user avatar
Ella 's user avatar
Ella 's user avatar
Ella
  • Member for 3 years, 11 months
  • Last seen more than 3 years ago
2 votes
1 answer
254 views

SAT satisfaction with 10 variables

1 vote
2 answers
129 views

Computing automaton for $L(A) / L(B)$ gives ones for $A,B$

1 vote
1 answer
212 views

closure of Context free grammer to homomorphism using PDA

1 vote
1 answer
129 views

Why Right-Division of regular language with RE\E language is regualr?

1 vote
0 answers
56 views

difference between two uncomputable functions

1 vote
1 answer
35 views

proving existence of TM that accepts the next language

1 vote
1 answer
207 views

Number of equivalence classes

0 votes
1 answer
266 views

checking whether turing machine passes at least k>2 states before accepting a word

0 votes
1 answer
339 views

mapping reductions from R to RE

0 votes
1 answer
54 views

checking configuration history of Turing machine using PDA

0 votes
1 answer
35 views

Is necessarily the following language not decideable

0 votes
1 answer
238 views

Turing machine that can remember

0 votes
1 answer
340 views

PDA kleene star construction

0 votes
0 answers
40 views

examples for languages of natural numbers

-1 votes
1 answer
96 views

decider for a question not clear

-1 votes
2 answers
344 views

size of intersection of 2 languages size is not decidable