Correction

Correction: versatile and declarative dynamic programming using pair algebras

Peter Steffen and Robert Giegerich

Faculty of Technology, Bielefeld University, Postfach 10 01 31, 33501 Bielefeld, Germany

author email corresponding author email

BMC Bioinformatics 2006, 7:214doi:10.1186/1471-2105-7-214

The electronic version of this article is the complete one and can be found online at: http://www.biomedcentral.com/1471-2105/7/214

Received:	19 April 2006
Accepted:	20 April 2006
Published:	20 April 2006

© 2006 Steffen and Giegerich; licensee BioMed Central Ltd.
This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Correction

We have located a typesetting error in our recent publication in BMC Bioinformatics 2005,6:224 [1].

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

f_M***N ((m₁, n₁)...(m_k, n_k)) = (f_M (m₁,...,m_k), f_N(n₁,...,n_k)) for each f in Σ,

and the objective function

   h_M***N([(m₁, n₁)...(m_k, n_k)]) = [(l, r)|

      l ∈ L,

      r ← h_N([r'|(l', r') ← [(m₁, n₁)...(m_k, n_k)], l' = l])],

      where L = h_M ([m₁,...,n_k]).

References

1. Steffen P, Giegerich R: Versatile and declarative dynamic programming using pair algebras.

   BMC Bioinformatics 2005, 6:224. PubMed Abstract | BioMed Central Full Text | PubMed Central Full Text

Have something to say? Post a comment on this article!