{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T06:33:46Z","timestamp":1725690826916},"reference-count":7,"publisher":"World Scientific Pub Co Pte Lt","issue":"03","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Algebra Comput."],"published-print":{"date-parts":[[2002,6]]},"abstract":" A finance automaton is a sixtuple <\u03a3,Q,\u03b4,S,F,f>, where <\u03a3,Q,\u03b4,S,F> is a (non-deterministic) finite automaton, f : Q \u00d7 \u03a3 \u00d7 Q \u2192 R \u222a {-\u221e} is a finance function, R is the set of real numbers and f(q,a,q\u2032) = -\u221e if and only if q\u2032\u2209\u03b4(q,a). The function f is extended to f : 2Q<\/jats:sup> \u00d7 \u03a3*<\/jats:sup> \u00d7 2Q<\/jats:sup> \u2192 R \u222a {-\u221e} by the plus-max principle. For any w \u2208 \u03a3*<\/jats:sup>, f (S,w,F) is the profit of w. It is shown that the equivalence problem for finitely ambiguous finance automata is decidable. <\/jats:p>","DOI":"10.1142\/s0218196702000845","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T07:05:54Z","timestamp":1027753554000},"page":"445-461","source":"Crossref","is-referenced-by-count":16,"title":["DECIDABILITY OF THE EQUIVALENCE PROBLEM FOR FINITELY AMBIGUOUS FINANCE AUTOMATA"],"prefix":"10.1142","volume":"12","author":[{"given":"KOSABURO","family":"HASHIGUCHI","sequence":"first","affiliation":[{"name":"Department of Information Technology, Faculty of Engineering, Okayama University, Tsushima, Okayama 700-0082, Japan"}]},{"given":"KENICHI","family":"ISHIGURO","sequence":"additional","affiliation":[{"name":"Department of Information Technology, Faculty of Engineering, Okayama University, Tsushima, Okayama 700-0082, Japan"}]},{"given":"SHUJI","family":"JIMBO","sequence":"additional","affiliation":[{"name":"Department of Information Technology, Faculty of Engineering, Okayama University, Tsushima, Okayama 700-0082, Japan"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"p_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90375-P"},{"key":"p_3","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(82)90051-4"},{"key":"p_4","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(83)90031-4"},{"key":"p_5","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90033-8"},{"key":"p_6","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90269-8"},{"key":"p_9","doi-asserted-by":"publisher","DOI":"10.1142\/S0218196794000063"},{"key":"p_12","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017135"}],"container-title":["International Journal of Algebra and Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218196702000845","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T17:57:04Z","timestamp":1565114224000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0218196702000845"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,6]]},"references-count":7,"journal-issue":{"issue":"03","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2002,6]]}},"alternative-id":["10.1142\/S0218196702000845"],"URL":"https:\/\/doi.org\/10.1142\/s0218196702000845","relation":{},"ISSN":["0218-1967","1793-6500"],"issn-type":[{"value":"0218-1967","type":"print"},{"value":"1793-6500","type":"electronic"}],"subject":[],"published":{"date-parts":[[2002,6]]}}}