Skip to content

Commit

Permalink
Update class_3.tex
Browse files Browse the repository at this point in the history
Typo
  • Loading branch information
saona-raimundo authored Oct 23, 2023
1 parent bc9e476 commit 3676304
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion class_3.tex
Original file line number Diff line number Diff line change
Expand Up @@ -165,7 +165,7 @@ \chapter{Class 3}

\Homework[Prove balanced binary sequences]{
Consider $S$ generated by the rules $X \implied 01X$ and $X \implied 10X$.
Prove that, for all binary words $x$, we have that $x\ in S$ if and only iff every finite prefix of even length of $x$ has the same number of $0$s and $1$s.
Prove that, for all binary words $x$, we have that $x\ in S$ if and only if every finite prefix of even length of $x$ has the same number of $0$s and $1$s.
}

Hints.
Expand Down

0 comments on commit 3676304

Please sign in to comment.