Table 1

State type
Description
Production
Emission
Transition

P
(pair emitting)
PaYb
ev (a,b)
tv(Y)
L
(left emitting)
LaY
ev(a)
tv(Y)
R
(right emitting)
RYa
ev(a)
tv(Y)
B
(bifurcation)
BSS
1
1
D
(delete)
DY
1
tv(Y)
S
(start)
SY
1
tv(Y)
E
(end)
E → ε
1
1

Eddy BMC Bioinformatics 2002 3:18   doi:10.1186/1471-2105-3-18