Network profile

ttnick

Reputation

1,081

1.1k
1k
958

Apr
Jul
Oct
Jan

Top tag

turing-machines

Next privilege

2,000 Rep.

Edit questions and answers

Badges

4

12

Newest

Yearling

Next badge

225/300

Impact

6 posts edited

27 helpful flags

225 votes cast

Answers (37)

Votes Activity Newest

4	Using Myhill-Nerode to prove that language is not regular
3	Ω(f(x)) and worst case analysis
3	Is “imperative computing” just a fancy way of saying “scripting”? Or is there more to it?
3	Are Linear Bounded Automatons Turing Complete?
3	Decidability of a set containing first symbols of elements of a decidable set

View more →

Reputation (1,081)

+45	Ω(f(x)) and worst case analysis
+10	DFA for Strings with third symbol from RHS as 1
+10	The running time of algorithm is at most $O(n^2)$
+10	Does White never lose in Chess if Chess is solved?

View more →

Questions (0)

Votes Activity Newest

This user has not asked any questions

Tags (50)

14 turing-machines × 10	8 computability × 4
11 formal-languages × 7	6 context-free × 5
9 finite-automata × 5	6 complexity-theory × 3
9 regular-languages × 3	5 linear-bounded-automata × 2
8 automata × 5	5 church-turing-thesis × 2

View more →

Bookmarks (18)

Votes Activity Newest Views Added

177	Is there a system behind the magic of algorithm analysis?
39	What exactly is a logic?
36	Do theorem provers demonstrate their own correctness?
35	What exactly is the semantic difference between set and type?
9	Are there any problems in $P$ which we do not know any $P$ algorithms?

View more →

Accounts (24)

	Computer Science	1,081 rep	4 silver badges12 bronze badges
	Operations Research	516 rep	1 silver badge8 bronze badges
	Academia	272 rep	3 silver badges11 bronze badges
	TeX - LaTeX	199 rep	8 bronze badges
	Area 51	151 rep	2 bronze badges

Badges (14)

Recent Class Name

Yearling × 2	Citizen Patrol
Reviewer	Informed
Custodian × 2	Explainer
Constituent	Critic
Caucus	Supporter

View more →

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast (225)

all time			by type			month
130	up		116	question		5
95	down		109	answer		5

Computer Science Stack Exchange works best with JavaScript enabled