{"title":"半群和单体的自由积与确定性无上下文词问题","authors":"Peter Kostolányi","doi":"10.1016/j.ipl.2024.106541","DOIUrl":null,"url":null,"abstract":"<div><div>The class of all finitely generated semigroups with a deterministic context-free word problem is shown to be closed under free products, answering a question of T. Brough, A. J. Cain, and M. Pfeiffer. On the other hand, it is proved that the class of all finitely generated monoids with a deterministic context-free word problem is not closed under monoid free products.</div></div>","PeriodicalId":56290,"journal":{"name":"Information Processing Letters","volume":"188 ","pages":"Article 106541"},"PeriodicalIF":0.7000,"publicationDate":"2024-11-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Free products of semigroups and monoids with a deterministic context-free word problem\",\"authors\":\"Peter Kostolányi\",\"doi\":\"10.1016/j.ipl.2024.106541\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>The class of all finitely generated semigroups with a deterministic context-free word problem is shown to be closed under free products, answering a question of T. Brough, A. J. Cain, and M. Pfeiffer. On the other hand, it is proved that the class of all finitely generated monoids with a deterministic context-free word problem is not closed under monoid free products.</div></div>\",\"PeriodicalId\":56290,\"journal\":{\"name\":\"Information Processing Letters\",\"volume\":\"188 \",\"pages\":\"Article 106541\"},\"PeriodicalIF\":0.7000,\"publicationDate\":\"2024-11-12\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Information Processing Letters\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0020019024000711\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"COMPUTER SCIENCE, INFORMATION SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Information Processing Letters","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0020019024000711","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, INFORMATION SYSTEMS","Score":null,"Total":0}
引用次数: 0
摘要
证明了具有确定性无上下文词问题的所有有限生成半群的类在自由积下是封闭的,回答了 T. Brough、A. J. Cain 和 M. Pfeiffer 的一个问题。另一方面,证明了具有确定性无上下文词问题的所有有限生成单元的类在单元自由积下不是封闭的。
Free products of semigroups and monoids with a deterministic context-free word problem
The class of all finitely generated semigroups with a deterministic context-free word problem is shown to be closed under free products, answering a question of T. Brough, A. J. Cain, and M. Pfeiffer. On the other hand, it is proved that the class of all finitely generated monoids with a deterministic context-free word problem is not closed under monoid free products.
期刊介绍:
Information Processing Letters invites submission of original research articles that focus on fundamental aspects of information processing and computing. This naturally includes work in the broadly understood field of theoretical computer science; although papers in all areas of scientific inquiry will be given consideration, provided that they describe research contributions credibly motivated by applications to computing and involve rigorous methodology. High quality experimental papers that address topics of sufficiently broad interest may also be considered.
Since its inception in 1971, Information Processing Letters has served as a forum for timely dissemination of short, concise and focused research contributions. Continuing with this tradition, and to expedite the reviewing process, manuscripts are generally limited in length to nine pages when they appear in print.