LTK.Learn.SP

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

Since: 0.3

Documentation

data SPG a

A representation of an SP grammar.

Instances

HasAlphabet SPG

Defined in LTK.Learn.SP

Methods

alphabet :: SPG e -> Set e

Grammar SPG

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)

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)

Defined in LTK.Learn.SP

Methods

showsPrec :: Int -> SPG a -> ShowS

show :: SPG a -> String

showList :: [SPG a] -> ShowS

Eq a => Eq (SPG a)

Defined in LTK.Learn.SP

Methods

(==) :: SPG a -> SPG a -> Bool

(/=) :: SPG a -> SPG a -> Bool

Ord a => Ord (SPG a)

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.