Resumen - Estudio de secuencias de búsqueda y sincronización para Máquinas de Estados Finitos Temporizadas con retrasos en la salida

Estudio de secuencias de búsqueda y sincronización para Máquinas de Estados Finitos Temporizadas con retrasos en la salida

2025-07-19 08:03:14

{"Evgenii Vinarskii","Jakub Ruszil","Adam Roman","Natalia Kushik"}

{cs.FL,cs.CC}

Este documento se adentra en el estudio de secuencias de regreso y sincronización para Máquinas de Estados Finitos Temporizadas (TFSMs) con retrasos en la salida, investigando sus propiedades y derivando métodos. Los autores definen secuencias de regreso y sincronización para TFSMs con retrasos en la salida, demostrando que varias propiedades que se mantienen para máquinas no temporizadas no se aplican necesariamente a las temporizadas. Exploran varios enfoques para derivar estas secuencias, incluyendo métodos basados en árboles sucesores truncados y en abstracciones de Máquinas de Estados Finitos (FSM). El documento identifica subclases de TFSMs para las cuales estos enfoques pueden aplicarse directamente y otras para las cuales se requieren otros métodos. También evalúa la complejidad de la verificación de existencia y la derivación de (las más cortas) secuencias de regreso y sincronización para TFSMs con retrasos en la salida. Entre los hallazgos clave se incluyen: - Los autores introducen secuencias de regreso y sincronización para TFSMs con retrasos en la salida y demuestran sus propiedades. - Exploran varios enfoques para derivar estas secuencias, incluyendo métodos basados en árboles sucesores truncados y en abstracciones de FSM. - Identifican subclases de TFSMs para las cuales estos enfoques pueden aplicarse directamente. - Evalúan la complejidad de la verificación de existencia y la derivación de (las más cortas) secuencias de regreso y sincronización. - Propone una abstracción de FSM modificada para facilitar la derivación de estas secuencias para TFSMs con retrasos en la salida. - Estudian las propiedades de la correspondencia entre secuencias de regreso y sincronización para TFSMs con retrasos en la salida y sus abstracciones no temporizadas. En resumen, el documento contribuye al entendimiento de las secuencias de regreso y sincronización para TFSMs con retrasos en la salida, proporcionando insiguiencias sobre sus propiedades y métodos de derivación.