> {-# OPTIONS_HADDOCK show-extensions #-} > {-| > Module : LTK.Decide.TSL > Copyright : (c) 2019 Dakotah Lambert > License : MIT > This module implements an algorithm to decide whether a given FSA > is Tier-Based Strictly Local (TSL) by my own algorithm. > > @since 0.2 > -} > module LTK.Decide.TSL (isTSL) where > import LTK.Decide.SL (isSL) > import LTK.FSA (FSA) > import LTK.Tiers (project) > -- |True iff the automaton recognizes a TSL stringset. > isTSL :: (Ord n, Ord e) => FSA n e -> Bool > isTSL :: FSA n e -> Bool isTSL = FSA n e -> Bool forall e n. (Ord e, Ord n) => FSA n e -> Bool isSL (FSA n e -> Bool) -> (FSA n e -> FSA n e) -> FSA n e -> Bool forall b c a. (b -> c) -> (a -> b) -> a -> c . FSA n e -> FSA n e forall n e. (Ord n, Ord e) => FSA n e -> FSA n e project