ttnick

Member for 3 years, 11 months
Last seen this week

Twitter
GitHub
ttnick.github.io
Aachen, Germany

Summary

Reputation

1,347

1.3k
1.2k
1.1k

Apr
Jul
Oct
Jan

Top tag

turing-machines

Next privilege

2,000 Rep.

Edit questions and answers

Badges

6

13

Newest

Civic Duty

Next badge

0/30

Suffrage

Answers

View all 44 answers

Votes Activity Newest

8

Do Turing machines have memory registers?

Sep 28 '21

5

Understanding Time Complexity

Jun 26 '21

4

Using Myhill-Nerode to prove that language is not regular

Mar 23 '18

3

Prove no DFA with four states can accept L={111}

Mar 4 '21

3

Ω(f(x)) and worst case analysis

Jan 19 '21

Questions

Votes Activity Newest Views

This user has not asked any questions

Tags

View all 54 tags

turing-machines

23

Score

13

Posts

formal-languages

19

Score

8

Posts

automata

13

Score

7

Posts

finite-automata

12

Score

6

Posts

regular-languages

11

Score

5

Posts

Reputation

This user has no recent positive reputation changes.

Badges

View all badges

This user doesn’t have any gold badges yet.

6

silver badges

Reviewer

Nov 28 '19
Civic Duty

Aug 6
Constituent

Jan 30 '19

13

bronze badges

Explainer

Apr 1 '18
Caucus

Jan 23 '19
Critic

Mar 24 '18

Bookmarks

View all 20 bookmarks

Votes Activity Newest Views Added

187

Is there a system behind the magic of algorithm analysis?

Apr 9 '14

44

What exactly is the semantic difference between set and type?

Apr 30 '18

40

Decision problems vs "real" problems that aren't yes-or-no

Mar 17 '12

39

What exactly is a logic?

Mar 25 '18

37

Do theorem provers demonstrate their own correctness?

Jan 21 '20

Accounts

View all 25 accounts

Computer Science

1,347
6
13

Operations Research

546
2
8

350
3
11

225
1
10

151
2

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast

181

upvotes

136

downvotes

166

question votes

151

answer votes

2

this month

1

this week

Computer Science Stack Exchange works best with JavaScript enabled