{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,16]],"date-time":"2024-02-16T15:42:10Z","timestamp":1708098130219},"reference-count":14,"publisher":"World Scientific Pub Co Pte Lt","issue":"06","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2018,9]]},"abstract":"<jats:p> We propose a construction of rational tree expression from finite tree automata. First, we define rational expression equation systems and we propose a substitution based method to find the unique solution. Furthermore, we discuss the case of recursion being present in an equation system, and then show under which restrictions such systems can effectively be solved. Secondly, we show that any finite tree automaton can be associated to a rational tree equation system, and that the latter can in turn be resolved. Finally, using the previous steps, a rational tree expression equivalent to the underlying automaton is extracted. <\/jats:p>","DOI":"10.1142\/s012905411850020x","type":"journal-article","created":{"date-parts":[[2018,10,5]],"date-time":"2018-10-05T04:02:35Z","timestamp":1538712155000},"page":"1045-1062","source":"Crossref","is-referenced-by-count":2,"title":["From Tree Automata to Rational Tree Expressions"],"prefix":"10.1142","volume":"29","author":[{"given":"Younes","family":"Guellouma","sequence":"first","affiliation":[{"name":"Laboratoire LIM, Universit\u00e9 Amar Telidji, Laghouat, Laghouat 03000, Alg\u00e9rie"}]},{"given":"Hadda","family":"Cherroun","sequence":"additional","affiliation":[{"name":"Laboratoire LIM, Universit\u00e9 Amar Telidji, Laghouat, Laghouat 03000, Alg\u00e9rie"}]}],"member":"219","published-online":{"date-parts":[[2018,10,5]]},"reference":[{"key":"S012905411850020XBIB001","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(95)00182-4"},{"key":"S012905411850020XBIB002","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139172752"},{"key":"S012905411850020XBIB003","doi-asserted-by":"publisher","DOI":"10.1007\/s002240000110"},{"key":"S012905411850020XBIB004","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.03.028"},{"issue":"6","key":"S012905411850020XBIB006","volume":"11","author":"Champarnaud J.-M.","year":"2001","journal-title":"IJAC"},{"key":"S012905411850020XBIB007","series-title":"Prague Stringology Club","first-page":"173","volume-title":"Stringology","author":"Cleophas L.","year":"2009"},{"key":"S012905411850020XBIB010","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(77)80034-2"},{"key":"S012905411850020XBIB011","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2009.10.001"},{"key":"S012905411850020XBIB012","doi-asserted-by":"publisher","DOI":"10.1051\/ita\/2011107"},{"key":"S012905411850020XBIB013","series-title":"LNCS","first-page":"395","volume-title":"LATA","author":"Laugerotte \u00c9.","year":"2013"},{"key":"S012905411850020XBIB022","doi-asserted-by":"publisher","DOI":"10.1007\/BF01691346"},{"key":"S012905411850020XBIB023","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2006.10.021"},{"key":"S012905411850020XBIB025","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01492-5_14"},{"key":"S012905411850020XBIB028","doi-asserted-by":"publisher","DOI":"10.1007\/11812128_11"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S012905411850020X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T20:46:13Z","timestamp":1565124373000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S012905411850020X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":14,"journal-issue":{"issue":"06","published-online":{"date-parts":[[2018,10,5]]},"published-print":{"date-parts":[[2018,9]]}},"alternative-id":["10.1142\/S012905411850020X"],"URL":"https:\/\/doi.org\/10.1142\/s012905411850020x","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,9]]}}}