Hendrik Jan's user avatar
Hendrik Jan's user avatar
Hendrik Jan's user avatar
Hendrik Jan
  • Member for 11 years, 6 months
  • Last seen more than a month ago
  • Netherlands
11 votes

Non-isomorphic minimal non-deterministic finite automata

11 votes
Accepted

Finite state transducer that sorts

7 votes

iterations of a $\epsilon$-FSM transducer on a tape as equivalent to a TM computation

5 votes
Accepted

Is there a book/survey-paper outlining language class hierarchies, closure properties, etc

3 votes
Accepted

Rational Functions and CFL

3 votes

Proof of the pumping lemma for context-free languages using pushdown automata

2 votes

Search a string for a list of words

2 votes
Accepted

Can real-time deterministic multicounter automata recognize the marked palindrome language?

2 votes
Accepted

A word anticorrespondence problem

1 vote

Does mathematical model for conccurent computations exist?