Találati lista | Tudóstér

001-es BibID:	BIBFORM126843
035-os BibID:	(Scopus)85205008391 (WoS)001318849600005
Első szerző:	Adrián Patrik
Cím:	A GLR-like Parsing Algorithm for Three-Valued Interpretations of Boolean Grammars with Strong Negation / Adrián, Patrik ; Vaszil, György
Dátum:	2024
ISSN:	2075-2180
Megjegyzések:	Boolean grammars generalize context-free rewriting by extending the possibilities when dealing with different rules for the same nonterminal symbol. By allowing not only disjunction (as in the case of usual context-free grammars), but also conjunction and negation as possible connections between different rules with the same left-hand side, they are able to simplify the description of context-free languages and characterize languages that are not context-free. The use of negation, however, leads to the possibility of introducing rules that interplay in such a way which is problematic to handle in the classical, two-valued logical setting. Here we define a three valued interpretation to deal with such contradictory grammars using a method introduced originally in the context of logic programming, and present an algorithm to determine the membership status of strings with respect to the resulting three valued languages. ? P. Adrián & Gy. Vaszil.
Tárgyszavak:	Természettudományok Matematika- és számítástudományok konferenciacikk folyóiratcikk Computer circuits Context free languages Context sensitive grammars Context sensitive languages Logic programming Many valued logics
Megjelenés:	Electronic Proceedings in Theoretical Computer Science. - 407 (2024), p. 27-43. -
További szerzők:	Vaszil György (1968-) (matematikus)
Internet cím:	Szerző által megadott URL DOI Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon:

001-es BibID:	BIBFORM120618
035-os BibID:	(Scopus)85137593565 (WoS)001047943700007
Első szerző:	Dömösi Pál (matematikus, informatikus)
Cím:	A Finite-Automaton Based Stream Cipher As a Quasigroup Based Cipher / Pál Dömösi, Adama Diene
Dátum:	2022
ISSN:	2075-2180
Megjegyzések:	In this paper we show that a recently published finite automaton stream cipher can be considered as a quasigroup based stream cipher. Some additional properties of the discussed cipher are also given.
Tárgyszavak:	Természettudományok Matematika- és számítástudományok idegen nyelvű folyóiratközlemény külföldi lapban folyóiratcikk Property Quasigroups Stream Ciphers
Megjelenés:	Electronic Proceedings in Theoretical Computer Science, EPTCS. - 367 (2022), p. 81-87. -
További szerzők:	Diene, Adama
Internet cím:	Szerző által megadott URL DOI Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon:

001-es BibID:	BIBFORM053174
Első szerző:	Hegedüs László (informatikus, matematikus)
Cím:	Representations of Circular Words / Hegedüs László, Nagy Benedek
Dátum:	2014
ISSN:	2075-2180
Megjegyzések:	In this article we give two different ways of representations of circular words. Representations with tuples are intended as a compact notation, while representations with trees give a way to easily process all conjugates of a word. The latter form can also be used as a graphical representation of periodic properties of finite (in some cases, infinite) words. We also define iterative representations which can be seen as an encoding utilizing the flexible properties of circular words. Every word over the two letter alphabet can be constructed starting from ab by applying the fractional power and the cyclic shift operators one after the other, iteratively.
Tárgyszavak:	Természettudományok Matematika- és számítástudományok konferenciacikk formális nyelvek körszavak A Jövő Internet elméleti alapjai Doktori iskola
Megjelenés:	Electronic Proceedings in Theoretical Computer Science. - 151 (2014), p. 261-270. -
További szerzők:	Nagy Benedek (1973-) (informatikus, matematikus)
Pályázati támogatás:	TÁMOP-4.2.2.C-11/1/KONV-2012-0001 TÁMOP Adatok védelme, kriptográfia TÁMOP-4.2.2/B-10/1-2010-0024 TÁMOP Informatikai Tudományok Doktori Iskola
Internet cím:	Szerző által megadott URL DOI Intézményi repozitóriumban (DEA) tárolt változat
Borító:
Saját polcon:

001-es BibID:	BIBFORM048430
Első szerző:	Nagy Benedek (informatikus, matematikus)
Cím:	Computing discrete logarithm by interval-valued paradigm / Benedek Nagy, Sándor Vályi
Dátum:	2013
ISBN:	2075-2180
Tárgyszavak:	Természettudományok Matematika- és számítástudományok konferenciacikk interval-valued computing new computing paradigms Fizikai-, Számítás- és Anyagtudomány
Megjelenés:	Electronic Proceedings in Theoretical Computer Science. - 143 (2013), p. 76-86. -
További szerzők:	Vályi Sándor (1968-) (matematikus, informatikus)
Pályázati támogatás:	TÁMOP-4.2.2.C-11/1/KONV-2012-0001 TÁMOP A Jövő Internet elméleti alapjai 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ó:
Saját polcon: