| CARVIEW |
GrammarProducts: Grammar products and higher-dimensional grammars
generalized Algebraic Dynamic Programming
An algebra of linear and context-free grammars.
This library provides the implementation of our theory of algebraic operations over linear and context-free grammars. Using algebraic operations, it is possible to construct complex dynamic programming algorithms from simpler "atomic" grammars.
Our most important contribution is the definition of a product of grammars which naturally leads to alignment-like algorithms on multiple tapes.
An efficient implementation of the resulting grammars is possible via the ADPfusion
framework. The FormalGrammars library provides the required "Template Haskell"
machinery. GramarProducts can be integrated as a plugin into the existing
transformation from DSL to ADPfusion. Haskell users can just use the QQ function
provided in the .QQ module.
Alternatively, the resulting grammars can also be pretty-printed in various ways (ANSI, Haskell module with signature and grammar).
The formal background can be found in two papers given in the README. The gADP homepage has further details, tutorials, examples.
[Skip to Readme]
Modules
[Index] [Quick Jump]
Flags
Manual Flags
| Name | Description | Default |
|---|---|---|
| examples | build the examples (only Needleman-Wunsch for now) | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- GrammarProducts-0.2.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
| Versions [RSS] | 0.0.0.2, 0.0.0.3, 0.0.0.4, 0.1.0.0, 0.1.1.0, 0.1.1.1, 0.1.1.2, 0.1.1.3, 0.2.0.0 |
|---|---|
| Change log | changelog.md |
| Dependencies | ADPfusion (>=0.6.0 && <0.6.1), ansi-wl-pprint (>=0.6), base (>=4.7 && <5.0), bytestring (>=0.10), containers (>=0.5), data-default (>=0.5), FormalGrammars (>=0.4.0 && <0.4.1), lens (>=4), newtype (>=0.2), parsers (>=0.12), PrimitiveArray (>=0.10.0 && <0.10.1), semigroups (>=0.15), template-haskell (>=2), transformers (>=0.4), trifecta (>=1.7.1.1 && <2.1) [details] |
| Tested with | ghc ==8.6.4 |
| License | GPL-3.0-only |
| Copyright | Christian Hoener zu Siederdissen, 2013-2019 |
| Author | Christian Hoener zu Siederdissen, 2013-2019 |
| Maintainer | choener@bioinf.uni-leipzig.de |
| Uploaded | by ChristianHoener at 2019-10-02T09:59:32Z |
| Category | Formal Languages, Bioinformatics |
| Home page | https://github.com/choener/GrammarProducts |
| Bug tracker | https://github.com/choener/GrammarProducts/issues |
| Source repo | head: git clone git://github.com/choener/GrammarProducts |
| Distributions | |
| Reverse Dependencies | 4 direct, 1 indirect [details] |
| Executables | AlignGlobal |
| Downloads | 7670 total (33 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating |
|
| Status | Docs available [build log] Last success reported on 2019-10-02 [all 1 reports] |
Readme for GrammarProducts-0.2.0.0
[back to package description]GrammarProducts: Products of formal languages
generalized Algebraic Dynamic Programming Homepage
An abstract algebra for linear and context-free grammars.
- 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, Ivo L. Hofacker, and Peter F. Stadler.
How to Multiply Dynamic Programming Algorithms
2013, Brazilian Symposium on Bioinformatics (BSB 2013)
Lecture Notes in Bioinformatics 8213. Springer, Heidelberg.
paper preprint
Contact
Christian Hoener zu Siederdissen
Leipzig University, Leipzig, Germany
choener@bioinf.uni-leipzig.de
https://www.bioinf.uni-leipzig.de/~choener/