Computer Science
Meta user
Network profile
2,287
reputation
11
11

DCTLib

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

42
answers
0
questions
~32k
people reached
  • Member for 6 years
  • 53 profile views
  • Last seen Jul 7 at 19:02

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 (22)

Gold

—

Silver

11

Rarest

Bronze

11

Rarest

View all badges →