LTK.Learn.SP

Description

This module implements a string extension learner for the SP class.

Since: 0.3

Synopsis

Documentation

data SPG a #

A representation of an SP grammar.

Instances details

HasAlphabet SPG #
Instance details Defined in LTK.Learn.SP Methods alphabet :: SPG e -> Set e #
Grammar SPG #
Instance details Defined in LTK.Learn.SP Methods genFSA :: (NFData a, Ord a) => SPG a -> FSA Integer a # augmentG :: Ord a => SPG a -> SPG a -> SPG a # isSubGOf :: Ord a => SPG a -> SPG a -> Bool # emptyG :: Ord a => SPG a #
(Read a, Ord a) => Read (SPG a) #
Instance details Defined in LTK.Learn.SP Methods readsPrec :: Int -> ReadS (SPG a) # readList :: ReadS [SPG a] # readPrec :: ReadPrec (SPG a) # readListPrec :: ReadPrec [SPG a] #
Show a => Show (SPG a) #
Instance details Defined in LTK.Learn.SP Methods showsPrec :: Int -> SPG a -> ShowS # show :: SPG a -> String # showList :: [SPG a] -> ShowS #
Eq a => Eq (SPG a) #
Instance details Defined in LTK.Learn.SP Methods (==) :: SPG a -> SPG a -> Bool # (/=) :: SPG a -> SPG a -> Bool #
Ord a => Ord (SPG a) #
Instance details Defined in LTK.Learn.SP Methods compare :: SPG a -> SPG a -> Ordering # (<) :: SPG a -> SPG a -> Bool # (<=) :: SPG a -> SPG a -> Bool # (>) :: SPG a -> SPG a -> Bool # (>=) :: SPG a -> SPG a -> Bool # max :: SPG a -> SPG a -> SPG a # min :: SPG a -> SPG a -> SPG a #

fSP :: Ord a => Int -> [a] -> SPG a #

Return the set of factors under precedence of length \(k\) or less in the given word.