Találati lista | Tudóstér

001-es BibID:	BIBFORM018448
Első szerző:	Nagy Benedek (informatikus, matematikus)
Cím:	Globally deterministic CD-systems of stateless R(1)-automata / Benedek Nagy, Friedrich Otto
Dátum:	2011
Megjegyzések:	Although the component automata of a cooperating distributed system (CD-system) of stateless deterministic R(1)-automata are all deterministic, the CD-system itself is not. Here we study CD-systems of stateless deterministic R(1)-automata that are themselves completely deterministic. These CD-systems correspond to deterministic finite-state acceptors with translucent letters. We investigate the expressive power of these systems, study the closure properties of the class of languages they accept, and show that the inclusion problem for these systems is undecidable, while their universe problem is decidable.
Tárgyszavak:	Természettudományok Matematika- és számítástudományok előadáskivonat Fizikai-, Számítás- és Anyagtudomány automata formális nyelvek
Megjelenés:	Language and Automata Theory and Applications : 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011. Proceedings / eds. Adrian-Horia Dediu, Shunsuke Inenaga, Carlos Martín-Vide. - p. 390-401. -
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
Internet cím:	Szerző által megadott URL DOI Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon: