Copyright | (c) 2021 Dakotah Lambert |
---|---|
License | MIT |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
This module implements an algorithm to decide whether a syntactic semigroup \(S\) is tier-based locally Piecewise Testable (TLPT). This is the case iff its tier-projection is LPT.
Since: 1.0