equal
deleted
inserted
replaced
950 |
950 |
951 \noindent Using the two induction hypotheses from above, |
951 \noindent Using the two induction hypotheses from above, |
952 we can transform this into |
952 we can transform this into |
953 |
953 |
954 \[ |
954 \[ |
955 [] \in L(r_1) \vee []\in(r_2) |
955 [] \in L(r_1) \vee []\in L(r_2) |
956 \] |
956 \] |
957 |
957 |
958 \noindent We just replaced the $\textit{nullable}(\ldots)$ parts by |
958 \noindent We just replaced the $\textit{nullable}(\ldots)$ parts by |
959 the equivalent $[] \in L(\ldots)$ from the induction |
959 the equivalent $[] \in L(\ldots)$ from the induction |
960 hypotheses. A bit of thinking convinces you that if |
960 hypotheses. A bit of thinking convinces you that if |