Primero. Autómata (2,1), regla 161.
Regla de evolución.
Construyendo la tabla.
este ACL no es reversible ya que el estado 1 tiene varios ancestros y las tablas Q_0
y Q_1 son desiguales.
Segundo. Autómata (2,1), regla 85; la cual sabemos que es reversible.
Regla de evolución.
Construyendo la tabla.
Concatenando R_1 con R_1.
Concatenando R_(2) con R_(1), las tablas son iguales que en R_(2).
De esta forma vemos que la regla 85 para un ACL(2,1) es reversible para cualquier ancho.
Seck Tuoh Mora Juan Carlos
E-mail:seck@delta.cs.cinvestav.mx