Skip to main content

Explore our questions

0 votes
0 answers
2 views

Unable to Concretely Identify & Express Program Flow in Solid Manner Despite Understanding How it Works

3 votes
1 answer
279 views

Is it possible to physically implement lambda calculus?

2 votes
1 answer
349 views

What is the purpose of a single input, single output, bidirectional shift register?

1 vote
2 answers
585 views

Amortized Analysis of extract-min-operation of Fibonacci Heap

-1 votes
4 answers
12k views

CFG for L {a^nb^m | n <= m+3}

-1 votes
0 answers
20 views

Why cling to the Turing ideal when practical computing looks nothing like a Turing machine?

0 votes
1 answer
39 views

derivation of $\mathsf{coNL} = \mathsf{NL}$ from $\overline{\mathtt{PATH}} \in \mathsf{NL}$ (Immerman-Szelepscényi theorem)

0 votes
1 answer
262 views

What is the time complexity of this Java program?

0 votes
1 answer
24 views

Is every discrete problem solvable in constant time for input within a given range of values?

1 vote
1 answer
66 views

Is the language {xyx, where x,y are arbitrary strings over {0,1}} a regular set?

0 votes
1 answer
23 views

what is "linearising" a partial order? (type theory with definitions)

1 vote
2 answers
122 views

What is the proof in FLP for statement that "clique with majority of processes exist" if majority of the processes live?

2 votes
1 answer
243 views

Measuring Cache Access Time

2 votes
1 answer
100 views

Karnaugh map minimization confusion

Browse more Questions