在模糊自动机中引入同步

Q3 Computer Science

Electronic Notes in Theoretical Computer Science Pub Date : 2020-03-01 DOI:10.1016/j.entcs.2020.02.004

Leandro Gomes, Alexandre Madeira, Luis Soares Barbosa

{"title":"在模糊自动机中引入同步","authors":"Leandro Gomes, Alexandre Madeira, Luis Soares Barbosa","doi":"10.1016/j.entcs.2020.02.004","DOIUrl":null,"url":null,"abstract":"<div><p>This paper introduces a sort of automata and associated languages, often arising in modelling natural phenomena, in which both <em>vagueness</em> and <em>simultaneity</em> are taken as first class citizens. This requires a fuzzy semantics assigned to transitions and a precise notion of a synchronous product to enforce the simultaneous occurrence of actions. The expected relationships between automata and languages are revisited in this setting; in particular it is shown that any subset of a fuzzy synchronous language with the suitable signature forms a synchronous Kleene algebra.</p></div>","PeriodicalId":38770,"journal":{"name":"Electronic Notes in Theoretical Computer Science","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2020-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.entcs.2020.02.004","citationCount":"3","resultStr":"{\"title\":\"Introducing Synchrony in Fuzzy Automata\",\"authors\":\"Leandro Gomes, Alexandre Madeira, Luis Soares Barbosa\",\"doi\":\"10.1016/j.entcs.2020.02.004\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>This paper introduces a sort of automata and associated languages, often arising in modelling natural phenomena, in which both <em>vagueness</em> and <em>simultaneity</em> are taken as first class citizens. This requires a fuzzy semantics assigned to transitions and a precise notion of a synchronous product to enforce the simultaneous occurrence of actions. The expected relationships between automata and languages are revisited in this setting; in particular it is shown that any subset of a fuzzy synchronous language with the suitable signature forms a synchronous Kleene algebra.</p></div>\",\"PeriodicalId\":38770,\"journal\":{\"name\":\"Electronic Notes in Theoretical Computer Science\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2020-03-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1016/j.entcs.2020.02.004\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Electronic Notes in Theoretical Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S1571066120300049\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"Computer Science\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Electronic Notes in Theoretical Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S1571066120300049","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"Computer Science","Score":null,"Total":0}

引用次数: 3

摘要

本文介绍了在自然现象建模中经常出现的一类自动机及其相关语言，其中模糊性和同时性都被视为头等公民。这需要为转换分配模糊语义和同步产品的精确概念，以强制操作同时发生。自动机和语言之间的预期关系在这里被重新审视;特别地，证明了具有合适签名的模糊同步语言的任何子集都可以形成一个同步Kleene代数。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Introducing Synchrony in Fuzzy Automata

This paper introduces a sort of automata and associated languages, often arising in modelling natural phenomena, in which both vagueness and simultaneity are taken as first class citizens. This requires a fuzzy semantics assigned to transitions and a precise notion of a synchronous product to enforce the simultaneous occurrence of actions. The expected relationships between automata and languages are revisited in this setting; in particular it is shown that any subset of a fuzzy synchronous language with the suitable signature forms a synchronous Kleene algebra.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Electronic Notes in Theoretical Computer Science Computer Science-Computer Science (all)

自引率

0.00%

发文量

期刊介绍： ENTCS is a venue for the rapid electronic publication of the proceedings of conferences, of lecture notes, monographs and other similar material for which quick publication and the availability on the electronic media is appropriate. Organizers of conferences whose proceedings appear in ENTCS, and authors of other material appearing as a volume in the series are allowed to make hard copies of the relevant volume for limited distribution. For example, conference proceedings may be distributed to participants at the meeting, and lecture notes can be distributed to those taking a course based on the material in the volume.