Network profile

roctothorpe

Reputation

1,028

1k
982
936

Apr
Jul
Oct
Jan

Top tag

automata

Next privilege

2,000 Rep.

Edit questions and answers

Badges

6

17

Newest

Yearling

Next badge

1/1

Impact

5 posts edited

18 helpful flags

97 votes cast

Answers (17)

Votes Activity Newest

17	Is a Turing machine without the ability to write on blank cells less powerful than standard Turing?
7	Aho-Corasick for a set of patterns
7	How to tell if a language is recognizable, co-recognizable or decidable?
6	When to add and when to multiply to find time complexity
4	Can't Understand this Subset Construction Proof

View more →

Reputation (1,028)

+10	How to tell if a language is recognizable, co-recognizable or decidable?
+10	When to add and when to multiply to find time complexity
+10	Does a turing machine halt with input left on tape?
+10	Can't Understand this Subset Construction Proof

View more →

Questions (4)

Votes Activity Newest

8	Intuition behind the Master Theorem
2	Splay trees: why are depths of nodes on the access path halved?
2	How much better are conservative updates for count-min sketch?
1	Example of binary trees with maximum rotation distance

Tags (34)

27 automata × 6	9 undecidability × 2
27 turing-machines × 6	7 intuition
27 computability × 3	7 algorithms
19 formal-languages × 3	6 algorithm-analysis
15 finite-automata × 4	4 proof-techniques

View more →

Bookmarks (16)

Votes Activity Newest Views Added

208	Why is writing down mathematical proofs more fault-proof than writing computer code?
167	Why, really, is the Halting Problem so important?
96	What are the reasons to learn different algorithms / data structures serving the same purpose?
92	How to prove that a language is not context-free?
59	What would be the real-world implications of a constructive $P=NP$ proof?

View more →

Accounts (3)

	Computer Science	1,028 rep	6 silver badges17 bronze badges
	Stack Overflow	301 rep	1 silver badge9 bronze badges
	Theoretical Computer Science	101 rep	2 bronze badges

Badges (19)

Recent Class Name

Yearling × 3	Explainer
Necromancer × 2	Custodian
Organizer	Citizen Patrol
Revival × 2	Enthusiast
Commentator	Scholar

View more →

Active bounties (0)

Active Offered Earned

This user has no active bounties

Votes cast (97)

all time			by type
94	up		42	question
3	down		55	answer

Computer Science Stack Exchange works best with JavaScript enabled