Meno:Martin
Priezvisko:Makuch
Názov:Exploring Parallelism and Cooperation in Multi-Automata Systems
Vedúci:prof. RNDr. Branislav Rovan, PhD.
Rok:2025
Kµúčové slová:automata theory, multi-head finite automata, parallel communicating finite automata, communication structure, equivalence of models
Abstrakt:The goal of this thesis is to investigate parallelism in automata theory by further analyzing the equivalence between multi-head finite automata and parallel communicating finite automata systems. Building on previously established equivalence results, this work broadens the study by systematically exploring how communication structure affects computational capabilities. This thesis shows the fundamental role of communication and deepens our understanding of parallelism and cooperation in computational models.

Súbory bakalárskej práce:

main.pdf

Súbory prezentácie na obhajobe:

makuch.pdf

Upravi»