Suche

Wo soll gesucht werden?
Erweiterte Literatursuche

Ariadne Pfad:

Startseite

Literaturnachweis - Detailanzeige

 
AutorenFarwer, Berndt; Kudlek, Manfred; Rölke, Heiko;
TitelConcurrent turing machines.
QuelleIn: Fundamenta Informaticae, 79 (2007) 3-4, S. 303-317
PDF als Volltext  Link als defekt melden    Verfügbarkeit 
BeigabenLiteraturangaben
Spracheenglisch
Dokumenttypgedruckt; online; Zeitschriftenaufsatz
ISSN0169-2968; 1875-8681
SchlagwörterTuringmaschine; Konfiguration; Informatik; Softwareanalyse; Netzarchitektur; Internet;
AbstractWe define Concurrent Turing Machines (CTMs) as Turing machines with Petri nets as finite control. This leads to machines with arbitrary many tape heads, thus subsuming any class of (constant) k-head Turing machines. Space, time, and head complexity classes are introduced and discussed showing the difference of various acceptance conditions that are defined for CTMs. Nevertheless, we show that CTMs can be simulated by TMs. Concurrent Turing machines correspond to a class of multiset rewriting systems. The definition of a CTMs as a rewrite theory avoids the need for encoding multisets as words and using an equivalence relation on configurations. Multiset rewriting lends itself to be used in rewriting systems and tools like the rewriting engine Maude. For the rewriting system, a configuration is given by a varying sequence of strings and multisets (Orig.).
Erfasst vonDIPF | Leibniz-Institut für Bildungsforschung und Bildungsinformation, Frankfurt am Main
UpdateNeueintrag 2019-07
Literaturbeschaffung und Bestandsnachweise in Bibliotheken prüfen
 

Standortunabhängige Dienste
Bibliotheken, die die Zeitschrift "Fundamenta Informaticae" besitzen:
Link zur Zeitschriftendatenbank (ZDB)

Artikellieferdienst der deutschen Bibliotheken (subito):
Übernahme der Daten in das subito-Bestellformular

Tipps zum Auffinden elektronischer Volltexte im Video-Tutorial

Trefferlisten Einstellungen

Permalink als QR-Code

Permalink als QR-Code

Inhalt auf sozialen Plattformen teilen (nur vorhanden, wenn Javascript eingeschaltet ist)