diff options
Diffstat (limited to 'mc/n1.lyx')
| -rw-r--r-- | mc/n1.lyx | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -489,7 +489,7 @@ Sean \end_inset y -\begin_inset Formula $F'\coloneqq\{r\in Q':r\cap F\neq\emptyset\}$ +\begin_inset Formula $F'\coloneqq\{r\in Q'\mid r\cap F\neq\emptyset\}$ \end_inset . @@ -1807,7 +1807,7 @@ Sean \[ \delta'(q,r)\coloneqq\begin{cases} \epsilon, & (q,r)=(q_{0},q_{1})\lor(q\in F\land r=q_{\text{F}});\\ -a_{1}\mid\dots\mid a_{k}, & \{a\in\Sigma:r\in\delta(q,a)\}=\{a_{1},\dots,a_{k}\}\neq\emptyset;\\ +a_{1}\mid\dots\mid a_{k}, & \{a\in\Sigma\mid r\in\delta(q,a)\}=\{a_{1},\dots,a_{k}\}\neq\emptyset;\\ \emptyset, & \text{en otro caso}. \end{cases} \] |