J.-E. Pin

Paris

Research interests. Algebraic theory of automata and languages. In particular, connections with semigroup theory, combinatorics, logic and topology.

top accounts reputation activity subscriptions

Complexity zoo for unary languages

cc.complexity-theory reference-request big-list asked May 11, 2015 at 13:41

cstheory.stackexchange.com

18 votes

Deciding whether a unary context-sensitive language is regular

fl.formal-languages decidability asked Jun 20, 2016 at 10:50

cstheory.stackexchange.com

10 votes

How to make a command for a circled letter to work with all font sizes?

symbols fontsize math-operators circles asked Feb 16, 2014 at 16:20

tex.stackexchange.com

9 votes

Expected value of the evaluation of Boolean circuits of depth $2n$

reference-request circuit-complexity circuits asked Jul 17, 2018 at 14:14

cstheory.stackexchange.com

8 votes

Rank of a matrix of binomial coefficients

combinatorics matrices binomial-coefficients finite-fields asked Oct 8, 2015 at 15:08

math.stackexchange.com

8 votes

\overline and \widehat with subscript

math-mode symbols subscripts asked Dec 23, 2013 at 16:15

tex.stackexchange.com

7 votes

Are the rules of this tournament fair?

probability discrete-mathematics asked Jun 6, 2015 at 22:20

math.stackexchange.com

7 votes

Coproduct of bounded distributive lattices given as lattices of subsets

reference-request category-theory lattice-orders asked Mar 14, 2015 at 12:11

math.stackexchange.com

7 votes

Macros inside pstricks parameters

macros pstricks asked Dec 31, 2020 at 14:16

tex.stackexchange.com

6 votes

Concrete category of topological spaces over preordered sets: what are the initial morphisms?

general-topology category-theory asked Apr 30, 2015 at 17:10

math.stackexchange.com

Top Answers

What's the point in being a "skeptical" learner

math.stackexchange.com

Why is Lebesgue so often spelled "Lebesque"?

math.stackexchange.com

I get a wrong determinant - why?

math.stackexchange.com

Why does intersection always preserve "closed" structures?

math.stackexchange.com

What's an example of a discrete uncountable space?

math.stackexchange.com

subset of binary space countable?

math.stackexchange.com

How to create DFA from regular expression without using NFA?

cs.stackexchange.com

Math Symbol for "Where"

math.stackexchange.com

Major unsolved problems in theoretical computer science?

cstheory.stackexchange.com

Hierarchies in regular languages

cstheory.stackexchange.com

Algorithm for ranking members of a regular language?

cstheory.stackexchange.com

example of a set that is closed and bounded but not compact

math.stackexchange.com

Star free language vs. regular language

cs.stackexchange.com

Measurability of an $\omega$-regular language

cstheory.stackexchange.com

Multi-language DFA minimisation

cstheory.stackexchange.com

"Embedding" a language in itself

cstheory.stackexchange.com

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

cstheory.stackexchange.com

Bridge theorems for group theory and formal languages

cs.stackexchange.com

NFA with exponential number of states when determinized

cs.stackexchange.com

Algorithm to test whether a language is regular

cs.stackexchange.com

Importance of the empty string

cs.stackexchange.com

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

cstheory.stackexchange.com

How many rings are there for a given order?

math.stackexchange.com

How to prove a language is regular?

cs.stackexchange.com

In a topological space, if a subset is both closed and open, then is the topology discrete?

math.stackexchange.com

On the realisation of monoids as syntactic monoids of languages

cstheory.stackexchange.com

Why can ALL quadratic equations be solved by the quadratic formula?

math.stackexchange.com

Can we make a non-regular language regular via concatentation?

cs.stackexchange.com

Is there such a thing as backwards sigma?

math.stackexchange.com

Existence of an algorithm

cstheory.stackexchange.com