Mapa que puede calcular estructuras automáticas.
Descargar ahora

Mapa Clasificación y resumen

Mapa Etiquetas

estructura autómatas Calcular covarianza reelaboración KBMAG estructura automática C ++ Reescritura Kbmag

Mapa Descripción

MAF o Monoid Automata Factory es una reelaboración de Kbmag en C ++. Es 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 autómatas estatales finitos. Principales características: en su mayoría compatible con KBMAG, incluida la interfaz de GAP incluye muchas utilidades para la computación con FSA Soporte de sistema de cosete más extenso que KBMAG puede calcular y simplificar las presentaciones de subgrupos La versión 2 incluye COSET Enumerator + Muchas otras nuevas utilidades

Mapa Software relacionado