FSAM es un simulador de máquina de estados finitos para dispositivos móviles, fuertemente inspirado en JFLAP. Actualmente admite autómatas de estados finitos, autómatas pushdown y máquinas de Turing.
El simulador ofrece las siguientes herramientas y características.
General:
- Zoom de cámara
- Movimiento de cámara
- Reenfoque de la cámara
Funciones de configuración de FSA:
- Mover herramienta de estado
- Configurar herramienta de estado
- Crear herramienta de estado
- Crear herramienta de transición
- Eliminar herramienta
Funciones de E/S de archivos:
- Guardar como FSAM
- Cargar como FSAM
- Guardar como JFF
- Cargar como JFF
Simular características:
- Paso a Estado y Paso con Cierre
- Paso
- Historia del estado de seguimiento
- Estado de simulación de congelación/descongelación
- Eliminar estado de simulación
- Ejecución rápida/pruebas masivas
Funciones de conversión:
- Minimizar DFA
- Convertir NFA a DFA