Biblioteca122.294 documentos en línea

Artículo

Degeneralization Algorithm for Generation of Büchi Automata Based on Contented SituationAlgoritmo de Desgeneralización para la Generación de Autómatas de Büchi Basado en Situaciones Satisfechas

Resumen

Presentamos un algoritmo de degeneralización sobre la marcha utilizado para transformar autómatas de Büchi generalizados (GBA) en Autómatas de Büchi (BA) diferentes al algoritmo estándar de degeneralización. La situación contenta, que se utiliza para registrar qué condiciones de aceptación son satisfacibles durante la expansión de fórmulas LTL, se adjunta a los estados y transiciones en el BA. Para obtener el BA determinista, se utiliza la expansión de Shannon de forma recursiva al expandir las fórmulas LTL aplicando las reglas del tableau. El algoritmo de degeneralización sobre la marcha se lleva a cabo en cada paso de la expansión de las fórmulas LTL. Se utilizan diagramas de decisión binaria ordenados para representar el BA y simplificar las fórmulas LTL. Los autómatas temporales se almacenan como gráficos acíclicos dirigidos por sintaxis para ahorrar espacio de almacenamiento. Estas ideas se implementan en un algoritmo de conversión utilizado para construir un autómata de propiedades correspondiente a las

  • Tipo de documento:
  • Formato:pdf
  • Idioma:Inglés
  • Tamaño: Kb

Cómo citar el documento

Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.

Este contenido no est� disponible para su tipo de suscripci�n

Información del documento