Separability and Non-Determinizability of WSTS

Wojciech Czerwiński, Eren Keskin, Sławomir Lasota +4

We study the languages recognized by well-structured transition systems (WSTS) with upward and downward compatibility. Our first result shows that every pair of disjoint WSTS langu…