Primero vamos a asignar R0

Las variables que comienzan en S1 son a,b,c

Seleccionamos b porque tiene ms estados:
S1,S2,S3. La nica variable que comienzan en S4 es t3
y slo dura ese estado. En S5 sucede lo
mismo con t4 y en S6ncon z
Ahora vamos a asignar R1
c,a duran dos estados: S1,S2. Pero por orden
alfabtico selecciono a. En S3 comienzan
t2,t1 pero t1 dura ms estados: S3,S4,S5.
Finalmente vamos a asignar R2 a las variables
c,t2 y R3 a la variable t0.
S1
S2
S3
S4
S5
S6
S1
S2
S3
S4
S5
S6
R0
R0
R0
R3
R0
R0
R0
R1
R1
R2
R2
R1
R1
R1
R2
R2
S1
S2
S3
S4
S5
S6
R0
R0
R0
R3
R0
R0
R0
R1
R1
R2
R2
R1
R1
R1
R2
R2
R3 <- R1 * R0
R1<-in_a
R0<-in_b
R2<-in_c
inicio
R1 <- R3 / R2
R2 <- R1 * R1
R0 <- R0 * R0
S1
S2
S3
S0
R0 <- R2 / R0
R0 <- R1 + R0
S4
S5
out_z=R0
fin=1
S6
R0
R1
R2
R3
in_b
in_a
in_c
x/y
x
y
x * y
x
y
+
outz
0