From c1d6400c00a4aed12d66b0b8ed4a858728c4e07b Mon Sep 17 00:00:00 2001 From: jeffshrager Date: Sun, 13 Nov 2022 20:37:59 -0800 Subject: [PATCH] no message --- TuringCompleteness/palendrome.ez | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/TuringCompleteness/palendrome.ez b/TuringCompleteness/palendrome.ez index b1717db..96c5489 100644 --- a/TuringCompleteness/palendrome.ez +++ b/TuringCompleteness/palendrome.ez @@ -42,7 +42,7 @@ ((0 1 * _ * 1 0) (PRE (1 * 2 * _ 6 7) (=Q2)))); Q1 _ L Q2 (Q2 - ((* 0) (PRE (* _ 2) (=Q2))) + ((* 0) (PRE (_ * 2) (=Q2))) ((0 *) (PRE (1 * _) (=Q2))) ((0 1 * A * 1 0) (PRE (1 * 2 * _ 6 7) (=Q3))) ; Q2 A _ L Q3 ((0 1 * B * 1 0) (=QREJECT)) ; Q2 B QREJECT @@ -63,7 +63,7 @@ ((0 1 * _ * 1 0) (PRE (1 * 2 * _ 6 7) (=Q5)))); Q4 _ L Q5 (Q5 - ((* 0) (PRE (* _ 2) (=Q5))) + ((* 0) (PRE (_ * 2) (=Q5))) ((0 *) (PRE (1 * _) (=Q5))) ((0 1 * A * 1 0) (=QREJECT)) ; Q5 A QREJECT ((0 1 * B * 1 0) (PRE (1 * 2 * _ 6 7) (=Q3))) ; Q5 B _ L Q3