{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,7,26]],"date-time":"2023-07-26T08:10:30Z","timestamp":1690359030561},"reference-count":26,"publisher":"World Scientific Pub Co Pte Ltd","issue":"02","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Math. and Nat. Computation"],"published-print":{"date-parts":[[2023,7]]},"abstract":"<jats:p> We investigate weighted tree automata over strong bimonoids. Intuitively, strong bimonoids are semirings which may lack the distributivity laws. For instance, each (not necessarily distributive) bounded lattice is a strong bimonoid. In general, for a weighted tree automaton over a strong bimonoid, its run semantics is different from its initial algebra semantics. We prove that for positive strong bimonoids the supports of these semantics are equal, and we also deal with a kind of reverse statement. <\/jats:p>","DOI":"10.1142\/s1793005723500230","type":"journal-article","created":{"date-parts":[[2022,8,10]],"date-time":"2022-08-10T12:01:11Z","timestamp":1660132871000},"page":"579-594","source":"Crossref","is-referenced-by-count":0,"title":["A Theorem on Supports of Weighted Tree Automata Over Strong Bimonoids"],"prefix":"10.1142","volume":"19","author":[{"given":"Maryam","family":"Ghorani","sequence":"first","affiliation":[{"name":"Faculty of Mathematical Sciences, Shahrood, University of Technology, Shahrood, Iran"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Heiko","family":"Vogler","sequence":"additional","affiliation":[{"name":"Faculty of Computer Science, Technische, Universit\u00e4t Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2022,9,30]]},"reference":[{"key":"S1793005723500230BIB001","doi-asserted-by":"crossref","first-page":"1450","DOI":"10.1016\/j.fss.2007.02.016","volume":"158","author":"\u00c9sik Z.","year":"2007","journal-title":"Fuzzy Sets and Systems"},{"key":"S1793005723500230BIB002","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/B978-0-12-775260-0.50018-9","volume-title":"Fuzzy Sets and Their Applications to Cognitive and Decision Processes","author":"Inagaki Y.","year":"1975"},{"issue":"7","key":"S1793005723500230BIB003","first-page":"103","volume":"15","author":"Ghorani M.","year":"2018","journal-title":"Iranian Journal of Fuzzy Systems"},{"key":"S1793005723500230BIB004","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1016\/j.fss.2011.11.010","volume":"199","author":"Ghorani M.","year":"2012","journal-title":"Fuzzy Sets and Systems"},{"issue":"2","key":"S1793005723500230BIB005","first-page":"71","volume":"13","author":"Ghorani M.","year":"2016","journal-title":"Iranian Journal of Fuzzy Systems"},{"issue":"14","key":"S1793005723500230BIB006","doi-asserted-by":"crossref","first-page":"3815","DOI":"10.1007\/s00500-016-2031-3","volume":"21","author":"Ghorani M.","year":"2017","journal-title":"Soft Computing"},{"issue":"10","key":"S1793005723500230BIB007","doi-asserted-by":"crossref","first-page":"1723","DOI":"10.1007\/s00500-012-0856-y","volume":"16","author":"Ghorani M.","year":"2012","journal-title":"Soft Computing"},{"issue":"2","key":"S1793005723500230BIB008","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/0304-3975(82)90019-6","volume":"18","author":"Berstel J.","year":"1982","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"S1793005723500230BIB009","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0020-0190(87)90190-6","volume":"24","author":"Alexandrakis A.","year":"1987","journal-title":"Information Processing Letters"},{"issue":"2","key":"S1793005723500230BIB010","first-page":"219","volume":"8","author":"\u00c9sik Z.","year":"2003","journal-title":"Journal of Automata, Languages and Combinatorics"},{"key":"S1793005723500230BIB011","first-page":"61","volume-title":"Proc. 3rd Int. Conf. on Developments in Language Theory (DLT)","author":"Kuich W.","year":"1998"},{"key":"S1793005723500230BIB012","series-title":"EATCS Monographs in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-01492-5","volume-title":"Handbook of Weighted Automata","author":"Droste M.","year":"2009"},{"issue":"2","key":"S1793005723500230BIB013","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/S0019-9958(61)80020-X","volume":"4","author":"Sch\u00fctzenberger M. P.","year":"1961","journal-title":"Information and Control"},{"issue":"18","key":"S1793005723500230BIB014","doi-asserted-by":"crossref","first-page":"3498","DOI":"10.1016\/j.ins.2010.05.020","volume":"180","author":"\u0106iri\u0107 M.","year":"2010","journal-title":"Information Sciences"},{"key":"S1793005723500230BIB015","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1016\/j.ins.2009.09.003","volume":"180","author":"Droste M.","year":"2010","journal-title":"Information Science"},{"issue":"3","key":"S1793005723500230BIB016","first-page":"89","volume":"40","author":"Radovanovi\u0107 D.","year":"2010","journal-title":"Novi Sad Journal of Mathematics"},{"key":"S1793005723500230BIB017","series-title":"EATCS Monographs on Theoretical Computer Science","volume-title":"Rational Series and Their Languages","volume":"12","author":"Berstel J.","year":"1988"},{"issue":"3","key":"S1793005723500230BIB018","first-page":"391","volume":"23","author":"Wang H.","year":"1997","journal-title":"Houston Journal of Mathematics"},{"issue":"2","key":"S1793005723500230BIB019","doi-asserted-by":"crossref","first-page":"211","DOI":"10.14232\/actacyb.20.2.2011.1","volume":"20","author":"Kirsten D.","year":"2011","journal-title":"Acta Cybernetica"},{"key":"S1793005723500230BIB020","volume":"20","author":"F\u00fcl\u00f6p Z.","year":"2018","journal-title":"Discrete Mathematics and Theoretical Computer Science"},{"issue":"1","key":"S1793005723500230BIB021","volume":"23","author":"F\u00fcl\u00f6p Z.","year":"2021","journal-title":"Discrete Mathematics and Theoretical Computer Science"},{"key":"S1793005723500230BIB023","volume-title":"Tree Automata","author":"G\u00e9cseg F.","year":"1984"},{"key":"S1793005723500230BIB024","volume-title":"General Lattice Theory","author":"Gr\u00e4tzer G.","year":"2003","edition":"2"},{"key":"S1793005723500230BIB025","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9333-5","volume-title":"Semirings and Their Applications","author":"Golan J. S.","year":"1999"},{"key":"S1793005723500230BIB026","volume-title":"Universal Algebra","author":"Gr\u00e4tzer G.","year":"1968"},{"key":"S1793005723500230BIB027","volume-title":"Handbook of Weighted Automata","author":"F\u00fcl\u00f6p Z","year":"1998"}],"container-title":["New Mathematics and Natural Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S1793005723500230","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,26]],"date-time":"2023-07-26T07:30:56Z","timestamp":1690356656000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S1793005723500230"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,30]]},"references-count":26,"journal-issue":{"issue":"02","published-print":{"date-parts":[[2023,7]]}},"alternative-id":["10.1142\/S1793005723500230"],"URL":"https:\/\/doi.org\/10.1142\/s1793005723500230","relation":{},"ISSN":["1793-0057","1793-7027"],"issn-type":[{"value":"1793-0057","type":"print"},{"value":"1793-7027","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,9,30]]}}}