aboutsummaryrefslogtreecommitdiff
path: root/mc
diff options
context:
space:
mode:
authorJuan Marin Noguera <juan@mnpi.eu>2022-09-06 19:31:22 +0200
committerJuan Marin Noguera <juan@mnpi.eu>2022-09-06 19:31:22 +0200
commit849b2ddeecfd398e15e2d9a711040bb427fa3291 (patch)
tree64f9a99292def0c0a3f42fe718bdbfc76dc83ee0 /mc
parente606440951470b5142050f78980d6de7a1937658 (diff)
Some clarification
Diffstat (limited to 'mc')
-rw-r--r--mc/n1.lyx14
1 files changed, 10 insertions, 4 deletions
diff --git a/mc/n1.lyx b/mc/n1.lyx
index 8fde36d..eebb177 100644
--- a/mc/n1.lyx
+++ b/mc/n1.lyx
@@ -947,6 +947,16 @@ Para dibujar un NFA
\end_layout
\begin_layout Standard
+También podemos representar un NFA con una tabla con un estado por fila,
+ empezando por el estado inicial y marcando de alguna forma los estados
+ finales, y con una columna por letra o
+\begin_inset Formula $\epsilon$
+\end_inset
+
+ cuyas celdas contienen los valores de la función de transición.
+\end_layout
+
+\begin_layout Standard
Las
\series bold
operaciones regulares
@@ -1149,10 +1159,6 @@ Dados dos lenguajes regulares
\begin_inset Formula $(Q_{2},\Sigma,\delta_{2},q_{2},F_{2})$
\end_inset
-, sea
-\begin_inset Formula $q_{0}\notin Q_{1}\cup Q_{2}$
-\end_inset
-
,
\begin_inset Formula $L_{1}\cup L_{2}$
\end_inset