Skip to main content
Computer Science

Explore our questions

Ask Question
more tags
Active Hot Week Month
0 votes
0 answers
8 views

Is such a system Turing-Complete?

Jack M.'s user avatar
Jack M.
  • 1
1 vote
2 answers
113 views

Chord Ring with limited table size of 3

Community's user avatar
CommunityBot
  • 1
0 votes
0 answers
12 views

Best algorithm for finding a sequence of cycles

Paul R's user avatar
Paul R
  • 113
-1 votes
0 answers
14 views

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

mindoverflow's user avatar
mindoverflow
  • 99
4 votes
1 answer
288 views

Is it possible to physically implement lambda calculus?

mezzoctane's user avatar
mezzoctane
  • 103
2 votes
1 answer
350 views

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

Community's user avatar
CommunityBot
  • 1
1 vote
2 answers
592 views

Amortized Analysis of extract-min-operation of Fibonacci Heap

Community's user avatar
CommunityBot
  • 1
-1 votes
4 answers
12k views

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

Daniel Ganchev's user avatar
Daniel Ganchev
  • 1
-2 votes
0 answers
29 views

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

Muhammad Ikhwan Perwira's user avatar
Muhammad Ikhwan Perwira
  • 596
0 votes
1 answer
45 views

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

Simone Bianco's user avatar
Simone Bianco
  • 41
0 votes
1 answer
263 views

What is the time complexity of this Java program?

Community's user avatar
CommunityBot
  • 1
0 votes
1 answer
27 views

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

ZarakshR's user avatar
ZarakshR
  • 125
1 vote
1 answer
150 views

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

Simone Bianco's user avatar
Simone Bianco
  • 41
0 votes
1 answer
25 views

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

Naïm Camille Favier's user avatar
Naïm Camille Favier
  • 1,056
Browse more Questions