Search

• < Previous
• 1
• Next >

---

Separating regular languages with two quantifier alternations

Thomas Place.

We investigate a famous decision problem in automata theory: separation. Given a class of language C, the separation problem for C takes as input two regular languages and asks whether there exists a third one which belongs to C, includes the first one and is disjoint from the second. Typically,&nbsp;[&hellip;]

---

The Covering Problem

Thomas Place ; Marc Zeitoun.

An important endeavor in computer science is to understand the expressive power of logical formalisms over discrete structures, such as words. Naturally, "understanding" is not a mathematical notion. This investigation requires therefore a concrete objective to capture this understanding. In the&nbsp;[&hellip;]

---