Vaucansón Vaucanson es una plataforma de manipulación de máquinas de estado finita, compuesta por una biblioteca y herramientas implementadas en la parte superior.
Descargar ahora

Vaucansón Clasificación y resumen

Vaucansón Etiquetas

máquina manipulación biblioteca de desarrollo Máquina de estados finitos manipulación de la máquina Vaucansón

Vaucansón Descripción

Vaucanson es una plataforma de manipulación de máquinas de estado finita, compuesta por una biblioteca y herramientas implementadas en la parte superior. Vaucanson es una plataforma de manipulación de máquinas de estado finita, compuesta por una biblioteca y herramientas implementadas en la parte superior. El objetivo de Vaucanson es permitir el desarrollo de los programas de C de manera abstracta y general con un gran poder de especialización. En una mano, permite la escritura de algoritmos que trabajan en cada automaton con pesas sobre cualquier semirroideo y con palabras de cualquier monoideo libre. . Y, por otro lado, un algoritmo particular puede especializarse para una estructura de datos particular que implementa solo un comportamiento pseudo. Novedades en esta versión: · Se agregaron binarios "VCSN-Z" y "VCSN-TDC" al kit de herramientas de TAF-kit para trabajar con z autómatas y transductores FMP. · Se han agregado muchos comandos (algoritmos) en "VCSN- B ". · Muchas correcciones de errores se hicieron para XML. · Por ejemplo, el alfabeto ya no se llena con el rango predeterminado si se dice que está vacío. Se agregaron nuevos algoritmos: is_ambiguue (a) Pruebas si" A "es ambiguo ; sub_normalize_here (a) sub-normaliza el autómata "A"; Invertir (t) devuelve la inversa del Transductor de RW "T", es decir, el transductor que realiza la relación racional invertida.

Vaucansón Software relacionado