From 7cfd6c1fcdd28543ebe92458190801ca25a4c8b9 Mon Sep 17 00:00:00 2001
From: Parker TenBroeck <51721964+ParkerTenBroeck@users.noreply.github.com>
Date: Thu, 9 Apr 2026 12:22:46 -0400
Subject: [PATCH] fixed typo in DPDA Final State example

---
 web/root/src/examples.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/web/root/src/examples.ts b/web/root/src/examples.ts
index dc0e723..f1126d8 100644
--- a/web/root/src/examples.ts
+++ b/web/root/src/examples.ts
@@ -104,7 +104,7 @@ d(qc, c) = qc
   new Example(
     "Tutorial",
     "DPDA Final State",
-    `// Accept strings over a,b of the form a^nb^k n != k n,k > 0
+    `// Accept strings over a,b of the form a^nb^k where n != k and n,k > 0
 
 type   = DPDA
 Q      = {q0, qas, qeq, qmb, qlb} // states
@@ -122,7 +122,7 @@ d(qas, b, z0) = (qeq, z0)
 d(qas, a, A) = (qas, [A A])
 d(qas, b, A) = (qlb, ~)
 
-d(qlb, b, A) = (qeq, ~)
+d(qlb, b, A) = (qlb, ~)
 d(qlb, b, z0) = (qeq, z0)
 
 d(qeq, b, z0) = (qmb, z0)