Network profile

Denis

Reputation

6,557

6.6k
5.6k
4.6k

2017
2018
2019
2020

Top tag

automata-theory

Next privilege

10,000 Rep.

Access moderator tools

Badges

22

45

Newest

Revival

Next badge

0/1

Impact

1 post edited

0 helpful flags

221 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

380

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.1k

16

votes

1

answer

413

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,557

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.7k

Theoretical Computer Science Stack Exchange works best with JavaScript enabled