LNCS 2950 - Aspects of Molecular Computing (Frontmatter Pages)

376 Sergey Verlan
Test tube I:
Rules of R1:
1.1.1 :
1.1.4 :
ε uY
R1 vY
a aiY
R1 βα i−1 Y ′ α
1.2.1 : γ Y ′ α
R2 Yα
1.3.1 : X′ α α
Xα L3
1.3.4 :
1.4.1 :
1.4.4 :
1.1.1 ′ :
b βYa
R3 Yβ
; 1.1.2 : X a
Xαβ L1
; 1.1.5 :
; 1.2.2 :
a BY
R1 ⋄Yβ
Xα γ
X ′ αα L2
; 1.3.2 : X′ α α
Xββ L3
;
ai Yβ
R4 Y ; 1.4.2 : Xββα i β a
Xai L4
a ⋄Yβ
Z ′ L4 ε
Z1 vY
R1 L1
1.1.4 ′ : Z1 βαi Y ′ α
R1 L1
1.2.1 ′ :
1.3.1 ′ :
1.3.4 ′ :
1.4.1 ′ :
Z2 Yα
R2 L2
Xα Z3
R3 L3
Z3 Yβ
R3 L3
Z4 Y
R4 L4
;
; 1.1.2 ′ :
; 1.1.5 ′ :
Xαβ Z1
R1 L1
Z1 ⋄Yβ
R1 L1
; 1.2.2 ′ : X′ αα Z2
;
R2 L2
; 1.3.2 ′ : Xββ Z3
; 1.4.2 ′ :
Filter:
F (1)
1 = V∪{Xα,Y ′ α,R2,L2},
F (2)
1 = V∪{X′ α,Yα,R3,L3},
F (3)
1 = V∪{Xβ,Yβ,R4,L4},
= V∪{X, Y, R1,L1}.
F (4)
1
R3 L3
Xai Z4
R4 L4
;
;
; 1.1.3 :
;
; 1.3.3 :
X a
Xβββ L1
γ αYα
R3 Y ′ α
; 1.4.3 : Xβββ a
ε Z ′ L4
; 1.1.3 ′ : Xβββ Z1
R1 L1
;
; 1.3.3 ′ : Z3 Y ′ α
R3 L3
; 1.4.3 ′ : Z′ Z4
R4 L4
;
;
;
;
;
;