Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Theoretical Computer Science
Meta User
Network Profile
4,645
reputation
16
40

Denis

Apparently, this user prefers to keep an air of mystery about them.

64
answers
14
questions
~149k
people reached
  • ENS Lyon, Lyon, France
  • perso.ens-lyon.fr/…
  • Member for 6 years, 10 months
  • 448 profile views
  • Last seen 2 hours ago

Communities (11)

Top Network Posts

Top Tags (82)

Score 145
Posts 25
Posts % 32
Score 110
Posts 19
Score 60
Posts 12
Score 47
Posts 20
Score 34
Posts 5
Score 25
Posts 7
View all tags →

Top Posts (78) All Questions Answers | Votes Newest

43 Real computers have only a finite number of states, so what is the relevance of Turing machines to real computers? Apr 19 '16
32 Problems with big open complexity gaps Feb 26 '15
32 What is the smallest Turing machine where it is unknown if it halts or not? Feb 11 '14
30 Consequences of NP=PSPACE Feb 13 '14
27 Nontrivial membership in NP Feb 17 '14
22 EXPSPACE-complete problems Oct 22 '14
16 Intermediate problems between PSPACE and EXPTIME Jun 9 '17
15 Parameterized complexity of inclusion of regular languages Feb 23 '18
14 Büchi automata with acceptance strategy May 9 '12
13 Distance between regular languages Jun 3 '13
View all questions and answers →

Badges (56)

Gold

—

Silver

16

Rarest

Bronze

40

Rarest

View all badges →