- Open Access
Erratum to: versatile and declarative dynamic programming using pair algebras
BMC Bioinformatics volume 7, Article number: 214 (2006)
We have located a typesetting error in our recent publication in BMC Bioinformatics 2005,6:224 .
Although the error is quite minor (l' = l has been miswritten as l' ∈ L), it occurs in the central Definition 3 in the paper, and is also pasted into subsequent example code (both error sites on p.7, right column).
This error unfortunately looks mathematically plausible, although it is in contradiction with the given verbal explanations.
The corrected Definition 3 now reads as:
Definition 3 (Product operation on evaluation algebras) Let M and N be evaluation algebras over Σ. Their product M***N is an evaluation algebra over Σ and has the functions
fM***N((m1, n1)...(m k , n k )) = (f M (m1,...,m k ), f N (n1,...,n k )) for each f in Σ,
and the objective function
hM***N([(m1, n1)...(m k , n k )]) = [(l, r)|
l ∈ L,
r ← h N ([r'|(l', r') ← [(m1, n1)...(m k , n k )], l' = l])],
where L = h M ([m1,...,n k ]).
Steffen P, Giegerich R: Versatile and declarative dynamic programming using pair algebras. BMC Bioinformatics 2005, 6: 224. 10.1186/1471-2105-6-224
The online version of the original article can be found at 10.1186/1471-2105-6-224
About this article
Cite this article
Steffen, P., Giegerich, R. Erratum to: versatile and declarative dynamic programming using pair algebras. BMC Bioinformatics 7, 214 (2006). https://doi.org/10.1186/1471-2105-7-214