Skip to main content
sepp2k's user avatar
sepp2k's user avatar
sepp2k's user avatar
sepp2k
  • Member for 12 years, 3 months
  • Last seen more than a month ago
28 votes

Are there minimum criteria for a programming language being Turing complete?

27 votes

Algorithm to solve Turing's "Halting problem‍​"

17 votes

Graph searching: Breadth-first vs. depth-first

12 votes
Accepted

Implementing the GSAT algorithm - How to select which literal to flip?

10 votes

All NP problems reduce to NP-complete problems: so how can NP problems not be NP-complete?

10 votes
Accepted

Lambda Calculus Evaluation

8 votes
Accepted

Confluence proof for a simple rewriting system

7 votes
Accepted

Regular Expression for the language that requires one symbol to occur at least once

5 votes

Regular sets have linear growth?

5 votes

A DFA for recognizing comments

5 votes

What is the significance of context-sensitive (Type 1) languages?

3 votes

Subset-sum and 3SAT