Algebraic Dynamic Programming on Trees

Where string grammars describe how to generate and parse strings, tree grammars describe how to generate and parse trees. We show how to extend generalized algebraic dynamic programming to tree grammars. The resulting dynamic programming algorithms are efficient and provide the complete feature set...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Algorithms Ročník 10; číslo 4; s. 135
Hlavní autoři: Berkemer, Sarah, Höner zu Siederdissen, Christian, Stadler, Peter
Médium: Journal Article
Jazyk:angličtina
Vydáno: Basel MDPI AG 01.12.2017
Témata:
Algebra
Algorithms
Bioinformatics
Domain specific languages
Dynamic programming
Forest management
formal language
Grammars
Parsers
Strings
tree alignment
tree editing
Trees
ISSN:1999-4893, 1999-4893
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Where string grammars describe how to generate and parse strings, tree grammars describe how to generate and parse trees. We show how to extend generalized algebraic dynamic programming to tree grammars. The resulting dynamic programming algorithms are efficient and provide the complete feature set available to string grammars, including automatic generation of outside parsers and algebra products for efficient backtracking. The complete parsing infrastructure is available as an embedded domain-specific language in Haskell. In addition to the formal framework, we provide implementations for both tree alignment and tree editing. Both algorithms are in active use in, among others, the area of bioinformatics, where optimization problems on trees are of considerable practical importance. This framework and the accompanying algorithms provide a beneficial starting point for developing complex grammars with tree- and forest-based inputs.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1999-4893
1999-4893
DOI:10.3390/a10040135