Separability by piecewise testable languages is \textsc{PTime}-complete (Q1698734)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Separability by piecewise testable languages is \textsc{PTime}-complete |
scientific article |
Statements
Separability by piecewise testable languages is \textsc{PTime}-complete (English)
0 references
16 February 2018
0 references
separability
0 references
piecewise testable languages
0 references
complexity
0 references