Skip to main content
Computer Science
Klaus Draeger's user avatar
Klaus Draeger's user avatar
Klaus Draeger's user avatar
Klaus Draeger
  • Member for 12 years, 2 months
  • Last seen more than a month ago
Profile Activity
Stats
2,176
reputation
107k
reached
48
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
12
silver badges
17
bronze badges
Top tags
View all tags
51
Score
9
Posts
19
Posts %
36
Score
7
Posts
15
Posts %
32
Score
11
Posts
23
Posts %
27
Score
9
Posts
19
Posts %
22
Score
8
Posts
17
Posts %
22
Score
7
Posts
15
Posts %
Top posts
View all questions and answers
answer
12
Why is the set of all regular expressions classified as context-free, instead of regular?
Nov 16, 2015
answer
10
DFA for accepting all binary strings of form power of $n$ (not divisible by $n$) i.e. $n^k$ for given $n$
Jan 22, 2016
answer
9
Unprovable Post correspondence problem instance
Mar 27, 2015
answer
9
What does least fix point and greatest fix point mean in Safety games
May 12, 2015
answer
7
Loop variant for a while loop that occasionally doesn't decrease?
Nov 9, 2015
answer
6
Can we check in polynomial time if the language of a DFA is closed against Kleene star?
Apr 28, 2015
answer
6
What are the simplest examples of programs that we do not know whether they terminate?
Jul 30, 2015
answer
6
Term rewriting; Compute critical pairs
Sep 16, 2015
answer
5
Why is GFp -> GFq false in LTL, even though GFp and GFq are false?
Jun 29, 2012
answer
5
Christofides algorithm: why must an MST have even number of odd-degree vertices?
Mar 17, 2015
Top network posts
View all network posts
26
Why is non-determinism (Push-down automata) necessary?
15
Explicit mu-recursive expression for Ackerman function
15
How to prove that the Fibonacci sequence is periodic mod 5 without using induction?
13
Is the Set of all Primitive Words a Prime Language?
13
Isomorphic graph embeddings in the Euclidean Space