vladomiro
/
notas-alf
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

correccion nfa

This commit is contained in:
Vladimir Lemus 2023-02-08 22:11:21 -06:00
parent 6494acb364
commit f3d8e7749e
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

BIN
nfa_dfa.pdf
View File

Binary file not shown.

4
nfa_dfa.tex
View File

@ -130,7 +130,7 @@ Caso muy diferente con las últimas dos cadena, que sí son aceptadas: $aba$ y $
Los dos terminan en el estado $1$ que es de aceptación, ambas cadenas son aceptadas. Espero puedan ver de aquí una regularidad: se aceptan las cadenas que empiezan y terminan con $a$ pero no puede haber más de una $a$ ni una $b$ consecutiva. No es el autómata más pequeño que hace esa labor, pero así no lo dieron.
Como les había mencionado un sitio útil para probar los autómatas de manera computacional es \url{https://automaton-web.herokuapp.com/}, ya su experiencia en la programación les dirá que lo más sano es dudar de que haga todo correctamente, revisen por su cuenta y validen si lo que hace el programa es correcto.
Como les había mencionado un sitio útil para probar los autómatas de manera computacional es \url{http://automatonsimulator.com/}, ya su experiencia en la programación les dirá que lo más sano es dudar de que haga todo correctamente, revisen por su cuenta y validen si lo que hace el programa es correcto.
Otra parte importante a ejercitar es diseñar el autómata a partir de la descripción del lenguaje, por ejemplo:
@ -240,7 +240,7 @@ De inspeccionar podemos ver que acepta las cadenas del tipo:
\begin{itemize}
\item La cadena vacía $\epsilon$ (el estado inicial es de aceptación).
\item Las cadenas que son repeticiones de a $a,aa,aaa,aaaa,...$ es decir $a^*$ si incluimos aquí a la cadena vacía.
\item Las subcadenas con un número par de caracteres siempre y cuando el seundo carácter se $b$, $ab,bb,abbb,bbbb,...$. Quizá ea más difícil de generalizar, yo lo pondría como $(ab)^+$ y $(bb)*$, líneas abajo veremos una forma más reducida de expresarlo.
\item Las subcadenas con un número par de caracteres siempre y cuando el segundo carácter se $b$, $ab,bb,abbb,bbbb,...$. Quizá ea más difícil de generalizar, yo lo pondría como $(ab)^+$ y $(bb)*$, líneas abajo veremos una forma más reducida de expresarlo.
\end{itemize}
¿Porqué es no determinista? Porque en es estado $S$ hay dos posibles salidas para $a$, o se queda en $S$ o pasa al estado $q_1$. Y en $q_1$ no hay transición para el carácter $a$. En este ejemplo hacen falta transiciones $\epsilon$.