New posts in Automata Theory

Is Post's tag system solved?

Isomorphism in category of finite automata

Is there an algorithm that can "reverse engineer" a Regular Expression?

Regular languages and the pumping lemma