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

1.

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