Showing 1–3 of 3 results for author: Bordihn, H

Determinism in Multi-Soliton Automata

Authors: Henning Bordihn, Helena Schulz

Abstract: Soliton automata are mathematical models of soliton switching in chemical molecules. Several concepts of determinism for soliton automata have been defined. The concept of strong determinism has been investigated for the case in which only a single soliton can be present in a molecule. In the present paper, several different concepts of determinism are explored for the multi-soliton case. It is sh… ▽ More Soliton automata are mathematical models of soliton switching in chemical molecules. Several concepts of determinism for soliton automata have been defined. The concept of strong determinism has been investigated for the case in which only a single soliton can be present in a molecule. In the present paper, several different concepts of determinism are explored for the multi-soliton case. It is shown that the degree of non-determinism is a connected measure of descriptional complexity for multi-soliton automata. A characterization of the class of strongly deterministic multi-soliton automata is presented. Finally, the concept of perfect determinism, forming a natural extension of strong determinism, is introduced and considered for multi-soliton automata. △ Less

Submitted 10 September, 2024; originally announced September 2024.

Comments: In Proceedings NCMA 2024, arXiv:2409.06120

Journal ref: EPTCS 407, 2024, pp. 44-58

Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications

Authors: Henning Bordihn, Géza Horváth, György Vaszil

Abstract: The Twelfth International Workshop on Non-Classical Models of Automata and Applications (NCMA 2022) was held in Debrecen, Hungary, on August 26 and 27, 2022, organized by the University of Debrecen. The NCMA workshop series was established in 2009 as an annual event for researchers working on non-classical and classical models of automata, grammars or related devices. Such models are investigated… ▽ More The Twelfth International Workshop on Non-Classical Models of Automata and Applications (NCMA 2022) was held in Debrecen, Hungary, on August 26 and 27, 2022, organized by the University of Debrecen. The NCMA workshop series was established in 2009 as an annual event for researchers working on non-classical and classical models of automata, grammars or related devices. Such models are investigated both as theoretical models and as formal models for applications from different points of view. △ Less

Submitted 27 August, 2022; originally announced August 2022.

Journal ref: EPTCS 367, 2022

Measuring Communication in Parallel Communicating Finite Automata

Authors: Henning Bordihn, Martin Kutrib, Andreas Malcher

Abstract: Systems of deterministic finite automata communicating by sending their states upon request are investigated, when the amount of communication is restricted. The computational power and decidability properties are studied for the case of returning centralized systems, when the number of necessary communications during the computations of the system is bounded by a function depending on the length… ▽ More Systems of deterministic finite automata communicating by sending their states upon request are investigated, when the amount of communication is restricted. The computational power and decidability properties are studied for the case of returning centralized systems, when the number of necessary communications during the computations of the system is bounded by a function depending on the length of the input. It is proved that an infinite hierarchy of language families exists, depending on the number of messages sent during their most economical recognitions. Moreover, several properties are shown to be not semi-decidable for the systems under consideration. △ Less

Submitted 21 May, 2014; originally announced May 2014.

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal ref: EPTCS 151, 2014, pp. 124-138