Összesen 1 találat.
#/oldal:
Részletezés:
Rendezés:

1.

001-es BibID:BIBFORM020794
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:Hierarchies of Stateless Multicounter 5· -> 3· Watson-Crick Automata Languages / Benedek Nagy, László Hegedüs, Ömer Eğecioğlu
Dátum:2011
ISSN:0169-2968
Megjegyzések:We consider stateless counter machines which mix the features of one-head counter machines and a special type of two-head Watson-Crick automata (WK-automata). Our Watson-Crick counter machines are biologically motivated. They have two heads that read the input starting from the two extremes. The reading process is finished when there are no more symbols between the heads, i.e., every letter of the input is processed by either head. Depending on whether the heads are required to advance at each move, we distinguish between realtime and non-realtime machines. If every counter makes at most k alternations between nondecreasing and decreasing modes in every computation, then the machine is k-reversal. It is reversal bounded if it is k-reversal for some k. In this paper we concentrate on the properties of both deterministic and nondeterministic stateless WK-automata with reversal bounded counters.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
Fizikai-, Számítás- és Anyagtudomány
Megjelenés:Fundamenta Informaticae. - 110 (2011), p. 1-13. -
További szerzők:Hegedüs László (1987-) (informatikus, matematikus) Eǧecioǧlu, Ömer
Pályázati támogatás:TÁMOP-4.2.1/B-09/1/KONV-2010-0007
TÁMOP
Kriptográfia algoritmusok és protokollok
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
DOI
Borító:
Rekordok letöltése1