Un lenguaje no determinista?

Prototipo I: La palabra prototipo me hace recordar las prácticas de dinámica de sistemas con el profesor Hugo Andrade.
-----

Resumen:

Este Articulo permite introducirnos al contexto de los lenguajes deterministas y no deterministas.

Palabras claves:

MEF, lenguajes, Autómatas.

INTRODUCCION

Hace algún tiempo, en el desarrollo de una clase de IA el profesor libremente dejó una expresión que a mi critero ha sido (y será) referencia para el estudio de nuevos modelos matemáticos que definan el comportamiento; "(...) Estas muerto en vida (...)", La evaluación matematica de expresiones como esas son fragmentos llaves que sin duda alguna nos impulsarán a la concepción de una matamática no determinista, en la que visionando las operaciones no son únicas, sino un espacio de soluciones verídicas. Por ejemplo como hube citado en blogs pasados 1 + 1 = a un espacio que contiene a (1,2,3,...) . Es a mi criterio una abstraccion de los grupos de condiciónes que conocemos como matemáticas discretas (Álgebra de boole).

La implementación de un lenguaje no determinista requiere fundamentarse en maquinas de estados finitos (o depronto infinitos) que sean de naturaleza determinista, no obstante la computación actual se basa en el modelo de Alan Turing (que suelo resumir en Reglas, Interpretación y Ejecución) de una MEF. partiendo de el lema que un AFN puede ser convertido a un AFD para evitar que fuese no determinista propongo en mis estudios implementar una maquina de estados finitos con varias dimenciones para ver como sería su desarrollo al momento de ser implantada como scaner en un lenguaje no determnista.

Un lenguaje no determinista se asemeja a nuestro idioma, no tanto por el hecho de basarse en predicados sin que conserva en su interpretacion dualidades que son aveces no codificadas por los receptores y/o sujetos que desarrollan la acción (Análisis sintactico y semantico). Asimismo para un lenguaje no determinista la ejecucion sería lo suficientemente ambigüa como para razonar de forma similar a un lenguaje humano.

Un ejemplo de implementacion es el siguiente:
definicion de tipo (a)
a es un X tal que x es natural
fin definicion.
definicion de tipo (b)b es un X tal que x es enterosfin definicion.
definicion de tipo (c)c es un X tal que x es racionalfin definicion.
por regla todos los (a) pertenecen a (c) pero la relación no es recíproca.
valor tipo (a) funcion(sin parámetros) inicio
devolver valor tipo(a)
fin funcion
valor tipo (b) funcion(sin parámetros) iniciodevolver valor tipo(b)fin funcion
valor tipo (c) funcion(sin parámetros) iniciodevolver valor tipo(c)fin funcion
metodo no determinista inicial
inicio1 (haga...)
inicio2 (haga...)
inicio3 (haga...)
mientras tanto haga (...) inicio
tipo(c) = funcion().
' El interrogante es: que devolvera la función?
' Un a , un b o un c? acaso no corresponden a un sub espacio (a) de (c)?
fin.
fin metodos.
Con todas estas dudas queda a determinación como implementar esa estructura y sobretodo cual es el modelo matemático que la define.