TY  - THES
AU  - Hidalgo Palencia, Pablo
A3  - Rodríguez Laguna, Ismael
A3  - Rosa Velardo, Fernando
PY  - 2020
UR  - https://hdl.handle.net/20.500.14352/10215
AB  - 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...
AB  - 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...
LA  - spa
KW  - Máquinas de estados finitos
KW  - Máquinas de estados finitos en comunicación
KW  - Sistemas de mensajes perdidos
KW  - Redes de Petri
KW  - Autómata 110.
KW  - Finite State Machines
KW  - Communicating Finite State Machines
KW  - Lossy Channel Systems
KW  - Petri nets
KW  - rule 110.
TI  - Análisis de sistemas de máquinas de estados finitos en comunicación
T2  - Analysis of Communicating Finite State Machines
M3  - bachelor thesis
ER  -