CCL

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

1.

001-es BibID:BIBFORM104353
035-os BibID:(WOS)000345457100004 (Scopus)84912116778
Első szerző:Battyányi Péter (informatikus, matematikus)
Cím:Describing Membrane Computations with a Chemical Calculus / Péter Battyányi, György Vaszil
Dátum:2014
ISSN:0169-2968
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
A Jövő Internet elméleti alapjai
Megjelenés:Fundamenta Informaticae. - 134 : 1-2 (2014), p. 39-50. -
További szerzők:Vaszil György (1968-) (matematikus)
Pályázati támogatás:OTKA-75952
OTKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0001
TÁMOP
Adatok védelme, kriptográfia
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

2.

001-es BibID:BIBFORM090720
035-os BibID:(WoS)000509413400009 (Scopus)85075861072
Első szerző:Csuhaj-Varjú Erzsébet
Cím:On Languages of P Automata / Erzsébet Csuhaj-Varjú, György Vaszil
Dátum:2020
ISSN:0169-2968
Megjegyzések:P automata are accepting computing devices combining features of classical automata and membrane systems. In this paper we introduce P n-stack-automata, a restricted class of P automata that mimics the behaviour of n-stack automata. We show that for n = 1 these constructs describe the context-free language class and for n = 3 the class of quasi-realtime languages.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
folyóiratcikk
membrane systems
P automata
stack automata
Megjelenés:Fundamenta Informaticae. - 171 : 1-4 (2020), p. 133-149. -
További szerzők:Vaszil György (1968-) (matematikus)
Pályázati támogatás:NKFIH K 120558
egyéb
Internet cím:Szerző által megadott URL
DOI
Intézményi repozitóriumban (DEA) tárolt változat
Borító:

3.

001-es BibID:BIBFORM032308
Első szerző:Csuhaj-Varjú Erzsébet
Cím:Blackhole Pushdown Automata / Erzsébet Csuhaj-Varjú, Tomáš Masopust, György Vaszil
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:Fundamenta Informaticae. - 112 : 2-3 (2011), p. 137-156. -
További szerzők:Masopust, Tomáš Vaszil György (1968-) (matematikus)
Internet cím:DOI
Borító:

4.

001-es BibID:BIBFORM012353
Első szerző:Leupold, Peter
Cím:5'->3' Watson-Crick automata with several runs / Peter Leupold, Benedek Nagy
Dátum:2010
Megjegyzések:5'->3' WK-automata are Watson-Crick automata whose two heads start on opposite ends of the input word and always run in opposite directions. One full reading in both directions is called a run. We prove that these automata's power increases with every additional run that they can make, both for deterministic and non-deterministic machines. This defines two incomparable infinite hierarchies of language classes between the regular and the context-sensitive languages. These hierarchies are complemented with classes defined by several restricted variants of 5'->3' WK-automata like stateless automata. Finally we show that several standard problems are undecidable for languages accepted by 5'->3'· WK-automata in only one run, for example the emptiness and the finiteness problems.
Tárgyszavak:Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban
Megjelenés:Fundamenta Informaticae. - 21 (2010), p. 1001-1021. -
További szerzők:Nagy Benedek (1973-) (informatikus, matematikus)
Internet cím:Intézményi repozitóriumban (DEA) tárolt változat
Borító:

5.

001-es BibID:BIBFORM020794
Első szerző:Nagy Benedek (informatikus, matematikus)
Cím:Hierarchies of Stateless Multicounter 5· -> 3· Watson-Crick Automata Languages / Benedek Nagy, László Hegedüs, Ömer Eğecioğlu
Dátum:2011
ISSN:0169-2968
Megjegyzések:We consider stateless counter machines which mix the features of one-head counter machines and a special type of two-head Watson-Crick automata (WK-automata). Our Watson-Crick counter machines are biologically motivated. They have two heads that read the input starting from the two extremes. The reading process is finished when there are no more symbols between the heads, i.e., every letter of the input is processed by either head. Depending on whether the heads are required to advance at each move, we distinguish between realtime and non-realtime machines. If every counter makes at most k alternations between nondecreasing and decreasing modes in every computation, then the machine is k-reversal. It is reversal bounded if it is k-reversal for some k. In this paper we concentrate on the properties of both deterministic and nondeterministic stateless WK-automata with reversal bounded counters.
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:Fundamenta Informaticae. - 110 (2011), p. 1-13. -
További szerzők:Hegedüs László (1987-) (informatikus, matematikus) Eǧecioǧlu, Ömer
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
DOI
Borító:
Rekordok letöltése1