/Balrog_MT

Balrog es un pequeño desarrollo el busca como fin hacer una MT el cual tenga como cadena valida (a)^n (b)^n

Primary LanguageJavaApache License 2.0Apache-2.0

Balrog_MT

Balrog es un pequeño desarrollo el busca como fin hacer una MT el en cual tenga como lenguaje valida (a)^n (b)^n

Funcionamiento

Practicamente tiene como entrada cadenas pares de a y b (ambas minusculas) como ejemplo:

  • ab
  • aabb
  • aaaabbbb

El recorrido de los estados consta del analicis de la siguiendo el desarrollo de una MT:

Lenguaje:

L = { a n b n   : n > 0 }

Donde el alfabeto seria:

Σ = { a , b }

Los símbolos de cinta son:

T = { a , b , B (" "/ 32) , A , B } 
  siendo B el símbolo en blanco, espacio, o simplemente el ascii 32.

La MT consta de cinco estados:

{ q 0 , q 1 , q 2 , q 3 , q 4 } 
  Los estados q0 y q4 son el inicial y el final, respectivamente.
Quedando de la siguiente manera:





Adjunto unas capturas de BalrogMT_beta-1.0:

Adjunto unas capturas de BalrogMT_beta-1.5 estable: