J.-E. Pin's user avatar
J.-E. Pin's user avatar
J.-E. Pin's user avatar
J.-E. Pin
  • Member for 10 years, 7 months
  • Last seen this week
  • Paris
16 votes

Major unsolved problems in theoretical computer science?

16 votes

Hierarchies in regular languages

14 votes
Accepted

Algorithm for ranking members of a regular language?

14 votes
Accepted

Multi-language DFA minimisation

14 votes
Accepted

Measurability of an $\omega$-regular language

13 votes
Accepted

Can I show algebraically that this regular expression accepts all binary strings?

13 votes

Minimizing Automata accepting $\omega$-words (i.e. infinite words)

13 votes
Accepted

"Embedding" a language in itself

13 votes

On the realisation of monoids as syntactic monoids of languages

11 votes

Existence of an algorithm

10 votes
Accepted

Who introduced nondeterministic M-automata, and proved that the finite ones recognize the rational sets over M?

10 votes

How to minimize a FSM transducer?

9 votes

The significance of state complexity in automata and regular languages?

9 votes
Accepted

When does a set of infixes determine a set of ($\omega$-) words

9 votes
Accepted

What is the importance of linear languages?

9 votes

Integer multiplication when one integer is fixed

9 votes
Accepted

Dialogue writing style & Yuri Gurevich's imaginary student: Quisani

8 votes
Accepted

Name for words without squared symbols

8 votes
Accepted

(N)DFA with same initial/accepting state(s)

8 votes

Does there exist a hardest DCFL?

8 votes
Accepted

Inverse of transducer compositions

7 votes

Questions about regular languages and their sublanguages

7 votes
Accepted

Deciding functionality of transducers over infinite words

7 votes

If the set of factors of an infinite word $\xi$ is regular, is this property stable under "shift's" of $\xi$?

7 votes

Are there any topics in theoretical CS that are more about pure math?

7 votes
Accepted

Computing the Syntactic Congruence

7 votes
Accepted

Complexity of DFA intersection in this specific case?

7 votes

Progress on generalized star-height problem?

6 votes
Accepted

Reference: Cancellability of the Dyck congruence

6 votes
Accepted

Extensional characterization of non-deterministic finite state transductions