CCL

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

1.

001-es BibID:BIBFORM046016
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:On Globally deterministic CD-systems of stateless R-automata with window size one / Benedek Nagy, Friedrich Otto
Dátum:2011
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
Megjelenés:Kasseler Informatikschriften : technical report [elektronikus dokumentum]. - 1 (2011), [29] p. -
További szerzők:Otto, Friedrich
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

2.

001-es BibID:BIBFORM039176
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:CD-Systems of Stateless Deterministic R(1)-Automata Governed by an External Pushdown Store [elektronikus dokumentum] / Benedek Nagy, Fried rich Otto
Dátum:2010
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
Megjelenés:Kasseler Informatikschriften : technical report [elektronikus dokumentum]. - 4 (2010), p. [30]. -
További szerzők:Otto, Friedrich
Internet cím:Szerző által megadott URL
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

3.

001-es BibID:BIBFORM034004
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:On globally deterministic CD-systems of stateless R-automata with window size one / Benedek Nagy, Friedrich Otto
Dátum:2013
ISSN:0020-7160
Megjegyzések:It is known that cooperating distributed systems (CD-systems) of stateless deterministic restarting automata with window size 1 accept a class of semi-linear languages that properly includes all rational trace languages. Although the component automata of such a CD-system are all deterministic, the CD-system itself is not. Here we study CD-systems of stateless deterministic restarting automata with window size 1 that are themselves completely deterministic. In fact, we consider two such types of CD-systems, the strictly deterministic systems and theglobally deterministic systems.
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
Megjelenés:International Journal of Computer Mathematics. - 90 : 6 (2013), p. 1254-1277. -
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ó:

4.

001-es BibID:BIBFORM029909
035-os BibID:(WoS)000301620100007 (Scopus)84857791456
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:On CD-systems of stateless deterministic R-automata with window size one / Benedek Nagy, Friedrich Otto
Dátum:2012
ISSN:0022-0000
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
Fizikai-, Számítás- és Anyagtudomány
Megjelenés:Journal of Computer and System Sciences. - 78 : 3 (2012), p. 780-806. -
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:DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

5.

001-es BibID:BIBFORM023509
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:CD-Systems of Stateless Deterministic R(1)-Automata Governed by an External Pushdown Store / Benedek Nagy, Friedrich Otto
Dátum:2011
ISSN:0988-3754
Megjegyzések:We study cooperating distributed systems (CD-systems) of stateless deterministic restarting automata with window size 1 that are equipped with an external pushdown store. In this way we obtain an automata-theoretical characterization for the class of word languages that are linearizations of context-free trace languages.
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
Megjelenés:Rairo-Theoretical Informatics And Applications. - 45 (2011), p. 413-448. -
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ó:

6.

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ó:

7.

001-es BibID:BIBFORM018452
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:Deterministic pushdown-CD-systems of stateless deterministic R(1)-automata / Benedek Nagy, Friedrich Otto
Dátum:2011
Megjegyzések:We study deterministic cooperating distributed systems (CD-systems) of stateless deterministic restarting automata with window size 1 that are governed by an external pushdown store. We also consider the special case that the pushdown is just a counter.
Tárgyszavak:Természettudományok Matematika- és számítástudományok előadáskivonat
Fizikai-, Számítás- és Anyagtudomány
automata
Megjelenés:Automata and Formal Languages : 13rd International Conference, AFL 2011, Debrecen, Hungary, August 17-22, 2011 : proceedings / szerk. Pál Dömösi, Szabolcs Iván. - p. 328-342. -
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
Ú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ó:

8.

001-es BibID:BIBFORM018451
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:Finite-State Acceptors with Translucent Letters / Benedek Nagy, Friedrich Otto
Dátum:2011
Megjegyzések:Finite-state acceptors with translucent letters are presented. These devices do not read their input strictly from left to right as in the traditional setting, but for each internal state of such a device, certain letters are translucent, that is, in this state the acceptor cannot see them. We describe the computational power of these acceptors, both in the deterministic and in the nondeterministic case. The languages accepted have semi-linear Parikh image, and the nondeterministic acceptors are sufficiently expressive to accept all rational trace languages. However, in contrast to the classical finite-state acceptor, the deterministic acceptors are less expressive than the nondeterministic ones.
Tárgyszavak:Természettudományok Matematika- és számítástudományok előadáskivonat
Fizikai-, Számítás- és Anyagtudomány
automata
Megjelenés:BILC 2011 - 1st International Workshop on AI Methods for Interdisciplinary Research in Language and Biology / ed. G. Bel-Enguix, et al. - p. 3-13
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:Intézményi repozitóriumban (DEA) tárolt változat
Borító:

9.

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ó:

10.

001-es BibID:BIBFORM012347
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:An automata-theoretical characterization of context-free trace languages / Benedek Nagy, Friedrich Otto
Dátum:2010
Tárgyszavak:Természettudományok Matematika- és számítástudományok előadáskivonat
formális nyelvek
Megjelenés:SOFSEM 2010: Theory and Practice of Computer Science 36th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 23-29, 2010 : Proceedings / ed. Jan van Leeuwen, [et al.]. - p. 406-417
További szerzők:Otto, Friedrich
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
DOI
Borító:

11.

001-es BibID:BIBFORM012355
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:CD-Systems of Stateless Deterministic R(1)-Automata Accept all Rational Trace Languages / Benedek Nagy, Freidrich Otto
Dátum:2010
Tárgyszavak:Természettudományok Matematika- és számítástudományok előadáskivonat
formális nyelvek
automata
Megjelenés:Language and Automata Theory and Applications : 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010 : Proceedings / ed. Adrian-Horia Dediu ; Henning Fernau ; Carlos Martín-Vide. - p. 463-474. -
További szerzők:Otto, Friedrich
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Rekordok letöltése1 
Corvina könyvtári katalógus v8.2.27 © 2023 Monguz kft. Minden jog fenntartva.