Stack Exchange Network

Stack Exchange network consists of 175 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
Computer Science
Meta user
Network profile
2,287
reputation
10
11

DCTLib

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

42
answers
0
questions
~31k
people reached
  • Member for 5 years, 10 months
  • 49 profile views
  • Last seen Jun 11 at 13:01

Communities (20)

Top network posts

Top tags (59)

Score 84
Posts 6
Posts % 14
Score 38
Posts 14
Score 24
Posts 9
Score 24
Posts 8
Score 21
Posts 5
Score 20
Posts 9
View all tags →

Top posts (42) All Questions Answers | Votes Newest

76 Why is binary search faster than ternary search? Sep 8 '14
9 How does automated verification of systems with infinitely many states work? Feb 14 '18
9 Undecidability in the context of modern programming languages Oct 23 '14
8 How similar are two DFAs? -not just binary equivalence- Apr 22 '16
8 How exactly MOV AX will load data from RAM? Sep 18 '14
5 Is model checking PSpace-hard *in formula size*? Apr 10
5 Equisatisfiability in the reduction from 4-SAT to 3-SAT Feb 23 '18
5 Determining a minimal-state regular language $A$ such that $A \cap B = C$ given regular languages $B$ and $C$ Oct 5 '16
4 Initial States in Moore Machine? Mar 4
4 Why are non-deterministic Buchi automata factorially succinct when compared to deterministic Rabin Automata? Apr 26 '18
View all questions and answers →

Badges (21)

Gold

—

Silver

10

Rarest

Bronze

11

Rarest

View all badges →