7 citations · 7 across the 1 of their papers we have counts for
2 papers
cs.FL2014★ 7 cited
A Characterization for Decidable Separability by Piecewise Testable Languages
Wojciech Czerwiński, Wim Martens, Lorijn van Rooijen +2
The separability problem for word languages of a class by languages of a class asks, for two given languages and from , whether the…
cs.FL2013
On Separation by Locally Testable and Locally Threshold Testable Languages
Thomas Place, Lorijn van Rooijen, Marc Zeitoun
A separator for two languages is a third language containing the first one and disjoint from the second one. We investigate the following decision problem: given two regular input…