T
Thomas Place
Researcher at Institut Universitaire de France
Publications - 58
Citations - 584
Thomas Place is an academic researcher from Institut Universitaire de France. The author has contributed to research in topics: Regular language & Decidability. The author has an hindex of 12, co-authored 51 publications receiving 512 citations. Previous affiliations of Thomas Place include University of Bordeaux & L'Abri.
Papers
More filters
Book ChapterDOI
Going Higher in the First-Order Quantifier Alternation Hierarchy on Words
Thomas Place,Marc Zeitoun +1 more
TL;DR: It is proved that one can decide membership of a regular language to the levels \(\mathcal{B}\Sigma_{2}\) and Σ3 (boolean combination of formulas having only 1 alternation) and 3 (formulas having only 2 alternations beginning with an existential block).
Book ChapterDOI
Separating Regular Languages by Piecewise Testable and Unambiguous Languages
TL;DR: A Ptime algorithm is given to check whether two given regular languages are separable by a piecewise testable language, that is, whether a \(\mathcal{B}\Sigma_1(<) sentence can witness that the languages are disjoint.
Proceedings ArticleDOI
Separation and the Successor Relation
Thomas Place,Marc Zeitoun +1 more
TL;DR: This paper gives simple proofs of results that were considered as difficult, such as the decidability of the membership problem for the levels 1, 3/2, 2 and 5/2 of the dot-depth hierarchy.
Proceedings ArticleDOI
Separating regular languages with first-order logic
Thomas Place,Marc Zeitoun +1 more
TL;DR: It is proved that in order to answer the decision problem: given two regular input languages of finite words, decide whether there exists a first-order definable separator, sufficient information can be extracted from semigroups recognizing the input languages, using a fixpoint computation.
Journal ArticleDOI
Separating Regular Languages with First-Order Logic
Thomas Place,Marc Zeitoun +1 more
TL;DR: In this paper, the authors investigate the problem of deciding whether there exists a first-order definable separator between two regular input languages of finite words, and prove that sufficient information can be extracted from semigroups recognizing the input languages, using a fixpoint computation.