Formulas Bien Formadas

Recuerdan los predicados de Primer Orden de Lógica?....
hmmm pues resulta que en la clase de sistemas Expertos nos dejaron como práctica hacer un programa que verificara si una linea era una Formula Bien Formada ó no... o.O... y pues como no sé.... cuando nos dan a elegir el lenguaje me agrada agarrar Flash... porque es muy raro que alguie lleve una practica en flash (a menos que sea en clase de Multimedia) xD.... pues la hice en flash :D... y al estar en flash dije.. ah la voy a presumir en mi blog XD...:P.. y pues aqui está... :P....

tambien como simbolos pueden usar @ # -> <- <-> & | ¬

y algunos ejemplos de formulas bien formadas =D... con los que hice mis pruebas generales :P...

@X#Y(f(X)->a(Y,X))->@X#Y((p(X)|t(Y))->#Z(o(X,Y,Z)))
@X(romano(X)&conoce(X,Marco))->(odia(X,Cesar)|(@Y#Z(odia(Y,Z)->cree_loco(X,Y))))
@X((¬romano(X)|¬conoce(X,Marco))|(odia(X,Cesar)|(@Y@Z(¬odia(Y,Z)))|cree_loco(X,Y)))
@X@Y@Z(¬romano(X)|¬conoce(X,Marco))|(odia(X,Cesar)|(¬odia(Y,Z)|cree_loco(X,Y)))
(¬romano(X)|¬conoce(X,Marco))|(odia(X,Cesar)|(¬odia(Y,Z)|cree_loco(X,Y)))
¬romano(x)|¬conoce(X,Marco)|odia(X,Cesar)|¬odia(Y,Z)|cree_loco(X,Y)

hehehe :P.....

ah si... notarán ese boton de ? que parpadea y probablemente le dieron click y vieron el acerca de... y habran notado que dejo Agradecimientos Especiales a Fabii_Kawaii =D.. una gran amiga a quien le robé un dibujo para hacer el icono oficial de este programa XD...... beuno realmente le robé el dibujo (tomé foto) para intentar aprender a colorear en GIMP pero me sirvió tambien para el icono =D.. hehehe :P....

bueno lo sé... no tenia que escribir.. así que les presumo una practica... que geek xD:.. pero bueno queria escribir algo en esto :P. dejen su comentario si ya llegaron hasta aqui.. ¿no?...=D.