Találati lista | Tudóstér

001-es BibID:	BIBFORM024898
Első szerző:	Nagy Benedek (informatikus, matematikus)
Cím:	Pushdown Automata with Translucent Pushdown Symbols / Benedek Nagy, Friedrich Otto, Marcel Vollweiler
Dátum:	2011
Megjegyzések:	Pushdown automata with translucent pushdown symbols are presented. Such a device is a pushdown automaton M that is equipped with a 'transparency relation' . In a transition step, M does not read (and replace) the topmost symbol on its pushdown store, but the topmost one that is only covered by translucent symbols. We prove that these automata accept all recursively enumerable languages. Then we concentrate on a restricted version of pushdown automata with translucent pushdown symbols that work in real-time or in quasireal-time. We compare the corresponding language classes to other classical complexity classes, and we study closure properties for these language classes.
Tárgyszavak:	Természettudományok Matematika- és számítástudományok előadáskivonat Fizikai-, Számítás- és Anyagtudomány
Megjelenés:	21. Theorietag Automaten und Formale Sprachen / Jürgen Dassow, Bianca Truthe (Hrsg.). - p. 89-92
További szerzők:	Ottóffy Gábor Vollweiler, Marcel
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 Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon:

001-es BibID:	BIBFORM018453
Első szerző:	Nagy Benedek (informatikus, matematikus)
Cím:	Pushdown Automata with Translucent Pushdown Symbols / Benedek Nagy, Friedrich Otto, Marcel Vollweiler
Dátum:	2011
Megjegyzések:	Pushdown automata with translucent pushdown symbols are presented. Such a device is a pushdown automaton M that is equipped with a `transparency relation'. In a transition step, M does not read (and replace) the topmost symbol on its pushdown store, but the topmost one that is only covered by translucent symbols. We prove that these automata accept all recursively enumerable languages. Then we concentrate on pushdown automata with translucent pushdown symbols that work in real-time or in quasi-real-time. We compare the corresponding language classes to other classical complexity classes, and we study closure properties for these language classes.
Tárgyszavak:	Természettudományok Matematika- és számítástudományok előadáskivonat Fizikai-, Számítás- és Anyagtudomány automata kiszámíthatóság
Megjelenés:	3rd International Workshop Non-Classical Models of Automata and Applications (NCMA 2011) / R. Freun et al. (szerk.). - p. 193-208
További szerzők:	Otto, Friedrich Vollweiler, Marcel
Pályázati támogatás:	TÁMOP-4.2.1/B-09/1/KONV-2010-0007 TÁMOP Új generációs hálózatok és számítási alkalmazások fejlesztése
Internet cím:	Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon: