Hendrik Jan's user avatar
Hendrik Jan's user avatar
Hendrik Jan's user avatar
Hendrik Jan
  • Member for 11 years, 1 month
  • Last seen this week
  • Netherlands
36 votes
2 answers
2k views

Planar regular languages

20 votes
2 answers
2k views

Are context-free languages in $a^*b^*$ closed under complement?

12 votes
3 answers
8k views

Easy proof for context-free languages being closed under cyclic shift

9 votes
2 answers
2k views

Myhill-Nerode and closure properties

7 votes
3 answers
438 views

First half of context-free palindromes

6 votes
2 answers
350 views

Grammatical characterization of deterministic context-free languages

5 votes
1 answer
499 views

Is it decidable whether a linear language contains a square?

4 votes
1 answer
296 views

deterministic finite automaton for "does contain substring $w$" is of linear size

3 votes
1 answer
389 views

Where does the terminology of open addressing resp. closed hashing come from?

3 votes
1 answer
2k views

Definition of deterministic pushdown automaton

3 votes
1 answer
163 views

context-free shuffle for two-letter alphabets

3 votes
0 answers
71 views

bounding the height of stack when checking acceptance pushdown automaton

2 votes
1 answer
119 views

Counting substrings that belong to a regular language

2 votes
1 answer
1k views

Number of nil-links in a binary tree

2 votes
1 answer
538 views

topological sort equivalence

2 votes
2 answers
135 views

Finding a solution to a satisfiable formula

1 vote
1 answer
145 views

Condition in Arden's rule

1 vote
1 answer
122 views

SAT formula for connected graphs on the grid

1 vote
0 answers
154 views

logarithmic height AVL trees

1 vote
2 answers
719 views

What does O( n^{1+o(1)} ) mean