Bericht / Arbeitsgruppe Informatik
Dauerhafte URI für die Sammlung
Es stehen nur einzelne Bände der Schriftenreihe als PDF-Dokumente zur Verfügung. Bitte recherchieren Sie in unserem Katalog.
Ab 1997 unter dem Titel: IFIG Research Report
Ab 1997 unter dem Titel: IFIG Research Report
URN: urn:nbn:de:hebis:26-opus-29029
Stöbern nach
Auflistung Bericht / Arbeitsgruppe Informatik nach Autor:in "Buchholz, Thomas"
Gerade angezeigt 1 - 3 von 3
Treffer pro Seite
Sortieroptionen
Item On the power of one-way bounded cellular time computers(1996) Buchholz, Thomas; Kutrib, MartinComparisons of different cellular devices and the investigation of their computing power can be made in terms of their capabilities to timeconstruct and timecompute functions. Timeconstruction means that a distinguished cell has to enter distinguished states exactly at the time steps f(1); f(2); : : :, whereas timecomputation requires the distinguished cell to enter a distinguished state firstly at time step f(n), where n is the length of the input. Here the family of functions which are timeconstructible by a twoway unbounded cellular space (F(CS)) is characterized in terms of functions which are timecomputable by one of the simplest cellular devices, a oneway bounded cellular automaton (C (OCA)). Conceptually, timeconstructible functions have to be strictly increasing. Regarding that restriction the reverse characterization is shown, too. Some results concerning the structure of F(CS) and C(OCA) and their relation to formal language recognition are established.Item On time computability of functions in one-way cellular automata(1995) Buchholz, Thomas; Kutrib, MartinThe capability of oneway (spacebounded) cellular automata (OCA) to timecompute functions is investigated. That means given an constant input of length n a distinguished cell has to enter a distinguished state exactly after f(n) time steps. The family of such functions (C (OCA)) is characterized in terms of formal language recognition. Several functions are proved to be timecomputable and properties of C(OCA) are given. The timecomputation at some points is concerned with the concept of signals and their realization which is quite formally defined for the first time.Item Some relations between massively parallel arrays(1996) Buchholz, Thomas; Kutrib, MartinRelations between various models for massively parallel computers are investigated. These are arrays of finitestate machines -- eventually augmented by pushdown storage -- operating synchronously. The architectures differ mainly in how the input is supplied and how the single nodes are interconnected. The comparisons are made in terms of their capabilities to timeconstruct and timecompute functions. That means given an constant input of length n a distinguished cell has to enter distinguished states after f(1); : : : ; f(n) respectively f(n) time steps.