Network profile

Denis

Reputation

6,695

6.7k
5.7k
4.8k

2018
2019
2020
2021

Top tag

automata-theory

Next privilege

10,000 Rep.

Access moderator tools

Badges

22

45

Newest

Revival

Next badge

0/1

Impact

3 posts edited

0 helpful flags

229 votes cast

4 Bookmarks

Votes Activity Newest Views Added

19

votes

1

answer

439

views

Conjecture about two counters automata

automata-theory

Jan 19 '15 at 16:41 Ørjan Johansen 311

19

votes

1

answer

388

views

Minor closed properties that are explicitly MSO expressible

graph-theory lo.logic graph-minor topological-graph-theory

Jan 31 '16 at 7:36 David Eppstein 49.3k

16

votes

1

answer

422

views

Are there variants of visibly pushdown automata that allow pushing of words onto the stack?

reference-request fl.formal-languages automata-theory context-free context-free-languages

Nov 29 '17 at 18:13 Denis 6,695

8

votes

4

answers

1k

views

Is there a generalization of the GO game that is known to be Turing complete?

computability turing-machines

Apr 30 '15 at 22:53 vzn 10.8k

Theoretical Computer Science Stack Exchange works best with JavaScript enabled