Találati lista | Tudóstér

001-es BibID:	BIBFORM048431
Első szerző:	Nagy Benedek (informatikus, matematikus)
Cím:	Deterministic pushdown-CD-systems of stateless deterministic R(1)-automata / Benedek Nagy, Friedrich Otto
Dátum:	2013
ISSN:	0001-5903
Megjegyzések:	Recently the one-counter trace languages and the context-free trace languages have been characterized through restricted types of cooperating distributed systems (CD-systems) of stateless deterministic restarting automata with window size one (so-called stldet-R(1)-automata) thatwork in mode ♭=1' and that use an external counter or pushdownstore to determine the successor components within computations.Herewe study the deterministic variants of these CD-systems, comparing the resulting language classes to the classes of languages defined by CD-systems of stl-det-R(1)-automata without such an external device and to some classical language families, among them in particular the classes of rational, one-counter, and context-free trace languages. In addition, we present a large number of (non-)closure properties for our language classes.
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 A Jövő Internet elméleti alapjai
Megjelenés:	Acta Informatica. - 50 : 4 (2013), p. 229-255. -
További szerzők:	Otto, Friedrich
Pályázati támogatás:	TÁMOP-4.2.1/B-09/1/KONV-2010-0007 TÁMOP Kriptográfia algoritmusok és protokollok TÁMOP-4.2.2.C-11/1/KONV-2012-0001 TÁMOP Informatikai hálózatok elméleti alapjai
Internet cím:	DOI Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon: