| Safe Haskell | None |
|---|
Language.PCPL.Solver
Description
A simple PCP solver. There is a lot of potential for optimization here.
- type PCP = [(Int, Domino)]
- data Node = Node [Int] Configuration
- data Configuration
- search :: PCP -> [Node] -> [Int]
- updateConf :: Configuration -> Domino -> Maybe Configuration
Documentation
data Configuration Source
The unmatched portion of an intermediate PCP state. The paper Tackling Post's Correspondence Problem calls this a configuration.
Constructors
| Top [Symbol] | Portion of the top string that extends past the bottom one |
| Bottom [Symbol] | Portion of the bottom string that extends past the top one |
Instances
updateConf :: Configuration -> Domino -> Maybe ConfigurationSource
Try to update the Configuration with the given Domino.