Suche
Anzeige der Dokumente 151-151 von 151
Dissertation
Systems of Parallel Communicating Restarting Automata
(2013-07-31)
In der vorliegenden Dissertation werden Systeme von parallel arbeitenden und miteinander kommunizierenden Restart-Automaten (engl.: systems of parallel communicating restarting automata; abgekürzt PCRA-Systeme) vorgestellt und untersucht. Dabei werden zwei bekannte Konzepte aus den Bereichen Formale Sprachen und Automatentheorie miteinander vescrknüpft: das Modell der Restart-Automaten und die sogenannten PC-Systeme (systems of parallel communicating components).
Ein PCRA-System besteht aus endlich vielen ...