CCL

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

1.

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ó:
Rekordok letöltése1