{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:10:32Z","timestamp":1760202632373,"version":"3.40.1"},"reference-count":17,"publisher":"World Scientific Pub Co Pte Ltd","issue":"08","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2011,12]]},"abstract":"<jats:p>Simulations of weighted tree automata (wta) are considered. It is shown how such simulations can be decomposed into simpler functional and dual functional simulations also called forward and backward simulations. In addition, it is shown in several cases (fields, commutative rings, NOETHERIAN semirings, semiring of natural numbers) that all equivalent wta M and N can be joined by a finite chain of simulations. More precisely, in all mentioned cases there is a single wta that simulates both M and N. Those results immediately yield decidability of equivalence provided that the semiring is finitely (and effectively) presented.<\/jats:p>","DOI":"10.1142\/s0129054111009070","type":"journal-article","created":{"date-parts":[[2012,1,10]],"date-time":"2012-01-10T12:46:00Z","timestamp":1326199560000},"page":"1845-1859","source":"Crossref","is-referenced-by-count":6,"title":["THE CATEGORY OF SIMULATIONS FOR WEIGHTED TREE AUTOMATA"],"prefix":"10.1142","volume":"22","author":[{"given":"ZOLT\u00c1N","family":"\u00c9SIK","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Szeged, \u00c1rp\u00e1d t\u00e9r 2, 6720 Szeged, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ANDREAS","family":"MALETTI","sequence":"additional","affiliation":[{"name":"Institute for Natural Language Processing, Universit\u00e4t Stuttgart, Azenbergstra\u00dfe 12, 70174 Stuttgart, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2012,4,6]]},"reference":[{"key":"rf2","first-page":"449","volume":"23","author":"Alexandrakis A.","journal-title":"Informatique Th\u00e9orique et Applications"},{"key":"rf5","series-title":"EATCS Monographs on Theoret. Comput. Sci.","volume-title":"Rational Series and Their Languages","volume":"12","author":"Berstel J.","year":"1984"},{"doi-asserted-by":"publisher","key":"rf6","DOI":"10.1007\/978-3-642-78034-9"},{"key":"rf7","first-page":"145","volume":"8","author":"Bloom S. L.","journal-title":"J. Autom. Lang. Combin."},{"doi-asserted-by":"publisher","key":"rf8","DOI":"10.1007\/BF01893886"},{"doi-asserted-by":"publisher","key":"rf9","DOI":"10.1016\/j.tcs.2007.11.018"},{"doi-asserted-by":"publisher","key":"rf11","DOI":"10.1007\/978-3-642-01492-5"},{"volume-title":"Automata, Languages, and Machines","year":"1974","author":"Eilenberg S.","key":"rf12"},{"doi-asserted-by":"publisher","key":"rf14","DOI":"10.1016\/j.jlap.2009.10.001"},{"doi-asserted-by":"publisher","key":"rf16","DOI":"10.1142\/9789812810908_0008"},{"key":"rf17","first-page":"219","volume":"8","author":"\u00c9sik Z.","journal-title":"J. Autom. Lang. Combin."},{"doi-asserted-by":"publisher","key":"rf20","DOI":"10.1142\/3903"},{"key":"rf22","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6101-8","volume-title":"Algebra","volume":"73","author":"Hungerford T. W.","year":"1974"},{"doi-asserted-by":"publisher","key":"rf23","DOI":"10.1016\/j.tcs.2004.01.020"},{"doi-asserted-by":"publisher","key":"rf26","DOI":"10.1006\/inco.1994.1037"},{"volume-title":"Algebra","year":"1984","author":"Lang S.","key":"rf27"},{"doi-asserted-by":"publisher","key":"rf29","DOI":"10.1007\/3-540-10235-3"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054111009070","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,18]],"date-time":"2025-03-18T17:49:45Z","timestamp":1742320185000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054111009070"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":17,"journal-issue":{"issue":"08","published-online":{"date-parts":[[2012,4,6]]},"published-print":{"date-parts":[[2011,12]]}},"alternative-id":["10.1142\/S0129054111009070"],"URL":"https:\/\/doi.org\/10.1142\/s0129054111009070","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"type":"print","value":"0129-0541"},{"type":"electronic","value":"1793-6373"}],"subject":[],"published":{"date-parts":[[2011,12]]}}}