--- a/hws/hw03.tex	Fri Oct 13 23:49:34 2023 +0100
+++ b/hws/hw03.tex	Sat Oct 21 09:09:09 2023 +0100
@@ -97,7 +97,7 @@
 
         \[
           \hat{\rho}(qs, []) \dn qs \qquad
-          \hat{\rho}(qs, c::s) \dn \bigcup_{q\in qs} \{ q' \; | \; \rho(q, c, q')\}
+          \hat{\rho}(qs, c::s) \dn \bigcup_{q\in qs} \hat{\rho}(\{ q' \; | \; \rho(q, c, q')\}, s)
         \]
 
         This ``collects'' all the states reachable in a breadth-first