Maquinas de estados finitos bi-dimensionales.

Una vez comente a mi profesor Jorge Ortiz acerca de hacer una maquina de estados finitos en dos dimenciones que permitiera montar las siguientes gramaticas:

Palabra = {
a+b+a+ ,
ab+a ,
a+b+a+
}

esto permite como me planteaba mi profesor hacer que una MEF (Maquina de estados finitos) pueda ser capaz de tener nivel semantico.

Un enfoque practico, nos haria pensar que la palabra o lexema Palabra es capaz de reconocer las siguentes expresiones:

XXOXX
XOOOX
XXOXX

XOXXX
XOOOX
XXOXX

En ambos casos debe reconocerme la bandera de suiza.

Aunque estoy trabajando en montar la maquina de estados finitos