https://scholars.lib.ntu.edu.tw/handle/123456789/632494
標題: | On the decidability of the valuedness problem for two-way finite transducers | 作者: | Yen D.-D HSU-CHUN YEN |
關鍵字: | Crossing sequence; Finite transducer; Valuedness | 公開日期: | 2022 | 卷: | 285 | 來源出版物: | Information and Computation | 摘要: | A transducer is infinite-valued if the maximal number of different outputs for an input string is not bounded by any constant. For one-way finite transducers, sufficient and necessary conditions exist in terms of the structure of a transducer to characterize whether the transducer is infinite-valued or not, yielding the decidability result of the finite-valuedness problem. As crossing sequences in two-way automata often play similar roles as states in their one-way counterparts, we consider analogous criteria in the setting of crossing sequences to characterize the infinite-valuedness of two-way finite transducers. The characterization leads to a decidability proof for the valuedness problem of two-way finite transducers. © 2022 Elsevier Inc. |
URI: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85124467115&doi=10.1016%2fj.ic.2022.104870&partnerID=40&md5=60992d3583a4f697c9864e7740188e10 https://scholars.lib.ntu.edu.tw/handle/123456789/632494 |
ISSN: | 8905401 | DOI: | 10.1016/j.ic.2022.104870 | SDG/關鍵字: | Transducers; Crossing sequence; Finite transducers; Input string; Sufficient and necessary condition; Two ways; Two-way automata; Valuedness; Computability and decidability |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。