Autor Tema: Probar que L(A) es el conjunto de cadenas en un texto plano

0 Usuarios y 1 Visitante están viendo este tema.

25 Septiembre, 2018, 09:02 pm
Leído 1258 veces

Antoniio

  • $$\Large \color{red}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 258
  • Karma: +0/-0
  • Sexo: Masculino
Hola, buenas. Tengo este problema:

Sea \( A \) el autómata:



Pruebe que \( L(A) \) es el conjunto de cadenas de un texto plano de la forma \( w = "x"  \) donde \(  x  \)  ∈ ( Σ \ {"})*

Quisiera saber si está bien comenzar de esta forma que es como yo lo inicié:




O si necesito iniciar de otra manera, o más bien,que hacer con esa \( X \) ..

Espero poder recibir apoyo en este tema, saludos !!

25 Septiembre, 2018, 09:34 pm
Respuesta #1

manooooh

  • $$\Large \color{red}\pi\,\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 3,054
  • País: ar
  • Karma: +1/-0
  • Sexo: Masculino
Hola

O no me acuerdo mucho de esto o la respuesta está mal.

Lo que yo hice fue escribir cada estado por separado e ir deduciendo los valores:

\( \begin{matrix}q_0=\;"\!q_1\\q_1=a^*\vee\;"\!q_2\\q_2=\lambda.\end{matrix} \)

Vas reemplazando de abajo hacia arriba y queda \( L(A)=\;"\!(a^*\vee")\neq\;"\!x" \), con \( a\neq\;" \) (creo). ¿Qué te parece?

Saludos

26 Septiembre, 2018, 07:30 pm
Respuesta #2

Antoniio

  • $$\Large \color{red}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 258
  • Karma: +0/-0
  • Sexo: Masculino
Hola

O no me acuerdo mucho de esto o la respuesta está mal.

Lo que yo hice fue escribir cada estado por separado e ir deduciendo los valores:

\( \begin{matrix}q_0=\;"\!q_1\\q_1=a^*\vee\;"\!q_2\\q_2=\lambda.\end{matrix} \)

Vas reemplazando de abajo hacia arriba y queda \( L(A)=\;"\!(a^*\vee")\neq\;"\!x" \), con \( a\neq\;" \) (creo). ¿Qué te parece?

Saludos

Hola, gracias por responder.

La verdad no entiendo muy bien lo que tratas de hacer, nunca lo había intentado de esa manera..no es lo mismo que hacer esto?


Saludos.

30 Septiembre, 2018, 09:21 pm
Respuesta #3

manooooh

  • $$\Large \color{red}\pi\,\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 3,054
  • País: ar
  • Karma: +1/-0
  • Sexo: Masculino
La verdad no entiendo muy bien lo que tratas de hacer, nunca lo había intentado de esa manera..no es lo mismo que hacer esto?


Pues yo nunca lo he escrito con las "T" giradas. ¿Cómo se sabe dónde hay un bucle?

Lo que yo escribí lo aprendí de mi profesor, que si hay una máquina de estado pues se empieza por el último estado y se van deduciendo los otros. Este es un ejemplo que dio:


La expresión regular se obtiene resolviendo este "sistema de ecuaciones":

\( \begin{matrix}
q_0=0^*\vee1^*\vee0q_1\\
q_1=1q_2\\
q_2=1q_3\\
q_3=\lambda\quad\text{(palabra nula)}
\end{matrix} \)

Como \( q_3=\lambda \) entonces \( q_2=1\lambda=1 \), pero entonces \( q_1=11 \). Finalmente \( q_0=0^*\vee1^*\vee011 \), luego \( L(G)=\{0^*\vee1^*\vee011\}=\{0^*\vee1^*(011)\} \).

Saludos

P.D. No está permitido subir imágenes alojadas en servidores externos. Por favor subilas directamente al foro en "Adjuntar" -> "Seleccionar archivo".

04 Octubre, 2018, 08:20 pm
Respuesta #4

Antoniio

  • $$\Large \color{red}\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 258
  • Karma: +0/-0
  • Sexo: Masculino
La verdad no entiendo muy bien lo que tratas de hacer, nunca lo había intentado de esa manera..no es lo mismo que hacer esto?


Pues yo nunca lo he escrito con las "T" giradas. ¿Cómo se sabe dónde hay un bucle?

Lo que yo escribí lo aprendí de mi profesor, que si hay una máquina de estado pues se empieza por el último estado y se van deduciendo los otros. Este es un ejemplo que dio:


La expresión regular se obtiene resolviendo este "sistema de ecuaciones":

\( \begin{matrix}
q_0=0^*\vee1^*\vee0q_1\\
q_1=1q_2\\
q_2=1q_3\\
q_3=\lambda\quad\text{(palabra nula)}
\end{matrix} \)

Como \( q_3=\lambda \) entonces \( q_2=1\lambda=1 \), pero entonces \( q_1=11 \). Finalmente \( q_0=0^*\vee1^*\vee011 \), luego \( L(G)=\{0^*\vee1^*\vee011\}=\{0^*\vee1^*(011)\} \).

Saludos

P.D. No está permitido subir imágenes alojadas en servidores externos. Por favor subilas directamente al foro en "Adjuntar" -> "Seleccionar archivo".

De acuerdo, intentaré hacerlo de esa manera. Muchas gracias, saludos !!