Mapa para computar con autómatas estatales finitos
Descargar ahora

Mapa Clasificación y resumen

Mapa Etiquetas

calcular estructura estado finito Calcular estructura automática

Mapa Descripción

Paquete para computar con autómatas estatales finitos. MAF es una reelaboración gratuita y de código abierto en C ++ de KBMAG. Un paquete y una biblioteca de C ++ para computar estructuras automáticas y sistemas de reescritura confluentes para sistemas de reescritura de grupo y coset, y para computar con Finite State Automata.note: Estos son los binarios para la construcción 46 de MAF. Los usuarios de Mac pueden descargar versiones de 32 bits o 64 bits. La versión de 32 bits probablemente funcionará mejor para usted a menos que tenga al menos 6 o 7 GB de RAM. Es posible que deba modificar su entorno para que los ejecutables puedan localizar correctamente libmaf.dylib. Aquí hay algunas características clave de "MAF": · Puede calcular estructuras automáticas para cualquier orden de pedido. · Mayormente compatible con KBMAG, incluida la interfaz GAP. · Incluye muchos servicios públicos para computar con FSA. · Soporte de sistema de cosete más extenso que KBMAG · Puede calcular y simplificar las presentaciones de subgrupos. Requisitos: · Java ¿Qué hay de nuevo en este lanzamiento: · El rendimiento de la minimización FSA ha sido mejorado sustancialmente, de modo que la construcción de grandes estructuras automáticas ahora es mucho más rápido. · Hay un nuevo GPCClase de utilidad que crea una FSA que resuelve el problema de conjugado para un grupo finito. · Hay algunas nuevas opciones de línea de comandos para autómatas, en su mayoría conectadas con el uso de sistemas COSET con subgéneradores con nombre para encontrar subgrupos de índice grande pero finito.

Mapa Software relacionado