LNCS 2950 - Aspects of Molecular Computing (Frontmatter Pages)

380 Sergey Verlan
We also note that the second tube may contain some other molecules (obtained
during the previous steps) as it is a garbage collector. We shall omit these
molecules as they do not alter our simulation.
Step 1.
Splicing:
Tube 1:
We have: Xw1Sqiakw2Y,RL.
We apply the following rules which are all from group 1.1.1.x:
(Xw1|Sqiakw2Y,R|L) ⊢1.1.1.2 (Xw1L, RSqiakw2Y ).
(RSqiak|w2Y,RR 1 alS ′ qj|Z R 1 ) ⊢1.1.1.3 (RR 1 alS ′ qjw2Y,RSqiakZ R 1 ).
(Xw1|L, RR 1 |alS ′ qjw2Y ) ⊢1.1.1.4 (Xw1alS ′ qjw2Y,RR 1 L).
Tube 2:
We have: R ′ L ′ . As it was said above we can also have a lot of other molecules
here which do not alter the computation. We omit them and we do not mention
this in the future.
No application of rules.
Communication:
The current filter is F (1)
2 = Q ∪ T ∪{X, Y, S, R, L, R′ ,L ′ ,RL 1 ,RR 1 ,R′ 1 }.
Molecules going from tube 1 to tube 2:
RL, Xw1Sqiakw2Y,Xw1L, RSqiakw2Y,RR 1 L.
Molecules remaining in tube 1:
RR 1 alS ′ qjw2Y,RSqiakZ R 1 ,Xw1alS ′ qjw2Y.
Molecules going from tube 2 to tube 1:
R ′ L ′ .
Molecules remaining in tube 2:
none.
Molecule RSqiakZ R 1 cannot evolve any further so we shall omit it from the
checking. Also molecule RR 1 alS ′ qjw2Y will go from the first test tube to the
second tube during the next iteration.
Step 2.
Splicing:
Tube 1:
We have: RR 1 alS ′ qjw2Y,Xw1alS ′ qjw2Y,R ′ L ′ .
We apply the following rules which are all from group 1.2.x:
(Xw1al|S ′ qjw2Y,R ′ |L ′ ) ⊢1.2.1 (Xw1alL ′ ,R ′ S ′ qjw2Y ).
(R ′ S ′ |qjw2Y,R ′ 1S|Z ′ 1) ⊢1.2.2 (R ′ 1Sqjw2Y,R ′ S ′ Z ′ 1).
(Xw1al|L ′ ,R ′ 1|Sqjw2Y ) ⊢1.2.3 (Xw1alSqjw2Y,R ′ 1L ′ ).
Tube 2:
We have: Xw1Sqiakw2Y,RL,Xw1L, RSqiakw2Y,R ′ 1L′ .
No application of rules.
Communication:
The current filter is F (2)
2 = Q ∪ T ∪{X, Y, S′ ,R,L,R ′ ,L ′ ,RL 1 ,RR 1 ,R ′ 1}.
Molecules going from tube 1 to tube 2:
R ′ L ′ ,RR 1 alS ′ qjw2Y,Xw1alS ′ qjw2Y,Xw1alL ′ ,R ′ S ′ qjw2Y,R ′ 1L′ .