Autor Tema: Construir un AFD

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

23 Diciembre, 2019, 06:20 am
Leído 225 veces

Julio_fmat

  • $$\Large \color{red}\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 2,398
  • País: cl
  • Karma: +0/-0
  • Sexo: Masculino
    • Fmat
Construya un AFD que acepte el siguiente lenguaje. Escribalos formalmente y dibujelos.

\( L:=\{w\in \{a,b\}^{*}, \text{cada } a \text{ en } w \text{ esta precedido y seguido por una } b\} \).
"Haz de las Matemáticas tu pasión".

23 Diciembre, 2019, 08:07 am
Respuesta #1

pierrot

  • pabloN
  • Moderador Global
  • Mensajes: 3,395
  • País: uy
  • Karma: +0/-0
  • Sexo: Masculino
Puse como etiquetas la semántica de los estados. La semántica del estado \( q_a \) es que el autómata se posiciona en ese estado cuando acaba de leer una "a" (previamente habiendo leído b's). En estas condiciones, si lee otra "a", se va a un estado "pozo" para rechazar a esa cadena (porque habría dos a's seguidas). Si lee una "b", pasamos al estado \( q_b \) cuya semántica es: se acaba de leer una "b".

$_="loe  hnachaPkr erttes,urJ";$j=0;for($i=0;s/(.)(.{$j})$//;$i++){$_=$2.$_,$j+=1-$i%2,print$1}print