{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T21:57:30Z","timestamp":1747173450615,"version":"3.40.5"},"reference-count":39,"publisher":"Cambridge University Press (CUP)","issue":"9","license":[{"start":{"date-parts":[[2023,1,25]],"date-time":"2023-01-25T00:00:00Z","timestamp":1674604800000},"content-version":"unspecified","delay-in-days":116,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2022,10]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper introduces a class of automata and associated languages, suitable to model a computational paradigm of fuzzy systems, in which both <jats:italic>vagueness<\/jats:italic> and <jats:italic>simultaneity<\/jats:italic> are taken as first-class citizens. This requires a weighted semantics for transitions and a precise notion of a synchronous product to enforce the simultaneous occurrence of actions. The usual relationships between automata and languages are revisited in this setting, including a specific Kleene theorem.<\/jats:p>","DOI":"10.1017\/s0960129522000421","type":"journal-article","created":{"date-parts":[[2023,1,25]],"date-time":"2023-01-25T07:48:23Z","timestamp":1674632903000},"page":"1234-1253","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":0,"title":["Weighted synchronous automata"],"prefix":"10.1017","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1180-0620","authenticated-orcid":false,"given":"Leandro","family":"Gomes","sequence":"first","affiliation":[]},{"given":"Alexandre","family":"Madeira","sequence":"additional","affiliation":[]},{"given":"Luis Soares","family":"Barbosa","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2023,1,25]]},"reference":[{"key":"S0960129522000421_ref8","unstructured":"Hopcroft, J. E. , Motwani, R. and Ullman, J. D. (2003). Introduction to Automata Theory, Languages, and Computation, int. ed. 2nd ed., Addison-Wesley."},{"key":"S0960129522000421_ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2005.147"},{"key":"S0960129522000421_ref14","doi-asserted-by":"publisher","DOI":"10.1145\/256167.256195"},{"key":"S0960129522000421_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-021-05593-9"},{"key":"S0960129522000421_ref20","doi-asserted-by":"crossref","unstructured":"McIver, A. , Cohen, E. and Morgan, C. (2006). Using probabilistic kleene algebra for protocol verification. In: Schmidt, R. A. (ed.) Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS\/AKA 2006, Manchester, UK, August 29\u2013September 2, 2006, Proceedings, Lecture Notes in Computer Science, vol. 4136, Springer, 296\u2013310.","DOI":"10.1007\/11828563_20"},{"key":"S0960129522000421_ref32","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370348"},{"key":"S0960129522000421_ref15","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1016\/0020-0255(69)90025-5","article-title":"Note on fuzzy languages","volume":"1","author":"Lee","year":"1969","journal-title":"Information Sciences"},{"key":"S0960129522000421_ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33386-6_31"},{"key":"S0960129522000421_ref5","first-page":"43","article-title":"Introducing synchrony in fuzzy automata","volume":"348","author":"Gomes","year":"2020","journal-title":"ENTCS"},{"key":"S0960129522000421_ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40164-0_10"},{"key":"S0960129522000421_ref18","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1109\/TSMCB.2002.1018761","article-title":"Modeling and control of fuzzy discrete event systems","volume":"32","author":"Lin","year":"2002","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part B"},{"key":"S0960129522000421_ref30","unstructured":"Qiao, R. , Wu, J. , Wang, Y. and Gao, X. (2008). Operational semantics of probabilistic Kleene algebra with tests. In: Proceedings - IEEE Symposium on Computers and Communications, 706\u2013713."},{"key":"S0960129522000421_ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2004.08.001"},{"key":"S0960129522000421_ref31","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(63)90290-0"},{"key":"S0960129522000421_ref11","first-page":"3","volume-title":"Automata Studies","author":"Kleene","year":"1956"},{"key":"S0960129522000421_ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90114-7"},{"key":"S0960129522000421_ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.fss.2005.04.004"},{"volume-title":"Introduction to Automata Theory, Languages, and Computation","year":"1979","author":"Hopcroft","key":"S0960129522000421_ref9"},{"key":"S0960129522000421_ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2015.12.005"},{"key":"S0960129522000421_ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66830-7_51"},{"key":"S0960129522000421_ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2011.04.005"},{"key":"S0960129522000421_ref17","doi-asserted-by":"publisher","DOI":"10.3390\/math9030272"},{"key":"S0960129522000421_ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2016.01.016"},{"key":"S0960129522000421_ref25","first-page":"1","volume-title":"Turing, Computing and Communication","author":"Milner","year":"2006"},{"key":"S0960129522000421_ref26","doi-asserted-by":"publisher","DOI":"10.1201\/9781420035643"},{"key":"S0960129522000421_ref28","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1142\/S1469026801000068","article-title":"Learning of fuzzy automata","volume":"1","author":"Pedrycz","year":"2001","journal-title":"International Journal of Computational Intelligence and Applications"},{"key":"S0960129522000421_ref33","doi-asserted-by":"crossref","unstructured":"Thiemann, P. (ed.) (2016). Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2\u20138, 2016, Proceedings, Lecture Notes in Computer Science, vol. 9632, Springer.","DOI":"10.1007\/978-3-662-49498-1"},{"key":"S0960129522000421_ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.07.009"},{"key":"S0960129522000421_ref19","first-page":"292","article-title":"Lexical analysis with a simple finite-fuzzy-automaton model","volume":"1","author":"Mateescu","year":"1995","journal-title":"Journal of UCS"},{"key":"S0960129522000421_ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2005.148"},{"volume-title":"An Essay in Deontic Logic and the General Theory of Action with a Bibliography of Deontic and Imperative Logic. \u2013","year":"1968","author":"von Wright","key":"S0960129522000421_ref36"},{"key":"S0960129522000421_ref12","unstructured":"Kozen, D. and Mamouras, K. (2014). Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS) CSL-LICS, ACM, vol. 44, 1\u201310."},{"key":"S0960129522000421_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0029594"},{"key":"S0960129522000421_ref21","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.117.7"},{"key":"S0960129522000421_ref27","doi-asserted-by":"publisher","DOI":"10.1007\/BF00268134"},{"key":"S0960129522000421_ref39","doi-asserted-by":"publisher","DOI":"10.1142\/9789814261302_0011"},{"key":"S0960129522000421_ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2002.803497"},{"volume-title":"Springer Lecture Notes in Computer Science","year":"1980","author":"Milner","key":"S0960129522000421_ref23"},{"key":"S0960129522000421_ref37","first-page":"215","article-title":"A formulation of fuzzy automata and its application as a model of learning systems","volume":"5","author":"Wee","year":"1969","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics: Systems"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129522000421","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,29]],"date-time":"2023-03-29T02:33:36Z","timestamp":1680057216000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129522000421\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10]]},"references-count":39,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2022,10]]}},"alternative-id":["S0960129522000421"],"URL":"https:\/\/doi.org\/10.1017\/s0960129522000421","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"type":"print","value":"0960-1295"},{"type":"electronic","value":"1469-8072"}],"subject":[],"published":{"date-parts":[[2022,10]]},"assertion":[{"value":"\u00a9 The Author(s), 2023. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}