Latigazo El controlador simbólico basado en Lieja Automata (LET)
Descargar ahora

Latigazo Clasificación y resumen

Latigazo Etiquetas

manipular representar representa un conjunto infinito de estado finito representación manipular autómata conjunto infinito

Latigazo Descripción

El manejador simbólico basado en Lieja Automata (LEH) Lash es un conjunto de herramientas para representar conjuntos infinitos y explorar espacios estatales infinitos. Se basa en representaciones de estado finitas, que se basa en autómatas de estado finito para representar y manipular conjuntos infinitos de valores sobre diversos dominios de datos. Aquí hay algunas características clave de "LEAT": C Bibliotecas que proporcionan funciones y tipos de datos para realizar las siguientes tareas: · Construyendo y manipulando algunos tipos de autómatas de estado finito (en palabras finitas e infinitas). · Manipular y representar conjuntos infinitos y finitos de valores. · Explorar el espacio estatal de sistemas compuestos por un control finito y de variables enteras ilimitadas sobre las cuales se realizan las operaciones lineales. Frontales para: · Compilación de modelos de programas expresados en la simple-promela y los idiomas simples y simples, y explorando el espacio estatal de estos programas. · Resolver problemas expresados en la aritmética del Presupuesto.

Latigazo Software relacionado