@hackage FormalGrammars0.4.0.0

(Context-free) grammars in formal language theory

Installation
In your cabal file:
Tested Compilers
- 8.6.4
Dependencies (17)
- ADPfusion >=0.6.0 && <0.6.1
- PrimitiveArray >=0.10.0 && <0.10.1
- ansi-wl-pprint >=0.6.7
- base >=4.7 && <5.0
- bytestring >=0.10
- containers
Dependents (10)
@hackage/WordAlignment, @hackage/Forestry, @hackage/Gene-CluEDO, @hackage/GrammarProducts, @hackage/ShortestPathProblems, @hackage/acme-everything, Show all…

examples

(off by default)

build the examples

debugdump

(off by default)

dump intermediate Core files

llvm

(off by default)

use llvm

FormalGrammars: A DSL for formal languages in Haskell

The gADP homepage has a tutorial and example on how to write algorithms / grammars.

Ideas implemented here are described in a couple of papers:

Christian Hoener zu Siederdissen
Sneaking Around ConcatMap: Efficient Combinators for Dynamic Programming
2012, Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
paper preprint
Andrew Farmer, Christian Höner zu Siederdissen, and Andy Gill.
The HERMIT in the stream: fusing stream fusion’s concatMap
2014, Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation.
paper
Christian Höner zu Siederdissen, Ivo L. Hofacker, and Peter F. Stadler.
Product Grammars for Alignment and Folding
2014, IEEE/ACM Transactions on Computational Biology and Bioinformatics. 99
paper
Christian Höner zu Siederdissen, Sonja J. Prohaska, and Peter F. Stadler
Algebraic Dynamic Programming over General Data Structures
2015, BMC Bioinformatics
preprint
Maik Riechert, Christian Höner zu Siederdissen, and Peter F. Stadler
Algebraic dynamic programming for multiple context-free languages
2016, Theoretical Computer Science
preprint