Universidad Complutense de Madrid
E-Prints Complutense

Análisis de sistemas de máquinas de estados finitos en comunicación
Analysis of Communicating Finite State Machines

Downloads

Downloads per month over past year

61813

Impacto

Downloads

Downloads per month over past year



Hidalgo Palencia, Pablo (2020) Análisis de sistemas de máquinas de estados finitos en comunicación. [Trabajo Fin de Grado]

[thumbnail of Hidalgo_Palencia_Entrega_final_4398577_1640214455.pdf]
Preview
PDF
Creative Commons Attribution Non-commercial.

544kB


Abstract

En este trabajo presentamos un modelo de cómputo formado por varias máquinas de estados finitos que se pueden comunicar entre sí a través de canales FIFO. Estudiamos cuál es su expresividad y la complejidad de resolver algunos problemas en este modelo, que yace entre lo decidible y lo indecidible por aunar la simplicidad de las máquinas de estados finitos con la complejidad que aportan comunicaciones no deterministas. Estudiamos además diversas variaciones en la definición y las implicaciones que tienen estas modificaciones sobre la expresividad y complejidad del modelo.

Resumen (otros idiomas)

In this work we present a computation model in which several Finite State Machines communicate via FIFO channels. We study its expressivity and the complexity of solving some decision problems regarding this model, lying on the edge between decidability and undecidability because of bringing together the simplicity of Finite State Machines and the complexity of non-deterministic communications. We also study some variations of the main model and the changes they generate in terms of expressivity and complexity.

Item Type:Trabajo Fin de Grado
Additional Information:

Trabajo de fin de Grado en Doble Grado de Ingeniería Informática y Matemáticas, Facultad de Informática UCM, Departamento de Sistemas Informáticos y Computación, Curso 2019/2020

Directors:
Directors
Rodríguez Laguna, Ismael
Rosa Velardo, Fernando
Uncontrolled Keywords:Máquinas de estados finitos, Máquinas de estados finitos en comunicación, Sistemas de mensajes perdidos, Redes de Petri, Autómata 110.
Palabras clave (otros idiomas):Finite State Machines, Communicating Finite State Machines, Lossy Channel Systems, Petri nets, rule 110.
Subjects:Sciences > Computer science
Título de Grado:Doble Grado en Ingeniería Informática y Matemáticas
ID Code:61813
Deposited On:07 Sep 2020 09:31
Last Modified:07 Sep 2020 09:31

Origin of downloads

Repository Staff Only: item control page