visual annoyance in lecture04.tex

Open user-g7u1ftxm8f2qna3b opened this issue 3 months ago • 1 comments

On page 18 and 19 there is the term $\sigma_1...\sigma_n$. n is supposed to be any natural number including 0. My problem with this is that if n would be 0 you have the range $\sigma_1...\sigma_0$ which is not possible. On page 18 there is the same problem with i in the induction. I propose to change the start index of the sigma to 0, because a range of length 0 is still valid.

Oct 23 '25 11:10 user-g7u1ftxm8f2qna3b

The way this notation works is that $\sigma_1 \dotsb \sigma_0 = \epsilon$ (which is used in the base case of the induction argument here).

Oct 23 '25 12:10 mmarx