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
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.
Artículo:
Algunos teoremas de punto fijo en espacios métricos probabilísticos generalizados
Guía:
Parejas de fracciones
Artículo:
El estudio del comportamiento caótico en el modelo de demanda minorista.
Artículo:
Algunas Caracterizaciones de las Funciones de Producción Cobb-Douglas y CES en Microeconomía
Artículo:
Propiedades geométricas y de mallado de las curvas conjugadas para la transmisión por engranajes
Artículo:
Un estudio sobre la formulación de los parámetros de 5 o menos variables independientes de regresión lineal múltiple.
Tesis:
Estudio comparativo de tres sistemas de secado para la producción de un polvo deshidratado de fruta
Artículo:
Predicción de precios de vivienda basada en regresión lineal múltiple
Artículo:
Papel de la atención sanitaria habitual combinada con la telemedicina en el tratamiento del embarazo de alto riesgo en Hangzhou, China