Klaus Draeger

less info

network profile

803 reputation

36

bio	website
	location
	age
visits	member for	2 years
	seen	Jun 14 at 15:44
stats	profile views	69

summary answers questions tags badges favorites bounties reputation activity

10 Answers

votes activity newest

15	Why is non-determinism (Push-down automata) necessary?
7	Measurable language which is not $\omega$-regular
7	What kind of language is needed to recognize an ordered list? [multihead automata, apparently]
7	Explicit mu-recursive expression for Ackerman function
6	Alternating automata

view more

803 Reputation

+35	Relation between Kleene star, union and difference in relation algebra
+85	Measurable language which is not $\omega$-regular
+10	Explicit mu-recursive expression for Ackerman function
+10	Alternating automata

view more

0 Questions

votes activity newest

This user has not asked any questions

13 Tags

30 automata-theory × 4	7 computability
29 fl.formal-languages × 3	4 model-checking × 2
15 context-free	4 reference-request
11 lo.logic × 3	4 randomized-algorithms
10 temporal-logic × 3	4 ds.algorithms

view more

3 Accounts

	Theoretical Computer Science	803 rep	36
	Computer Science	176 rep	2
$Mathematics Stack Exchange$	Mathematics	101 rep	1

8 Badges

recent class name

Yearling × 2	Nice Answer
Excavator	Supporter
Commentator	Teacher
Enlightened	Editor

0 Active bounties

active offered earned

This user has no active bounties

36 Votes Cast

all time			by type
36	up		3	question
0	down		33	answer

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Christianity Arqade (gaming) Bicycles Role-playing Games more (21)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.6.17.742

Theoretical Computer Science Stack Exchange works best with JavaScript enabled