language-toolkit-1.2.0.0: A set of tools for analyzing languages via logic and automata
Copyright(c) 2019-20202023 Dakotah Lambert
LicenseMIT
Safe HaskellSafe-Inferred
LanguageHaskell2010

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

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

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.