Výsledky vyhledávání - "ZAITSEV, DMITRY A."

Report

Autor: Berthomieu, Bernard, Zaitsev, Dmitry A.

Publikováno v: Theoretical Computer Science, 2023, 114346, ISSN 0304-3975

The present paper proves that a Sleptsov net (SN) is Turing-complete, that considerably improves, with a brief construct, the previous result that a strong SN is Turing-complete. Remind that, unlike Petri nets, an SN always fires enabled transitions

Externí odkaz: http://arxiv.org/abs/2306.12440

Zobrazit plný text záznamu

Report

Cyclic Negations and Four-valuedness

Autor: Grigoriev, Oleg, Zaitsev, Dmitry

Publikováno v: EPTCS 358, 2022, pp. 216-226

We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation within this four valued semantic

Externí odkaz: http://arxiv.org/abs/2204.06733

Zobrazit plný text záznamu

Report

Computing with Modular Robots

Autor: Martinez, Genaro J., Adamatzky, Andrew, Figueroa, Ricardo Q., Schweikardt, Eric, Zaitsev, Dmitry A., Zelinka, Ivan, Oliva-Moreno, Luz N.

Publikováno v: International Journal of Unconventional Computing, 17(1-2), 31-60, 2022

Propagating patterns are used to transfer and process information in chemical and physical prototypes of unconventional computing devices. Logical values are represented by fronts of traveling diffusive, trigger or phase waves. We apply this concept

Externí odkaz: http://arxiv.org/abs/2202.07127

Zobrazit plný text záznamu

Report

Strong Sleptsov Net is Turing-Complete

Autor: Zaitsev, Dmitry A.

Publikováno v: Information Sciences, Volume 621, 2023, Pages 172-182, ISSN 0020-0255

It is known that a Sleptsov net, with multiple firing a transition at a step, runs exponentially faster than a Petri net opening prospects for its application as a graphical language of concurrent programming. We provide classification of place-trans

Externí odkaz: http://arxiv.org/abs/2201.09034

Zobrazit plný text záznamu