 Methodology
 Open Access
 Published:
An algebraic language for RNA pseudoknots comparison
BMC Bioinformatics volume 20, Article number: 161 (2019)
Abstract
Background
RNA secondary structure comparison is a fundamental task for several studies, among which are RNA structure prediction and evolution. The comparison can currently be done efficiently only for pseudoknotfree structures due to their inherent tree representation.
Results
In this work, we introduce an algebraic language to represent RNA secondary structures with arbitrary pseudoknots. Each structure is associated with a unique algebraic RNA tree that is derived from a tree grammar having concatenation, nesting and crossing as operators. From an algebraic RNA tree, an abstraction is defined in which the primary structure is neglected. The resulting structural RNA tree allows us to define a new measure of similarity calculated exploiting classical tree alignment.
Conclusions
The tree grammar with its operators permit to uniquely represent any RNA secondary structure as a tree. Structural RNA trees allow us to perform comparison of RNA secondary structures with arbitrary pseudoknots without taking into account the primary structure.
Background
RNA is a single stranded polymer, called primary structure, that consists of four different nucleotides  Adenine (A), Guanine (G), Cytosine (C) and Uracil (U)  linked together by phosphodiester bonds, referred to as strong bonds. RNA folds back on itself determining complex treedimensional shapes known as secondary and tertiary structures. During the folding process each nucleotide can interact with another one by establishing a hydrogen bond, referred to as weak bond, mainly forming WatsonCrick (GC and AU) and wobble (GU) base pairs.
According to Waterman [1, 2] RNA secondary structures can be decomposed into five basic structural elements, namely hairpins, internal loops, bulges, helices and multiloops, as illustrated in Fig. 1. Each structural element is generated when at least one base pair is established and is characterised by strong and weak interactions determining a loop. A hairpin (Fig. 1a) is a loop characterised by one weak bond enclosing a sequence of nucleotides linked by strong bonds. An internal loop (Fig. 1b) is defined by two weak bonds alternating with two nonempty sequences of nucleotides linked by strong bonds. A bulge (Fig. 1c) is a special case of internal loop in which one of the two sequences of nucleotides is empty. A helix (Fig. 1d) is also a special case of internal loop in which both sequences are empty. Finally, a multiloop (Fig. 1e) consists of more than two weak bonds separated by nonempty sequences of nucleotides linked by strong bonds.
Disregarding the spatial configuration of the molecule and reducing nucleotides to dots, an RNA secondary structure can be schematically represented by a planar diagram like the one in Fig. 2, where solid and zigzagged lines represent strong and weak bonds, respectively. Each planar diagram can be transformed into another one (see Fig. 3) where the nucleotides are represented by vertices on a straight line (backbone) and the base pairs are drawn as arcs in the upper halfplane. Note that Fig. 3 shows the same molecule of Fig. 2. A secondary structure is said to be pseudoknotfree if the diagram does not present crossing among base pairs (Fig. 3a), otherwise it is called pseudoknotted (Fig. 3b).
Pseudoknots are very significant for the functional aspects of the RNA structures where they are present [3] and they are actually frequently found in real RNAs [4]. It is recognised that they play a variety of roles in biology, for example in the formation of the catalytic core of various ribozymes [5, 6] and in the alteration of gene expression inducing ribosomal frameshifting in many viruses [7, 8].
The ability to compare RNA structures is useful for the prediction of the RNA folding process taking as initial data a set of already known secondary structures [9]. It is also useful for the RNA classification of various species [10, 11], for determining the RNA consensus structure of aligned sequences and for the identification of highly conserved structures during evolution [12, 13]. Functional RNA families such as tRNA, rRNA, and RNAse P exhibit a highly conserved shape of secondary structure but little sequence similarity [14]. Therefore, it is of great interest the possibility of comparing RNA secondary structures directly, i.e., without relying on sequence similarity [15–17].
Many approaches for pseudoknotfree RNA secondary structure comparison are based on their natural contextfree tree representation. Thus, the comparison of pseudoknotfree structures can be reduced to tree comparison. Tree comparison was firstly introduced by Selkow in 1977. He gave an algorithm that transforms a given tree into another one by performing a sequence of edit operations (namely, deletion, insertion and replacement of nodes) with minimal score [18]. Selkow’s approach had the limitation that the edit operations could be applied only to the leaf nodes of the trees. Later, Tai’s work used the same edit operations but permitted their application to all nodes [19]. Another comparison technique is based on tree alignment, defined by Jiang et al. [20]. Given two trees, it constructs an alignment tree in which they can be embedded homomorphically. Tree editing and tree alignment are both based on edit operations and minimise a score function associated with them. This minimal score is usually referred to as distance and is used as a measure of similarity among structures. Höchsmann et al. extended the tree alignment algorithm to compute the local alignment of forests and, based on the forest alignment model, developed a multiple alignment algorithm. RNAforester is the software package that implements these algorithms for pseudoknotfree RNA secondary structure comparison [14, 21]. RNAforester is distributed within the ViennaRNA package [22]. Chauve et al. defined the first unambiguous and complete dynamic programming for tree alignment [23]. Many other authors contributed in this field although the computational complexity has not been improved [24]. For a complete treatment of tree editing and tree alignment we refer to Bille’s survey [25]. In the RNA setting, the tree editing approach is useful to identify the conserved structures during the folding process, while the tree alignment is suitable for clustering RNA molecules purely at the structural level.
Although motifs with pseudoknots are considered important, most of the comparison approaches in the literature exclude pseudoknotted structures. One of the main reasons for this lack is the fact that the classical tree representation of structures fails when pseudoknots are present [26]. However, in the literature there are some works in which pseudoknotted structures are represented with other kinds of mathematical structures. Möhl et al. proposed a sequencestructure alignment for RNA pseudoknots which involves a pipeline for combining alignment and prediction of pseudoknots [27]. Han et al. decomposed embedded pseudoknots into simple pseudoknots and aligned them recursively [28]. Yoon used a profile hidden Markov model to establish sequence alignment constraints and incorporated these constraints into an algorithm for aligning RNAs with pseudoknots [29]. Wong et al. identified the pseudoknot type of a given structure and developed dynamic programming algorithms for structural alignments of different pseudoknot types [30]. Huang et al. applied a tree decomposition algorithm to search for noncoding RNA pseudoknotted structures in genomes [31].
Parallel to structure comparison, structure prediction is one of the most extensively studied problems about RNA secondary structures. For the state of the art about folding algorithms we refer to a recent survey [32]. Regarding the folding of pseudoknotted structures, efficient algorithms exist only for particular classes of pseudoknots because finding the best structure including arbitrary pseudoknots is an NPcomplete problem [33]. An overview of the various classes of pseudoknots is given by Nebel and Weinberg [34]. In particular, Reeder and Giegerich introduced the class of canonical simple recursive pseudoknots and developed an algorithm for folding structures possibly containing these motifs [35]. Notably, they used the general framework of Algebraic Dynamic Programming (ADP) [36, 37], which has been recently extended by Berkemer et al. to tree grammars and applied to tree alignment and tree editing [38]. Riechert et al. expanded ADP to be used with multiple contextfree grammars and applied the method to the classes of RNA pseudoknotted secondary structures that can be expressed by multiple contextfree grammars [39]. Ponty and Saule unified in the same framework the dynamic programming algorithms for the folding of several classes of RNA secondary structures with pseudoknots based on hypergraph representation [40].
In this paper we tackle the problem of structural comparison of RNA secondary structures with arbitrary pseudoknots based on an algebraic language for their representation as trees. We reuse the existing familiar notion of tree alignment with the relative optimised algorithms. A distance is defined among structures that neglects the primary structure and focuses on weak interactions.
We introduce first a set of appropriate operators, namely concatenation, nesting and crossing, which are defined to express each RNA secondary structure as an algebraic composition of hairpin loops. Briefly, concatenation is used to represent a motif in which a structure is followed by another one, as illustrated in Fig. 4a for two simple hairpins. Nesting corresponds to the insertion of a structure into a hairpin (Fig. 4b, where the internal structure is a simple hairpin) and crossing models interaction among structures (Fig. 4c, where both structures are simple hairpins). According to the nature of RNA molecules, nesting and crossing are well defined if each nucleotide of the resulting structure forms at most one base pair. Such constraints do not apply to concatenation because two concatenated structures do not share nucleotides.
Using the defined operators, we introduce a regular tree grammar with conditional productions to obtain a unique tree representation of each RNA secondary structure, both pseudoknotfree and pseudoknotted. The use of tree grammars is inspired by the ADP framework, which is mainly used in the context of folding. In this work we use only the tree language part of the ADP framework because we focus on the representation of structures. As future work, we plan to use the full framework for exploiting our algebraic operators in the context of folding.
The derived trees of the defined regular tree grammar are called algebraic RNA trees and they are shown to be in a onetoone correspondence with RNA secondary structures. This representation emphasises the algebraic nature of our approach, but contains too much information for the purpose of structural comparison by tree alignment. Therefore, we abstract them and we derive structural RNA trees by forgetting the primary structure. The algebraic aspect will be investigated in a future work to obtain a formalisation of a real algebra similar to Allen’s Interval Algebra [41]. Our distance is calculated by aligning structural RNA trees using a scoring function that takes into account deletion, insertion and replacement of operators and hairpins, together with the number of crossings among hairpins.
We implemented the construction of algebraic and structural RNA trees together with the alignment and the calculation of the distance in the ASPRAlign open source Java application [42] that is distributed under the GNU General Public Licence, version 3.
Methods
Regular tree grammars
The theory of tree automata and tree languages was introduced in the middle of the 1960s by Thatcher [43] and extended in the following years [44]. Let us give a brief presentation of regular tree grammars in the style used within the ADP framework [36, 37].
Definition 1
(Signature) Let \(\mathcal {A}\) be an alphabet of symbols. A signature Σ over \(\mathcal {A}\) consists of:

a name for a base set, say D, intended as a placeholder for a yet unspecified data domain;

a family of function names (operators), together with their argument and result types, where

argument types are either D or \(\mathcal {A}\), and

the result type is always D.

A signature contains the building blocks for constructing terms, which are all the welltyped formulas that can be formed using the symbols in \(\mathcal {A}\) and the function names of the signature Σ. Each term can be naturally viewed as a rooted, ordered, labeled tree; actually, in this context, they can be identified, thus we will speak equivalently of terms or trees. The set containing all terms is denoted by T_{Σ} and is the analogous of the universe set \(\mathcal {A}^{*}\) for string languages. As it happens for strings, usually it is convenient to consider only a subset of all possible trees, which leads to the definition of tree languages.
Definition 2
(Tree Language) Let \(\mathcal {A}\) be an alphabet and let Σ be a signature. A tree language defined by Σ over \(\mathcal {A}\) is any subset of T_{Σ}.
Along the analogy with string languages, a tree language can be defined by a tree grammar. Among different types of tree grammars, having different expressive powers, we will use regular tree grammars. For convenience we permit variables, used as nonterminal symbols, in terms. If V is a set of variables then T_{Σ}(V) denotes the set of all the terms in which a variable in V can occur as a term or in place of a subterm.
Definition 3
(Regular Tree Grammar) A regular tree grammar \(\mathcal {G}\) over Σ is a tuple \((V,\Sigma,S,\mathcal {P})\) where:

V is a set of nonterminal symbols;

Σ is a signature;

S∈V is a designed nonterminal symbol called axiom;

\(\mathcal {P}\) is a set of productions of the form v→t, where v∈V and t∈T_{Σ}(V).
A derivation relation for regular tree grammars \(\xrightarrow {*}\) is defined analogously to the one of contextfree grammars. Starting from the axiom, each nonterminal symbol v can be rewritten with a tree t whenever v→t belongs to \(\mathcal {P}\).
Definition 4
(Language of a Regular Tree Grammar) Let \(\mathcal {G} = (V,\Sigma,S,\mathcal {P})\) be a regular tree grammar. The tree language generated by \(\mathcal {G}\) is
As an example, let \(\mathcal {A} = \{a,b,c,d,e\}\) be an alphabet and let Σ={p,q}, with \(p\colon \mathcal {A} \times D \times \mathcal {A} \rightarrow D\) and \(q\colon D \times \mathcal {A} \rightarrow D\), be a signature over \(\mathcal {A}\). Let \(\mathcal {G}_{1} = (\{S,T\}, \Sigma, S, P)\) be a regular tree grammar where \(\mathcal {P}\) consists of the rules:
Then, for instance, \(\mathcal {G}_{1}\) generates the term p(a,q(p(c,e,d),b),a) as follows:
or, pictorially, as trees:
In the literature, each tree obtained with the tree grammar is known as derived tree. For each derived tree, its yield is normally defined as the sequence of leaf symbols read in left to right order. Formally, the yield functiony on a tree t∈T_{Σ} is defined as
thus, for each tree t, \(y(t) \in \mathcal {A}^{*}\). In the example above, the yield of the derived tree p(a,q(p(c,e,d),b),a) is the string acedba.
For brevity, as proposed for instance in [45], we add a lexical level to the grammar, i.e., we allow strings from \(\mathcal {A}^{*}\) to label the leaf of trees, instead of constraining to a single symbol. Moreover, for the purposes of this paper, we will also use conditional productions, i.e. syntactic conditions associated with productions, as defined in the following.
Definition 5
(Conditional Production) In a regular tree grammar, a conditional production has the form \( v \xrightarrow {c} t \) where c is a predicate defined on \(\mathcal {A}^{*}\). A derivation using a conditional production \(v \xrightarrow {c} t\) is well formed if and only if the tree t^{′}∈T_{Σ} obtained from t at the end of the derivation, i.e. \(t \xrightarrow {*} t'\), is such that c(y(t^{′})) holds.
The language of a regular tree grammar with conditions is the set of trees that can be derived from the axiom only by wellformed derivations.
Note that the use of a conditional production \(v \xrightarrow {c} t\) at some point in a derivation affects the complete derivation that continues from the subtree t inserted by this production. Only after the derivation is complete the condition can be checked.
Tree alignment
Tree alignment is a generalisation of sequence alignment. Let us introduce the notion of tree alignment by analogy with that of sequence alignment. An alignment of two sequences of characters can be seen as a sequence of character pairs, where pairs of type (a,b) are replacements, (a,−) are deletions and (−,a) are insertions. Note that a,b are alphabet characters of the sequence, whereas “”, referred to as the gap symbol, is not an element of the alphabet. Let s_{1} and s_{2} be two sequences over an alphabet and let s_{1}[ i] (s_{2}[ i]) denote the ith element of the sequence s_{1} (s_{2}). An alignment of s_{1} and s_{2} is denoted s^{′}=(s1′,s2′) and is such that each element of a pair (s1′[ i], s2′[ i]) may be the gap symbol, but the pair (−,−) is not allowed. The score of an alignment of two sequences is given by
where σ is a scoring function such that σ(x,y)=0 if x=y≠− and σ(x,y)=1 otherwise. With an abuse of notation, here and in the following definition σ is used both for the scoring function and the score. An optimal alignment is an alignment with the minimum score.
The alignment of trees can be defined by analogy. An alignment of two ordered labelled trees is a tree whose nodes carry pairs that represent deletions, insertions, and replacements as defined for the alignment of sequences. Given two trees t_{1} and t_{2}, to obtain an alignment tree they must first be modified by inserting nodes labelled with the gap symbol in such a way that they become isomorphic. Then, the two isomorphic trees are overlaid forming only one tree L in which each node contains the pair of the labels coming from the two isomorphic trees.
Definition 6
(Tree Alignment Distance) Let t_{1} and t_{2} be two trees. The tree alignment distance between t_{1} and t_{2}, denoted by d_{T}(t_{1},t_{2}), is the minimum score over all possible alignments of the two trees:
where \(\sigma (L)= \sum _{(a,b) \in L} \sigma (a,b)\) and σ is a scoring function.
The tree alignment distance is not a metric, as it does not satisfy the triangle inequality. The tree alignment problem, i.e. finding the alignment with the optimal score, can be solved by considering all possible candidate alignments in a dynamic programming algorithm. A classical tree alignment algorithm was proposed by Jiang et al. in [20]. For a complete treatment of tree alignment we refer to the tutorial of Schirmer et al. [46].
Results
Algebraic operators for RNA secondary structures
As introduced in the “Background” section, Waterman showed that each pseudoknotfree RNA secondary structure can be uniquely decomposed into five basic structural elements, or loops [1, 2]. Among these loops, hairpin is the basic one, consisting of only one weak interaction closing a sequence of unpaired nucleotides. Inspired by the Waterman’s result, our first objective is to define a set of algebraic operators able to represent any kind of RNA secondary structure, including the pseudoknotted ones, as a combination of simple hairpin loops. In other words, our aim is to express any RNA secondary structure as an algebraic expression that, using only the defined operators, combines simple hairpins in a proper way to obtain a unique representation of the structure.
Let us first introduce informally all the needed ingredients by using some examples. First, we observe that, starting from a primary structure, the introduction of a weak interaction creates a secondary structure, which is composed of a head sequence, followed by a hairpin loop, followed by another sequence of unpaired nucleotides, which is a tail. Figure 5a shows an example of this case, where the head is formed only by the nucleotide A and the tail is the sequence AGUU. Secondly, we observe that the introduction of a new weak interaction between two unpaired nucleotides inside an hairpin generates another loop that is nested into the other, as illustrated in Fig. 5b. Nesting is the first of our operators, used to represent these situations. Thirdly, we observe that adding simultaneously two or more new weak interactions that involve nucleotides of an existing loop, in such a way that they do not cross, the result is the appearing of two or more new hairpins. They are concatenated and linked by a possibly empty sequence of unpaired nucleotides. Figure 6a shows this case by introducing into the structure of Fig. 5b two new weak interactions. The two new hairpins are linked by the nucleotide G. Concatenation is then another operator, introduced to model these situations. Finally, we observe that adding a new weak interaction involving two unpaired nucleotides of two different loops or one nucleotide of a loop and a nucleotide of the tail (or of the head), a pseudoknot is created. Figure 6b shows an example of the second case. The first nucleotide that belongs to the loop is connected with another one that composes the tail of the structure. Such weak interaction crosses with other weak interactions, calling for a crossing operator, which is the third of our set.
To define the three operators more formally we need to introduce the concept of pseudoloop, a structure characterised by zero or more crossings of weak interactions. Two examples of pseudoloops are illustrated in Fig. 7: a structure with one crossing and another one with three crossings. Graphically, we identify a pseudoloop with a dashed line and call it pseudoweak interaction, a fictitious weak interaction that links the first and the last nucleotide of the structure. Note that pseudoloops are just secondary structures without heads and tails. Note also that a simple hairpin loop or a concatenation of hairpin loops is a pseudoloop, in this case having no crossings. Figure 8 illustrates these cases by showing two pseudoloops that are elements of the structure of Fig. 6b.
Formally, each pseudoloop will be denoted by an expression of the form \(\left (a^{\bullet }_{1},a^{\bullet }_{N}\right) \langle \alpha \rangle \), where α is the sequence of nucleotides (backbone) enclosed by the pseudoweak interaction between the first nucleotide, \(a^{\bullet }_{1}\), and the last one, \(a^{\bullet }_{N}\). The ∙ notation indicates that the nucleotide is already paired with another one in a weak interaction. Conversely, the notation ∘ indicates that the nucleotide is unpaired. The sequence α may contain both paired and unpaired nucleotides. We will use the following convention throughout the paper: whenever we write an expression of the form a^{s} or \(a^{s}_{i}\), where a,a_{i}∈{A,U,G,C} and s∈{∘,∙}, we mean that a or a_{i} is the kind of nucleotide and s is the boolean information about its state of being paired or unpaired. Thus, if we write a_{i}=b_{j} we mean that a_{i} and b_{j} are the same nucleotide, but we do not care about the pairing information. Instead, if we write an expression of the form ais_{i}=bjt_{j}, we impose that nucleotides a_{i} and b_{j} are the same and their states about pairing is the same as well. Finally, the pairing state notation may be omitted in contexts in which it can be neglected.
Our three operators are defined over pseudoloops: they take two pseudoloops and map them into another one. Note that a pseudoloop “forgets” the information about the actual weak interactions that exist inside it, retaining only the information about the pairing of nucleotides. This will not be a problem for our purposes because later we are going to use this concept just to check that the result of the application of the operators is well defined, which will not depend on the actual weak interactions that are inside the involved pseudoloops. Let us start defining the concatenation operator that takes two pseudoloops and attach them by a sequence of unpaired nucleotides.
Definition 7
(Concatenation) Let \(P_{1} = \left (a^{\bullet }_{1},a^{\bullet }_{N}\right) \langle a_{2}\dots a_{N1}\rangle \) and \(P_{2} = \left (b^{\bullet }_{1},b^{\bullet }_{M}\right)\langle b_{2}\dots b_{M1}\rangle \) be two pseudoloops such that a_{i},b_{j} are paired or unpaired nucleotides for all i=2,…,N−1 and j=2,…,M−1. Let η=c°_{1}…c°_{T} be a possibly empty sequence of unpaired nucleotides. The concatenation of P_{1} and P_{2}, denoted by P_{1}⊙_{η}P_{2}, is defined as
As an example, consider the structure in Fig. 8b. This pseudoloop can be obtained as the concatenation of two pseudoloops P_{1}=(A^{∙},U^{∙})〈C°C°〉 and P_{2}=(C^{∙},G^{∙})〈A°C°〉 linked by a sequence composed of only one unpaired nucleotide, G. Thus,
Differently from concatenation, the definition of the crossing of two pseudoloops is subject to constraints. In particular, it is necessary that a proper postfix of the primary sequence of the left pseudoloop is in common with a proper prefix of the primary sequence of the right one. Moreover, when the two pseudoloops are overlapped, the shared nucleotides must still retain the biological property that they are involved in at most one weak interaction. Thus, the definition that we are going to give necessarily introduces a notion of being welldefined, i.e., there may be crossings between pseudoloops that can not be considered valid in our setting. The definition also introduces a further parameter, a number k that holds the information about the position inside the left pseudoloop at which the right pseudoloop is attached (actually partially overlapped).
Definition 8
(Crossing) Let \(P_{1} = \left (a^{\bullet }_{1},a^{\bullet }_{N}\right)\left \langle a^{s_{2}}_{2} \! \dots \! a^{s_{N1}}_{N1}\right \rangle \) and \(P_{2} = \left (b^{\bullet }_{1},b^{\bullet }_{M}\right)\left \langle b^{t_{2}}_{2} \! \dots \! b^{t_{M1}}_{M1}\right \rangle \) be two pseudoloops such that s_{i},t_{j}∈{∙,∘} for all i=2,…,N−1 and j=2,…,M−1. Let k∈{2,…,N−1} be an internal position of a nucleotide in P_{1}. The crossing between P_{1} and P_{2}, denoted by P_{1} ⋊⋉_{k}P_{2}, is defined as
where

1
M+k−1>N, i.e., if P_{2} is attached starting from position k of P_{1}, then the sequence of nucleotides of P_{2} ends after P_{1};

2
b_{1}=a_{k},b_{2}=a_{k+1},…,b_{M−k}=a_{N}, i.e., P_{2} shares with P_{1} the nucleotides from the kth of P_{1} to the last one of P_{1}; and

3
for all z=2,…,M+k−1
$${\begin{aligned} w_{z} = \left\{ \begin{array}{lll} s_{z} & \text{ if} & z < k \\ t_{z} & \text{ if} & z > N \\ \circ & \text{ if} & k \leq z \leq N \, \wedge \, (s_{z} = \circ \, \wedge \, t_{zk+1} = \circ)\\ \bullet & \text{ if} & k \leq z \leq N \, \wedge \, ((s_{z} = \bullet \, \wedge \, t_{zk+1} = \circ) \, \vee \, (s_{z} = \circ \, \wedge \, t_{zk+1} = \bullet))\\ \perp & \text{ if} & k \leq z \leq N \, \wedge \, (s_{z} = \bullet \, \wedge \, t_{zk+1} = \bullet) \\ \end{array} \right. \end{aligned}} $$that is to say, each nucleotide in position z that is in common between P_{1} and P_{2} is involved in at most one weak interaction whenever w_{z}≠⊥.
We say that the crossing P_{1} ⋊⋉_{k}P_{2} is well defined if and only if conditions (1) and (2) above are met and for all z=2,…,M+k−1 it holds that w_{z}≠⊥.
As an example, consider the structure in the Fig. 6b. The pseudoloop involving the nucleotides between the second (A^{∙}) and the next to last (U^{∙}) can be obtained as the crossing of P_{1}=(A^{∙},U^{∙})〈G^{∙}A^{∙}C°C°U^{∙}G°C^{∙}A°C°G^{∙}C^{∙}〉 and P_{2}=(G^{∙},U^{∙})〈C°A°C°G°C°U°A°G°〉, where k is equal to 7. Note that P_{1} corresponds to the structure of Fig. 6a. The result is
The nesting operator shares with the crossing one the fact that it is necessary to introduce a notion of being welldefined. However, for the nesting the constraints are slightly different. In particular, the nucleotides of the pseudoloop that is going to be nested inside the other one must all be shared, that is to say, the primary sequence of the nested pseudoloop must be a proper substring of the outer pseudoloop. The biological constraint about the weak interactions is the same. For convenience we impose that the outer pseudoloop of the nesting is the right operand of the operator while the nested pseudoloop is the left one. This decision influences also the position information held by the parameter k: in this case k is the relative position inside the outer (right) pseudoloop at which the nested (left) pseudoloop is overlapped.
Definition 9
(Nesting) Let \(P_{1} = \left (a^{\bullet }_{1},a^{\bullet }_{N}\right)\left \langle a^{s_{2}}_{2} \! \dots \! a^{s_{N1}}_{N1}\right \rangle \) and \(P_{2} = \left (b^{\bullet }_{1},b^{\bullet }_{M}\right)\left \langle b^{t_{2}}_{2} \! \dots \! b^{t_{M1}}_{M1}\right \rangle \) be two pseudoloops such that s_{i},t_{j}∈{∙,∘} for all i=2,…,N−1 and j=2,…,M−1. Let k∈{2,…,M−2} be an internal position of a nucleotide in P_{2}. The nesting of P_{1} and P_{2}, denoted by \(P_{1} \Cap _{k}P_{2}\), is defined as
where:

1
k+N−1<M, i.e., P_{1} can be fully embedded inside P_{2} starting from position k of P_{2};

2
a_{1}=b_{k},a_{2}=b_{k+1},…,a_{N}=b_{k+N−1}, i.e., all nucleotides of P_{1} are shared with P_{2}; and

3
for all z=2,…,M−1
$${\begin{aligned} w_{z} = \left\{ \begin{array}{lll} t_{z} & \text{ if} & z < k \, \vee \, z > k + N  1\\ \circ & \text{ if} & k \leq z \leq k + N 1 \, \wedge \, (t_{z} = \circ \, \wedge \, s_{zk+1} = \circ)\\ \bullet & \text{ if} & k \leq z \leq k + N  1 \; \, \wedge \\ & & ((t_{z} = \bullet \, \wedge \, s_{zk+1} = \circ) \, \vee \, (t_{z} = \circ \, \wedge \, s_{zk+1} = \bullet))\\ \perp & \text{ if} & k \leq z \leq k + N  1 \, \wedge \, (t_{z} = \bullet \, \wedge \, s_{zk+1} = \bullet) \\ \end{array} \right. \end{aligned}} $$that is to say, each nucleotide in position z that is in common between P_{1} and P_{2} is involved in at most one weak interaction whenever w_{z}≠⊥.
We say that the nesting \(P_{1} \Cap _{k} P_{2}\) is well defined if and only if conditions (1) and (2) above are met and for all z=2,…,M−1 it holds that w_{z}≠⊥.
As an example of a welldefined nesting, consider the structure in Fig. 5b. The pseudoloop between the second and the fourteenth nucleotide can be obtained as the nesting of pseudoloops P_{1}=(G^{∙},C^{∙})〈A°C°C°U°G°C°A°C°G°〉 and P_{2}=(A^{∙},U^{∙})〈G°A°C°C°U°G°C°A°C°G°C°〉, with k equal to 2. The resulting pseudoloop is
As mentioned above, according to the nature of RNA molecules, nesting and crossing are well defined if each nucleotide of the resulting structure forms at most one weak interaction. An example of a not welldefined pseudoloop is depicted in Fig. 9, where the third nucleotide of the primary sequence has two weak interactions. The concatenation operator is not subject to such conditions since the two structures that are attached do not share nucleotides.
It is worth noting that in all the three definitions above it is implicit that the starting pseudoloops P_{1} and P_{2} are well defined. For the sake of simplicity we did not give a recursive definition to induce the property of being welldefined structurally. The reason is that we will always apply the three operators to hairpin loops (that are indeed well defined) and welldefined combinations of hairpin loops, which yield welldefined pseudoloops by construction.
A tree grammar for the algebraic RNA expressions
Taking advantage of the three operators defined above, each RNA secondary structure can be defined as a term of a regular tree grammar. Our objective is to generate only trees  or, equivalently, terms  that correspond to valid RNA secondary structures, both pseudoknotfree and pseudoknotted. Moreover, for each secondary structure, the tree (term) must be unique.
Let B_{∘}={A°,U°,G°,C°} and let B_{∙}={A^{∙},U^{∙},G^{∙},C^{∙}} be alphabets of RNA base nucleotides bearing the information of being paired or unpaired in a weak interaction. We let \(\mathcal {A} = B_{\circ } \cup B_{\bullet } \cup \{(,), \odot, \Cap, \Join \} \cup \{ 2, \dots, K\}\) be the alphabet of our tree grammar, where \(K \in \mathbb {N}\) is a constant representing the maximum length of hairpins that we want to consider. For brevity, as introduced in the “Methods” section, we add a lexical level to the grammar allowing strings from \(\mathcal {A}^{*}\) in place of single characters. Let Σ be the signature defined as follows:
Let \(x_{1}, x_{2}, x'_{1}, x'_{2} \in B_{\bullet }, \eta, \eta _{1}, \eta _{2} \in B_{\circ }^{*}\) and \(\omega, \omega _{1}, \omega _{2} \in B_{\circ }^{+}\). The regular tree grammar we define for RNA is \(\mathcal {G}_{\text {RNA}} = (V, \Sigma, S, \mathcal {P})\), where V={S,T,C,N,I} and the set of rewriting rules \(\mathcal {P}\) is the following.
The rewriting rule for the start symbol S formalises that each RNA secondary structure is composed by a head η_{1} of unpaired nucleotides, followed by a pseudoloop, followed by a tail η_{2} of unpaired nucleotides. Each pseudoloop T may be a leftassociative concatenation of pseudoloops or just a crossing/nesting/hairpin, by downgrading T to C, N or I. Each crossing pseudoloop C can be a leftassociative sequence of crossings or just a nesting/hairpin, by downgrading C to N or I. Each nesting pseudoloop N is composed by a hairpin enclosing a generic embedded pseudoloop T or just by a hairpin, by downgrading N to I.
In the given tree grammar all the nodes corresponding to the concatenation, crossing and nesting operators have a middle child, which is a leaf of the tree, labelled with the operator itself and the additional parameters introduced in Definitions 7, 8 and 9. The presence of these leaf nodes is important because in regular tree grammars the predicate of conditional productions is defined on the yield of the corresponding node. This means that, in order to syntactically check the property of being welldefined, according to the definition of the operators, the predicate c in the conditional productions of crossing and nesting must operate on strings. Therefore, these strings, which are the yield of the nodes, must contain the necessary information to recognise the applied operators and their parameters. The definition of c is as follows.
Let \(u, u', u^{\prime \prime } \in \mathcal {A}^{+}\). The yield of a crossing node or of a nesting node in a derived tree of \(\mathcal {G}_{\text {RNA}}\) is a string of the form u (o,k) x_{1} ω x_{2}, where \(K \in \mathbb {N}\) and \(o \in \{\Join, \Cap \}\), or x_{1} ω_{1} x_{2} (o,k) x1′ ω_{2} x2′ if the left pseudoloop reduces to just an hairpin. Let us first define a function \(p: \mathcal {A}^{+} \to P\) to transform these yield strings into pseudoloops in the form used in Definitions 7, 8 and 9.
The predicate c is defined inductively in accordance with the notion of being welldefined for pseudoloops:

c(x_{1} ω x_{2})=true

c(u^{′} (⊙,η) u^{′′})=c(u^{′})∧c(u^{′′})

c(u^{′} (o,k) x_{1} ω x_{2})=c(u^{′})∧welldef(p(u^{′}) o_{k} (x_{1},x_{2})〈ω〉)
where \(o \in \{\Join, \Cap \}\) and welldef is a predicate checking whether or not the given application of the operators is well defined according to Definitions 8 and 9.
The particular formulation of the grammar is given with the intention of defining a unique derived tree for each possible secondary structure, pseudoknotfree or pseudoknotted. Let us illustrate this property firstly with an example. We describe, step by step, the unique way to represent the structure in Fig. 6b using the rewriting rules of the grammar. In other words, we introduce a procedure to build a derived tree of grammar \(\mathcal {G}_{\text {RNA}}\) starting from a given RNA secondary structure encoded, for instance, as an arcannotated sequence [47].
The first step is to recognise the enclosing pseudoloop between the second nucleotide A^{∙} and the next to last one U^{∙}, as illustrated in Fig. 10a. The head A° and the tail U° of the secondary structure are then immediately identified, resolving uniquely the rewriting rule for the start symbol S. Now we have to decompose the just identified pseudoloop rewriting the nonterminal symbol T. The first possible decomposition to consider is the simplest one, i.e., concatenation. In this case the pseudoloop cannot be decomposed into sequences of concatenated pseudoloops. Thus, the rewriting rule T→C is applied and the pseudoloop must be decomposed into a crossing or into a nesting. The way to deterministically decide this, according to the structure of the grammar, is to select the hairpin inside the pseudoloop that has the rightmost paired nucleotide. In our case such hairpin is α_{1}=G^{∙}C°A°C°G°C°U°A°G°U^{∙}. Then, it is checked if it crosses with some other arc inside the pseudoloop. This is so in our case, thus the grammar rewriting rule to be selected is the one for crossing, C→⋊⋉(C,(⋊⋉,k),I), where I is rewritten with I→H(α_{1}). It follows that C must be the pseudoloop that results by eliminating the hairpin α_{1} from the originally identified pseudoloop, which yields the one starting at the second nucleotide of the sequence and ending at the fourteenth, depicted with a dashed line in Fig. 10b. The value of k follows as well: it is the position at which the left paired nucleotide of α_{1},G^{∙}, is in the new identified pseudoloop, i.e., 7. At this point we identified the rewriting rule to be used and all its components apart from C, which must be recursively analysed.
Let us then consider the pseudoloop in Fig. 10b. Again, this pseudoloop cannot be decomposed as a sequence of concatenations, so we reapply the same technique and consider the hairpin that has the rightmost paired nucleotide in the pseudoloop. This is α_{2}=A^{∙}G°A°C°C°U°G°C°A°C°G°C°U^{∙}, which does not cross with any arc in the pseudoloop. Therefore the rewriting rule to be used first is C→N and then the one to decompose the pseudoloop as a nesting, \( N \rightarrow \Cap (T, (\Cap, k), I)\), where I is rewritten with I→H(α_{2}). By eliminating α_{2} from the pseudoloop we are left with the pseudoloop in the interior part of the nesting, i.e., the one from the third nucleotide, G^{∙}, and the thirteenth one, C^{∙}, depicted as a dashed line in Fig. 11a. In this case it follows that k=2.
The next step is to recursively decompose the last identified pseudoloop. It is easy to see that it is again a nesting with k equal to 2. The resulting pseudoloop to be further decomposed is the one depicted with a dashed line in Fig. 11b. This particular pseudoloop can indeed be decomposed as a concatenation of two pseudoloops, which are actually two hairpins: A^{∙}C°C°U^{∙} and C^{∙}A°C°G^{∙}. The value of η for the concatenation is G°. Since there are no more nonhairpin pseudoloops to decompose, the procedure ends. The unique derived tree of the grammar associated to the structure of Fig. 6b, built using the procedure illustrated above, is shown in Fig. 12.
Theorem 1
Let \(\mathcal {S}\) be an RNA secondary structure. Then, there is only one derived tree of the tree grammar \(\mathcal {G}_{\text {RNA}}\) associated to \(\mathcal {S}\).
Proof
Given any \(\mathcal {S}\), it is possible to follow a procedure analogous to the one illustrated for the structure depicted in Fig. 6b. Firstly, by hypothesis, \(\mathcal {S}\) respects the constraint on weak interactions of RNA, i.e., there are not nucleotides that have more than one weak interaction. This means that the application of the operators at each step is welldefined. Secondly, the choice of the operator to use at each step of the procedure is uniquely determined by the structure of \(\mathcal {S}\). Finally, in case of crossing and nesting, the choice of the hairpin to identify as the one to remove from the pseudoloop is unique as well. Thus, the way to construct the derived tree for \(\mathcal {S}\) is unique. □
Corollary 1
Any secondary structure can be uniquely decomposed in terms of hairpins together with a head and a tail.
Proof
Given any structure \(\mathcal {S}\), the derived tree of the grammar \(\mathcal {G}_{\text {RNA}}\) associated to \(\mathcal {S}\), as determined in the proof of Theorem 1, expresses the structure as a unique combination of hairpins using the operators for concatenation, crossing and nesting. The head and the tail are attached at the beginning and at the end. □
As an example, consider the derived tree in Fig. 12, associated to the structure of Fig. 6b. Let α_{3}=G^{∙}A°C°C°U°G°C°A°C°G°C^{∙},α_{4}=C^{∙}A°C°G^{∙} and α_{5}=A^{∙}C°C°U^{∙} be sequences of nucleotides representing hairpins and let α_{1} and α_{2} be as above. The decomposition in hairpins expressed by the derived tree is the yield of the tree itself:
where square brackets are used to emphasise the structure of the string induced by the tree, but are not part of the string.
Theorem 2
Let t be a derived tree of the regular tree grammar \(\mathcal {G}_{\text {RNA}}\). Then, the structure of t corresponds to an RNA secondary structure.
Proof
By definition of derived tree for a regular tree grammar, the predicate c of conditional productions for crossing and nesting nodes are all satisfied. This means that the constraints on the weak interactions are satisfied and that the pseudoloops that are identified in t are all well defined. To see that then t represents indeed a secondary structure it is sufficient to observe that each time in t a conditional production is applied, one hairpin is added to the structure in a welldefined way. Moreover, each time in t the rewriting rule T→⊙(T,(⊙,η),C) is applied, several welldefined substructures are just concatenated, forming welldefined structures by definition because concatenation is alway well defined. □
Finally, we can characterise the property of a structure of being pseudoknotfree or pseudoknotted by looking at the operators that are needed to represent it.
Theorem 3
Let \(\mathcal {S}\) be a secondary structure. \(\mathcal {S}\) is pseudoknotted if and only if the derived tree associated to \(\mathcal {S}\) by the regular tree grammar \(\mathcal {G}_{\text {RNA}}\) contains at least an internal node labelled with ⋊⋉. Otherwise, \(\mathcal {S}\) is pseudoknotfree.
Proof
It is sufficient to observe that in the process of constructing the derivation tree associated to \(\mathcal {S}\), as in the proof of Theorem 1, the internal node ⋊⋉, corresponding to a crossing, is selected only if the current rightmost hairpin is actually crossing with some other hairpin of the pseudoloop on the left. Thus, if the rule is not used in the whole tree then there is no hairpin crossing with another in the structure, i.e., the structure is pseudoknotfree. □
In other words, we can characterise all pseudoknotfree structures using only the concatenation and the nesting operator. Crossing is needed only for pseudoknotted structures. In order to emphasise the algebraic nature of the tree we introduce the following name.
Definition 10
(Algebraic RNA Tree) Let \(\mathcal {S}\) be a secondary structure. The Algebraic RNA Tree of \(\mathcal {S}\) is defined as the unique derived tree of the grammar \(\mathcal {G}_{\text {RNA}}\) associated to \(\mathcal {S}\).
Algebraic structural pseudoknot RNA alignment
Our first application of algebraic RNA trees introduced so far is in the field of structure comparison. In particular, we are interested in comparing RNA secondary structures structurally, i.e., looking at the (possibly pseudoknotted) structures by neglecting the kind of base pairs that created the weak interactions, i.e., without depending on the primary structure. For this purpose, algebraic RNA trees contain unnecessary information that can be abstracted, i.e., the identity of the nucleotides forming the hairpins. Moreover, in algebraic RNA trees the positions at which the pseudoloops are connected are expressed by the parameters k of the crossing and the nesting operators. According to the nature of the algebraic operators, such positions are relative to the involved operands. This is not convenient for a structural comparison of the whole structure, for which it is necessary to reconstruct the corresponding absolute positions inside the primary sequence. Therefore, we make a further step by introducing structural RNA trees as an abstraction of algebraic RNA trees in which the information about the identity of the nucleotides is forgotten and the absolute positions of the involved hairpins are reported.
Definition 11
(Structural RNA Tree) A structural RNA tree is an ordered labelled tree such that:

each interior node has two children and is labelled with \(\odot, \Cap \) or with an element of \(\{(\Join, h) \mid h \in \mathbb {N} \}\);

each leaf is labelled with H(start,stop), where \(\text {start},\text {stop} \in \mathbb {N}\).
Figure 13 shows a structural RNA tree that is the abstraction of the algebraic RNA tree of Fig. 12, which in turn corresponds to the structure of Fig. 6b. First, note that the original root of the algebraic RNA tree, labelled with \(\leftrightarrows \), is eliminated, together with the head and the tail sequences. The other internal nodes labelled with operators in the algebraic RNA tree remain the same in the structural RNA tree, apart from the crossing operator, which is paired with a number h. This h is the number of crossing interactions of the current hairpin and will be explained later in more detail. The middle child of each internal node labelled with an operator of the algebraic RNA tree disappears in the structural RNA tree and the right child becomes a leaf node H(start,stop) representing the same hairpin loop of the algebraic RNA tree, but showing the absolute positions at which the hairpin starts and stops in the original structure.
A structural RNA tree can be obtained from an algebraic RNA tree through a depthfirst visit of the latter in which, for each internal node ν labelled with an operator, the list of hairpins (with absolute starting and stopping positions) constituting the pseudoloop associated to the left child is returned from the recursive function. Using this list, it is possible to calculate, whenever the current operator of ν is a crossing, the number of hairpins in the pseudoloop of the left child that actually cross with the hairpin on the right child. Given two hairpins H(i,j) and H(i^{′},j^{′}) such that j^{′}<j, we say that H(i,j) crosses with H(i^{′},j^{′}) if and only if i^{′}<i<j^{′}. Consider the structure depicted in Fig. 14a and the relative structural RNA tree shown in the left part of Fig. 15. The root is labelled with (⋊⋉,1) because the hairpin H(11,18) crosses only with the hairpin H(4,13) and not with H(2,9), which are the two hairpins constituting the pseudoloop associated to the left child of the root. Differently, if we consider the structure depicted in Fig. 14b and the relative structural RNA tree shown in the right part of Fig. 15, the root is labelled with (⋊⋉,2). Indeed, in this case the hairpin H(7,16) of the right child of the root crosses with both the hairpins H(2,9) and H(4,13) of the pseudoloop associated with the left child.
Figure 16 shows an alignment tree of the two structural RNA trees of Fig. 15. Let us suppose, as we will explain better later, that the score of aligning two hairpins H(i,j) and H(i^{′},j^{′}) such that i≠i^{′} or j≠j^{′} is zero. If the nodes containing the crossing operator were without the number of crossing interactions h, the alignment tree of Fig. 16 would have been indeed an optimal one, with tree alignment distance 0. Thus, the two structures of Fig. 14 would have been considered equal. This is not correct for the measure of comparison we want to define because indeed the two structures are different from a structural point of view. This issue is the reason why the number h has been introduced in the crossing nodes of structural RNA trees. In this way a positive score c_{m} can be fixed and, when aligning two nodes (⋊⋉,h) and (⋊⋉,h^{′}), a score c_{m}·h−h^{′} can be assigned to the pair. Using this score, the distance between the two structures of Fig. 14 becomes c_{m}·1−2+c_{m}·1−1=c_{m}·1+0=c_{m}>0, i.e. the structures are considered different.
Suppose we are given two RNA secondary structures and their algebraic RNA trees obtained by the grammar \(\mathcal {G}_{RNA}\). To compare the two structures, we align the corresponding structural RNA trees. We define the scoring function σ_{s} as follows:
where \(h, h', i, i', j, j' \in \mathbb {N}, op, op_{1}, op_{2} \in \{(\Join, n), \Cap, \odot \}\) and \(c_{m}, o_{r}, o_{\text {di}}, h_{\text {di}} \in \mathbb {R}\) are score constants.
The scoring function σ_{s} is quite standard regarding the pairs containing an insertion or a deletion of an operator or of an hairpin. Concerning the pairs with a replacement, we already discussed the case of two crossing operators with a possibly different number h. The case in which an hairpin is replaced with an hairpin with possibly different absolute position is assigned score zero. The reason for this is again the fact that we want the measure of comparison independent from the primary sequence. The structural interplay among the hairpins is structurally expressed by the operators and the structural differences between crossing hairpins is already considered by the case of two crossing operators. Therefore, assigning a positive score to differences in the absolute positions of two aligned hairpins would introduce a dependence from the primary sequence and would be useless for our purposes. Finally, the replacement of an operator with an hairpin should always be avoided because the resulting alignment tree would not conserve the shape reflecting the application of the operators to hairpins and subterms. This is the reason why the score assigned to such a replacement is infinite. We can now define the Algebraic Structural Pseudoknot RNA Alignment (ASPRA) distance.
Definition 12
(ASPRA Distance) Let \(\mathcal {S}_{1}\) and \(\mathcal {S}_{2}\) be two RNA secondary structures with or without pseudoknots and let t_{1} and t_{2} be the structural RNA trees corresponding to their algebraic RNA trees. The Algebraic Structural Pseudoknot RNA Alignment (ASPRA) distance between \(\mathcal {S}_{1}\) and \(\mathcal {S}_{2}\), denoted by \(d_{\text {aspra}}(\mathcal {S}_{1}, \mathcal {S}_{2})\), is defined as follows:
Let us give an example by calculating the distance between the RNA secondary structure introduced in Fig. 6b, say \(\mathcal {S}_{1}\), and the RNA secondary structure illustrated in Fig. 17, say \(\mathcal {S}_{2}\). The structural RNA tree of the structure \(\mathcal {S}_{2}\) is shown in Fig. 18. Figure 19 shows an optimal alignment tree of the structural RNA trees of \(\mathcal {S}_{1}\) and \(\mathcal {S}_{2}\). The distance is
having all the other pairs score 0.
To conclude this section, it is worth noting that the unit score c_{m} to be assigned to a mismatch in the number of crossing interactions of two aligned crossing nodes (⋊⋉,h),(⋊⋉,h^{′}) should have a different scale with respect to the other scores. This would reflect the fact that the two nodes actually have the same operator and the difference that we measure is local to these operators. The replacement of an operator with another one, instead, is a proper replacement in the classical sense of edit operations. Therefore, the score constants should be chosen such that c_{m}≪o_{r},o_{id},h_{id}. Possible choices are o_{r}=o_{id}=o_{id}=1,c_{m}=1/100 or, to avoid rounding errors, o_{r}=o_{id}=o_{id}=100,c_{m}=1.
Discussion
We have introduced a new algebraic representation for RNA secondary structures with arbitrary pseudoknots. We have called it algebraic RNA tree, which is derived from a regular tree grammar using three main operators: concatenation, nesting and crossing. The language of terms generated by the given tree grammar is shown to be in onetoone correspondence with the set of RNA secondary structures with arbitrary pseudoknots. As a first application of algebraic RNA trees we have defined a measure of comparison, called ASPRA distance, that is able to compare RNA secondary structures with arbitrary pseudoknots structurally, i.e., without depending on the primary structure. The distance is obtained by using the classical tree alignment algorithm on structural RNA trees, abstractions of algebraic RNA trees. In this section we give the necessary information to practically use the notions introduced so far on real RNA molecules.
The procedures to construct algebraic and structural RNA trees and to calculate the ASPRA distance have been implemented in the ASPRAlign Java application [42]. The source code of ASPRAlign, together with documentation and examples, is publicly available under the GNU General Public Licence, version 3.
ASPRAlign accepts as input RNA secondary structures in the Extended DotBracket Notation format [48], typically supported by public database of structures, or in the Arc Annotated Sequence format. The latter format is derived from the former by substituting the dotbracket string with a list of weak interactions expressed as pairs (i_{1},j_{1});(i_{2},j_{2});…;(i_{m},j_{m}) where each index i_{k},j_{k} belongs to the interval [1,n] (n being the length of the primary sequence) and i_{k}<j_{k}+1 for all k. The weak interactions can be given in any order and the indices i_{k},j_{k} are the starting and the stopping positions of the kth weak interaction. The default output format of ASPRAlign for trees is a string resulting form a depthfirst visit of the given tree following the format (~nodelabel~, [listofchildren]). An alternative output format for a tree is LATE X code to obtain a graphical tree representation like the ones in Figs. 12, 13 and 16.
Starting from a secondary structure given in arc annotated sequence format, as specified above, ASPRAlign builds the algebraic RNA tree in time
where (j_{k}−i_{k}) is the length of the kth weak interaction. The construction of an arc annotated sequence starting from an extended dotbracket notation format can be done in \(\mathcal {O}(n)\). The building of the structural RNA tree is currently implemented from scratch, i.e. starting from the secondary structure specification, with the same time complexity of building the algebraic RNA tree. Alternatively, the structural RNA tree can be derived from a visit of the algebraic RNA tree as discussed in the previous subsection.
ASPRAlign uses the implementation of the Jiang et al. algorithm [20] for tree alignment provided by the Java package fr.orsay.lri.varna.models.treealign of the StatAling software package [49, 50]. The time complexity of the Jiang et al. algorithm is \(\mathcal {O}(t_{1}\cdot t_{2}\cdot (\text {deg}(t_{1}) + \text {deg}(t_{2}))^{2})\) where t is the number of nodes of the tree t and deg(t) is the degree of the tree t, i.e. the maximum number or children of any node in the tree. In the case of ASPRAlign the trees t_{1} and t_{2} are the structural RNA trees of the given structures. A structural RNA tree has always degree 2 and the number of nodes is linear in the number of weak interactions. Thus, the tree alignment and the computation of the ASPRA distance of two secondary structures with m_{1} and m_{2} weak interactions is performed in time \(\mathcal {O}(m_{1} \cdot m_{2})\).
Conclusions
In this paper we have introduced algebraic RNA trees and structural RNA trees to represent uniquely RNA secondary structures with arbitrary pseudoknots. This has been achieved by representing the structures as expressions of an algebraic language with three operators and simple hairpin loops as operands. While in classical representations pseudoknotted structures can not be represented by a tree, this is quite natural using our operators. Based on structural RNA trees, we have also defined the ASPRA distance to compare RNA secondary structures without taking into account the primary sequences and focusing mainly on the motifs of the structures. Such a measure of comparison is useful because the secondary structure is more preserved than the primary one during evolution. Our distance has the advantage to consider all the weak interactions including the pseudoknots, while in other measures of comparison present in the literature only subclasses of pseudoknots are considered. We have implemented the procedures to build the trees and to compute the distance in an open source Java application called ASPRAlign [42].
As an immediate continuation of the present work, the ASPRA distance will be tested on real RNA secondary structure with pseudoknots that are available in public repositories such as the Worldwide Protein Data Bank Database [51] and the Pseudobase++ Database [52]. This work will be carried out in collaboration with experts of the biological domain in order to test both the usability of the software and the impact of our new measure of comparison on the creation of new biological knowledge.
On the theoretical side, the natural extension of our algebraic approach is the formalisation of the three operators in an algebraic structure with a proper axiomatisation. This would allow us to study the properties of the RNA secondary structures with arbitrary pseudoknots in a compositional way.
Beyond the structural comparison based on the ASPRA distance we aim at applying our approach to the folding problem of RNA secondary structures with pseudoknots. To this end, the Algebraic Dynamic Programming framework, together with the tree language already introduced in this paper, is a good starting point. The objective is to derive an algorithm that works for arbitrary pseudoknots, instead of classes of pseudoknots, as it is in the current state of the art. Moreover, an improvement of the efficiency of the existing algorithms for the various classes of pseudoknots might be reached by exploiting suitable properties of our operators. The same problem can be faced using the algebraic representation together with learning algorithms and adaptability checking typical of complex systems [53–55].
Finally, based on our preliminary results [56, 57] and using our algebraic approach, we plan also to deal with the problem of RNA classification.
Abbreviations
 A:

Adenine
 ADP:

Algebraic Dynamic Programming
 ASPRA distance:

Algebraic Structural Pseudoknot RNA Alignment distance
 C:

Cytosine
 G:

Guanine
 U:

Uracil
References
 1
Waterman MS. Secondary Structure of SingleStranded Nucleic Acids. In: Studies on Foundations and Combinatorics, Advances in Mathematics Supplementary Studies, vol. 1. New York: Academic Press, Inc.: 1978. p. 167–212.
 2
Waterman MS, Smith TF. RNA secondary structure: a complete mathematical analysis. Math Biosci. 1978; 42(34):257–66.
 3
Dam ET, Pleij K, Draper D. Structural and functional aspects of RNA pseudoknots. Biochemistry. 1992; 31(47):11665–76.
 4
Staple DW, Butcher SE. Pseudoknots: RNA Structures with Diverse Functions. PLoS Biol. 2005; 3(6):213.
 5
Rastogi T, Beattie TL, Olive JE, Collins RA. A longrange pseudoknot is required for activity of the Neurospora VS ribozyme. EMBO J. 1996; 15(11):2820–5.
 6
Ke A, Zhou K, Ding F, Cate JH, Doudna JA. A conformational switch controls hepatitis delta virus ribozyme catalysis. Nature. 2004; 429(6988):201–5.
 7
Shen LX, Tinoco Jr I. The structure of an RNA pseudoknot that causes efficient frameshifting in mouse mammary tumor virus. J Mol Biol. 1995; 247(5):963–78.
 8
Egli M, Minasov G, Su L, Rich A. Metal ions and flexibility in a viral RNA pseudoknot at atomic resolution. Proc Natl Acad Sci. 2002; 99(7):4302–7.
 9
Hofacker IL, Fekete M, Flamm C, Huynen MA, Rauscher S, Stolorz PE, Stadler PF. Automatic detection of conserved RNA structure elements in complete RNA virus genomes. Nucleic Acids Res. 1998; 26(16):3825–36.
 10
CaetanoAnollés G. Tracing the evolution of RNA structure in ribosomes. Nucleic Acids Res. 2002; 30(11):2575–87.
 11
Wang HY, Lee SC. Secondary Structure of Mitochondrial 12S rRNA Among Fish and Its Phylogenetic Applications. Mol Biol Evol. 2002; 19(2):138–48.
 12
Wuyts J, De Rijk P, Van de Peer Y, Pison G, Rousseeuw P, De Wachter R. Comparative analysis of more than 3000 sequences reveals the existence of two pseudoknots in area V4 of eukaryotic small subunit ribosomal RNA. Nucleic Acids Res. 2000; 28(23):4698–708.
 13
Chai W, Stewart V. RNA sequence requirements for NasRmediated, nitrateresponsive transcription antitermination of the Klebsiella oxytoca M5al nasF operon leader. J Mol Biol. 1999; 292(2):203–16.
 14
Höchsmann M, Voss B, Giegerich R. Pure Multiple RNA Secondary Structure Alignments: A Progressive Profile Approach. IEEE/ACM Trans Comput Biol Bioinforma. 2004; 1(1):53–62.
 15
Shapiro BA, Zhang K. Comparing multiple RNA secondary structures using tree comparisons. Bioinformatics. 1990; 6(4):309–18.
 16
Corpet F, Michot B. RNAlign program: alignment of RNA sequences using both primary and secondary structures. Bioinformatics. 1994; 10(4):389–99.
 17
Jiang T, Lin G, Ma B, Zhang K. A General Edit Distance between RNA Structures. J Comput Biol. 2002; 9(2):371–88.
 18
Selkow SM. The treetotree editing problem. Inf Process Lett. 1977; 6(6):184–6.
 19
Tai KC. The TreetoTree Correction Problem. J ACM. 1979; 26(3):422–33.
 20
Jiang T, Wang L, Zhang K. Alignment of trees  an alternative to tree edit. Theor Comput Sci. 1995; 10(2):137–48.
 21
Höchsmann M, Töller T, Giegerich R, Kurtz S. Local similarity in RNA secondary structures. In: Computational Systems Bioinformatics. CSB2003. Proceedings of the 2003 IEEE Bioinformatics Conference. New York: IEEE: 2003. p. 159–68.
 22
Lorenz R, Bernhart SH, Höner zu Siederdissen C, Tafer H, Flamm C, Stadler PF, Hofacker IL. ViennaRNA Package 2.0. Algoritm Mol Biol. 2011;6(26). https://almob.biomedcentral.com/articles/10.1186/17487188626.
 23
Chauve C, Courtiel J, Ponty Y. An Unambiguous And Complete Dynamic Programming Algorithm For Tree Alignment. Submitted. Version 1. 2015. https://hal.inria.fr/hal01154030. Accessed 28 Sep 2018.
 24
Schirmer S, Giegerich R. Forest Alignment with Affine Gaps and Anchors In: Giancarlo R, Manzini G, editors. Combinatorial Pattern Matching. CPM 2011. Lecture Notes in Computer Science, vol. 6661. Berlin, Heidelberg: Springer: 2011. p. 104–17.
 25
Bille P. A survey on tree edit distance and related problems. Theor Comput Sci. 2005; 337(13):217–39.
 26
Harrison MA. Introduction to Formal Language Theory. Boston: AddisonWesley Longman Publishing Co., Inc.; 1978.
 27
Möhl M, Will S, Backofen R. Lifting Prediction to Alignment of RNA Pseudoknots. J Comput Biol. 2010; 17(3):429–42.
 28
Han B, Dost B, Bafna V, Zhang S. Structural Alignment of Pseudoknotted RNA. J Comput Biol. 2008; 15(5):489–504.
 29
Yoon BJ. Efficient alignment of RNAs with pseudoknots using sequence alignment constraints. EURASIP J Bioinforma Syst Biol. 2009; 2009(6):1–13.
 30
Wong TKF, Wan KL, Hsu BY, Cheung BWY, Hon WK, Lam TW, Yiu SM. RNASAlign: RNA Structural Alignment System. Bioinformatics. 2011; 27(15):2151–2.
 31
Huang Z, Wu Y, Robertson J, Feng L, Malmberg RL, Cai L. Fast and accurate search for noncoding RNA pseudoknot structures in genomes. Bioinformatics. 2008; 24(20,15):2281–7.
 32
Fallmann J, Will SS, Engelhardt J, Grüning B, Backofen R, Stadler PF. Recent advances in RNA folding. J Biotechnol. 2017; 261(10):97–104.
 33
Akutsu T. Dynamic programming algorithms for RNA secondary structure prediction with pseudoknots. Discret Appl Math. 2000; 104(13):45–62.
 34
Nebel MEME, Weinberg F. Algebraic and Combinatorial Properties of Common RNA Pseudoknot Classes with Applications. J Comput Biol. 2012; 19(10):1134–50.
 35
Reeder J, Giegerich R. Design, implementation and evaluation of a practical pseudoknot folding algorithm based on thermodynamics. BMC Bioinformatics. 2004; 5:104.
 36
Giegerich R, Meyer C. Algebraic Dynamic Programming In: Kirchner H, Ringeissen C, editors. Algebraic Methodology and Software Technology. AMAST 2002. Lecture Notes in Computer Science, vol. 2422. Berlin: Springer: 2002. p. 349–64.
 37
Giegerich R, Meyer C, Steffen P. A discipline of dynamic programming over sequence data. Sci Comput Program. 2004; 51(3):215–63.
 38
Berkemer SJ, Höner zu Siederdissen C, Stadler PF. Algebraic Dynamic Programming on Trees. Algorithms. 2017; 10(4):135.
 39
Riechert M, Höner zu Siederdissen C, Stadler PF. Algebraic dynamic programming for multiple contextfree grammars. Theor Comput Sci. 2016; 639:91–109.
 40
Ponty Y, Saule C. A Combinatorial Framework for Designing (Pseudoknotted) RNA Algorithms In: Przytycka TM, Sagot MF, editors. Algorithms in Bioinformatics. WABI 2011. Lecture Notes in Computer Science, vol. 6833. Berlin: Springer: 2011. p. 250–69.
 41
Allen JF. Maintaining knowledge about temporal intervals. Commun ACM. 1983; 26(11):832–43.
 42
Quadrini M, Tesei L, Merelli E. ASPRAlign  Algebraic Structural Pseudoknot RNA Alignment. 2018. https://github.com/bdslab/aspralign. Accessed 28 Sep 2018.
 43
Thatcher JW. Characterizing derivation trees of contextfree grammars through a generalization of finite automata theory. J Comput Syst Sci. 1976; 1(4):317–22.
 44
Gécseg F, Steinby M. Tree Languages. In: Handbook of Formal Languages. Berlin: Springer: 1997. p. 1–68.
 45
Giegerich R, Steffen P. Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm In: Boiten EA, Möller B, editors. Mathematics of Program Construction. MPC 2002. Lecture Notes in Computer Science, vol. 2386. Berlin: Springer: 2002. p. 1–20.
 46
Schirmer S, Ponty Y, Giegerich R. Introduction to RNA Secondary Structure Comparison In: Gorodkin J, Ruzzo W, editors. RNA Sequence, Structure, and Function: Computational and Bioinformatic Methods. Methods in Molecular Biology (Methods and Protocols), vol. 1097. Totowa: Humana Press: 2014. p. 247–73.
 47
Blin G, Touzet H. How to Compare ArcAnnotated Sequences: The Alignment Hierarchy In: Crestani F, Ferragina P, Sanderson M, editors. String Processing and Information Retrieval. SPIRE 2006. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer: 2006. p. 291–303.
 48
ViennaRNA Package 2.0. RNAlib2.4.9 Documentation. 2018. https://www.tbi.univie.ac.at/RNA/ViennaRNA/doc/html/rna_structure_notations.html. Accessed 28 Sep 2018.
 49
StatAlign v3.2. An Extendable Software Package for Joint Bayesian Estimation of Alignments and Evolutionary Trees. 2018. https://statalign.github.io. Accessed 28 Sep 2018.
 50
Arunapuram P, Edvardsson I, Golden M, Anderson JWJ, Novàk A, Sükösd Z, Hein J. StatAlign 2.0: combining statistical alignment with RNA secondary structure prediction. Bioinformatics. 2013; 2(5):654–5.
 51
Berman H, Henrick K, Nakamura H. Announcing the worldwide Protein Data Bank. Nat Struct Biol. 2003;10:980EP. https://www.nature.com/articles/nsb1203980.
 52
Taufer M, Licon A, Araiza R, Mireles D, van Batenburg FHD, Gultyaev AP, Leung MY. PseudoBase++: an extension of PseudoBase for easy searching, formatting and visualization of pseudoknots. Nucleic Acids Res. 2009; 37(1):127–35.
 53
Merelli E, Pettini M, Rasetti M. Topology driven modeling: the IS metaphor. Nat Comput. 2015; 14(3):421–30.
 54
Merelli E, Paoletti N, Tesei L. Adaptability checking in complex systems. Sci Comput Program. 2016; 115–116:23–46.
 55
Mamuye AL, Merelli E, Tesei L. A Graph Grammar for Modelling RNA Folding. Electron Proc Theor Comput Sci EPTCS. 2016; 231:31–41.
 56
Quadrini M, Culmone R, Merelli E. Topological Classification of RNA Structures via Intersection Graph In: MartínVide C, Neruda R, VegaRodríguez M, editors. Theory and Practice of Natural Computing. TPNC 2017. Lecture Notes in Computer Science, vol. 10687. Cham: Springer: 2017. p. 203–15.
 57
Quadrini M, Merelli E. Looploop Interaction Metrics on RNA Secondary Structures with Pseudoknots. In: Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies  Volume 4: BIOINFORMATICS. Setúbal: SciTePress: 2018. p. 29–37.
Acknowledgements
The authors thank the anonymous referees for their fundamental suggestions that permitted to properly place the present work in its scientific framework.
Funding
Publication of this article was sponsored by the Future and Emerging Technologies (FET) program within the Seventh Framework Programme (FP7) for Research of the European Commission, under the FETProactive grant agreement TOPDRIM, number FP7ICT318121.
Availability of data and materials
Not applicable.
About this supplement
This article has been published as part of BMC Bioinformatics Volume 20 Supplement 4, 2019: Methods, tools and platforms for Personalized Medicine in the Big Data Era (NETTAB 2017). The full contents of the supplement are available online at https://bmcbioinformatics.biomedcentral.com/articles/supplements/volume20supplement4.
Author information
Affiliations
Contributions
All the authors conceived the algebraic operators and the application to RNA secondary structure comparison. MQ and LT developed and wrote the technical part. LT implemented the code of ASPRAlign. EM and LT revised all the text and the references. All the authors have read and approved the final manuscript.
Corresponding author
Correspondence to Emanuela Merelli.
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Consent for publication
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License(http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The Creative Commons Public Domain Dedication waiver(http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated.
About this article
Published
DOI
Keywords
 Tree grammar
 Tree alignment
 Algebraic RNA tree
 Structural RNA tree
 ASPRA distance