| Copyright | (c) 2022-2024 Dakotah Lambert |
|---|---|
| License | MIT |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
LTK.Decide.TLAcom
Description
This module implements an algorithm to decide whether a given FSA is Tier-Based Locally Acom (TLAcom) by my own algorithm.
Since: 1.1
Documentation
isTLAcom :: (Ord n, Ord e) => FSA n e -> Bool Source #
True iff the automaton recognizes a TLAcom stringset.
isTLAcomM :: (Ord n, Ord e) => SynMon n e -> Bool Source #
True iff the monoid recognizes a TLAcom stringset.
isTLAcoms :: FiniteSemigroupRep s => s -> Bool Source #
True iff the semigroup recognizes a TLAcom stringset.
Since: 1.2