User Curtis F

19 votes

Are Finite Automata Turing Complete?

answered Jun 21, 2019 at 5:21

10 votes

Accepted

Is computer science pointless

answered Oct 10, 2020 at 5:01

8 votes

Accepted

What is the Name of the Problem or Technique of Determining if a Line in a Program Will Execute

answered Jan 23, 2019 at 0:20

7 votes

Is the derivative of a graph related to adjacency lists?

answered Jul 5, 2018 at 18:30

6 votes

Is there a name for this priority queue data structure?

answered Jan 26, 2019 at 21:16

5 votes

Accepted

Is "Query Equivalence" decidable?

answered Jun 15, 2019 at 5:32

5 votes

Why is 2^32 in a 32-bit system = 4GiB and not 4Gib?

answered Jun 27, 2019 at 5:08

5 votes

Is decimal number 8 represented as 3 bits or 4 bits in computer?

answered Sep 4, 2019 at 20:27

3 votes

Merge Sort Confusion - Initial Phase Missing?

answered Aug 18, 2019 at 3:44

3 votes

Accepted

How a Symbolic Evaluator Generates Test Input for this Example

answered Jul 20, 2018 at 23:52

3 votes

Accepted

How a SMT / SAT Solver Generates Valuations for this Example

answered Jul 21, 2018 at 16:12

2 votes

Accepted

How to solve for the precondition give a postcondtion that must satisfy two conditions

answered Aug 3, 2018 at 14:16

2 votes

Paxos Consensus

answered Sep 4, 2018 at 14:23

2 votes

Context free grammar for language with even number of $0$'s and $1$'s

answered Jun 18, 2019 at 2:42

2 votes

Existence / non-existence of a sequence with short longest increasing subsequence and decreasing subsequence?

answered Jul 11, 2020 at 18:08

2 votes

Accepted

How would you specify a grammar that can parse letters separated by single underscores?

answered Jun 18, 2021 at 1:37

1 vote

creating a binary search tree (manual)

answered Sep 30, 2019 at 4:21

1 vote

A doubt on converting NOT gate to CNF formula

answered Aug 11, 2019 at 17:12

1 vote

generating mazes using Eller's algorithm - why do I get loops?

answered Oct 5, 2018 at 13:17

Stack Exchange Network

19 Answers

Are Finite Automata Turing Complete?

Is computer science pointless

What is the Name of the Problem or Technique of Determining if a Line in a Program Will Execute

Is the derivative of a graph related to adjacency lists?

Is there a name for this priority queue data structure?

Is "Query Equivalence" decidable?

Why is 2^32 in a 32-bit system = 4GiB and not 4Gib?

Is decimal number 8 represented as 3 bits or 4 bits in computer?

Merge Sort Confusion - Initial Phase Missing?

How a Symbolic Evaluator Generates Test Input for this Example

How a SMT / SAT Solver Generates Valuations for this Example

How to solve for the precondition give a postcondtion that must satisfy two conditions

Paxos Consensus

Context free grammar for language with even number of $0$'s and $1$'s

Existence / non-existence of a sequence with short longest increasing subsequence and decreasing subsequence?

How would you specify a grammar that can parse letters separated by single underscores?

creating a binary search tree (manual)

A doubt on converting NOT gate to CNF formula

generating mazes using Eller's algorithm - why do I get loops?