{"title":"在 P 系统的进化规则中引入变量","authors":"Bogdan Aman","doi":"10.1016/j.ic.2024.105231","DOIUrl":null,"url":null,"abstract":"<div><div>In membrane systems evolution rules are constructed using only objects from a finite alphabet. In this paper we investigate rules in which variables are used. Namely, we define Variable P systems in which the rules containing variables need to be instantiated at the start of each computational step with values from some predefined sets of sets of objects.</div><div>The modelling power of variable P systems is described by simulating some basic arithmetic operations over a (multi)set of positive numbers (addition, multiplication, or a combination of them). The main advantage of using variable P systems consists in the small number of used rules regardless how many numbers are involved in the operation: e.g., the addition requires only 3 rules, while the multiplication only 27 rules.</div></div>","PeriodicalId":54985,"journal":{"name":"Information and Computation","volume":"301 ","pages":"Article 105231"},"PeriodicalIF":0.8000,"publicationDate":"2024-10-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Introducing variables in the evolution rules of P systems\",\"authors\":\"Bogdan Aman\",\"doi\":\"10.1016/j.ic.2024.105231\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>In membrane systems evolution rules are constructed using only objects from a finite alphabet. In this paper we investigate rules in which variables are used. Namely, we define Variable P systems in which the rules containing variables need to be instantiated at the start of each computational step with values from some predefined sets of sets of objects.</div><div>The modelling power of variable P systems is described by simulating some basic arithmetic operations over a (multi)set of positive numbers (addition, multiplication, or a combination of them). The main advantage of using variable P systems consists in the small number of used rules regardless how many numbers are involved in the operation: e.g., the addition requires only 3 rules, while the multiplication only 27 rules.</div></div>\",\"PeriodicalId\":54985,\"journal\":{\"name\":\"Information and Computation\",\"volume\":\"301 \",\"pages\":\"Article 105231\"},\"PeriodicalIF\":0.8000,\"publicationDate\":\"2024-10-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Information and Computation\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0890540124000968\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Information and Computation","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0890540124000968","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0
摘要
在膜系统中,进化规则仅使用有限字母表中的对象来构建。本文将研究使用变量的规则。也就是说,我们定义了可变 P 系统,在该系统中,包含变量的规则需要在每个计算步骤开始时用一些预定义的对象集中的值实例化。可变 P 系统的建模能力通过模拟正数(多)集的一些基本算术运算(加法、乘法或它们的组合)来描述。使用变量 P 系统的主要优势在于,无论运算涉及多少个数字,所使用的规则数量都很少:例如,加法运算只需 3 条规则,而乘法运算只需 27 条规则。
Introducing variables in the evolution rules of P systems
In membrane systems evolution rules are constructed using only objects from a finite alphabet. In this paper we investigate rules in which variables are used. Namely, we define Variable P systems in which the rules containing variables need to be instantiated at the start of each computational step with values from some predefined sets of sets of objects.
The modelling power of variable P systems is described by simulating some basic arithmetic operations over a (multi)set of positive numbers (addition, multiplication, or a combination of them). The main advantage of using variable P systems consists in the small number of used rules regardless how many numbers are involved in the operation: e.g., the addition requires only 3 rules, while the multiplication only 27 rules.
期刊介绍:
Information and Computation welcomes original papers in all areas of theoretical computer science and computational applications of information theory. Survey articles of exceptional quality will also be considered. Particularly welcome are papers contributing new results in active theoretical areas such as
-Biological computation and computational biology-
Computational complexity-
Computer theorem-proving-
Concurrency and distributed process theory-
Cryptographic theory-
Data base theory-
Decision problems in logic-
Design and analysis of algorithms-
Discrete optimization and mathematical programming-
Inductive inference and learning theory-
Logic & constraint programming-
Program verification & model checking-
Probabilistic & Quantum computation-
Semantics of programming languages-
Symbolic computation, lambda calculus, and rewriting systems-
Types and typechecking