انجمن سیستم های فازی ایران سیستم های فازی و کاربردها 2717-4409 4 2 2022 02 20 Relation Between Deterministic Fuzzy Tree Automata and Normal Recognizable Step Mappings ارتباط بین اتوماتای درختی فازی قطعی و نگاشت های مرحله ای تشخیص پذیر نرمال 113 132 146079 10.22034/jfsa.2022.315340.1100 FA مریم قرآنی داﻧﺸﮑﺪه ﻋﻠﻮم رﯾﺎﺿﯽ، داﻧﺸﮕﺎه ﺻﻨﻌﺘﯽ ﺷﺎﻫﺮود، ﺷﺎﻫﺮود، اﯾﺮان Journal Article 2021 11 15 In this paper we investigate fuzzy tree automata. Fuzzy tree automata extend fuzzy automata. In fuzzy automata we deal with strings and in fuzzy tree automata we utilize trees instead of strings. We define a recognizable step fuzzy tree language and by a theorem we show that recognizable fuzzy tree language is recognizable step fuzzy tree language. Then, we define a deterministic fuzzy tree automaton and support of a fuzzy tree language and show that support of a fuzzy tree language can be recognized by a fuzzy tree automaton. We explain these concepts by examples. We also show that for a recognizable step mapping, there exists a deterministic fuzzy tree automaton that can recognize it, and vice versa. In fact we prove that the class of recognizable fuzzy tree languages is equal to the class of normal recognizable step mappings.The obtained theorems generalize the results of weighted automata to tree automata. در اﯾﻦ ﻣﻘﺎﻟﻪ، ﺑﻪ ﺑﺮرﺳﯽ اﺗﻮﻣﺎﺗﺎی درﺧﺘﯽ ﻓﺎزی ﻣﯽﭘﺮدازﯾﻢ. ﯾﮏ زﺑﺎن درﺧﺖ ﻓﺎزی ﻣﺮﺣﻠﻪای ﺗﺸﺨﯿﺺﭘﺬﯾﺮ را ﺗﻌﺮﯾﻒ ﮐﺮده و ﻧﺸﺎن ﻣﯽدﻫﯿﻢ ﻫﺮ زﺑﺎن درﺧﺖ ﻓﺎزی ﺗﺸﺨﯿﺺﭘﺬﯾﺮ ﯾﮏ زﺑﺎن درﺧﺖ ﻓﺎزی ﻣﺮﺣﻠﻪای ﺗﺸﺨﯿﺺﭘﺬﯾﺮ اﺳﺖ. در اداﻣ ﻪ، ﯾ ﮏ اﺗ ﻮﻣ ﺎﺗ ﻮن درﺧﺘ ﯽ ﻓ ﺎزی ﻗ ﻄ ﻌ ﯽ را ﻣ ﻌ ﺮﻓ ﯽ ﮐ ﺮده و ﻧﺸ ﺎن ﻣ ﯽدﻫﯿ ﻢ ﺗﮑﯿ ﻪﮔ ﺎه ﯾﮏ زﺑﺎن درﺧﺖ ﻓ ﺎزی ﻗﺎﺑﻞ ﺗﺸﺨﯿﺺ ﺗ ﻮﺳﻂ ﯾﮏ اﺗ ﻮﻣ ﺎﺗﻮن درﺧﺘﯽ ﻓﺎزی، ﺗﺸﺨﯿﺺﭘﺬﯾﺮ اﺳﺖ. اﯾﻦ ﻣﻔﺎﻫﯿﻢ را روی ﺑﺮﺧﯽ اﺗﻮﻣﺎﺗﺎی درﺧﺘﯽ ﻓﺎزی ﻧﻤﺎﯾﺶ ﻣﯽدﻫﯿﻢ. ﻫﻤﭽﻨﯿﻦ، ﺛﺎﺑﺖ ﻣﯽﮐﻨﯿﻢ ﮐﻪ ﮐﻼس زﺑﺎنﻫﺎی درﺧﺖ ﻓﺎزی ﻗﺎﺑﻞ ﺗﺸﺨﯿﺺ ﺗﻮﺳﻂ اﺗﻮﻣﺎﺗﺎی درﺧﺘﯽ ﻓﺎزی ﻗﻄﻌﯽ، ﺑﺎ ﮐﻼس ﻧﮕﺎﺷﺖﻫﺎی ﻣﺮﺣﻠﻪای ﺗﺸﺨﯿﺺﭘﺬﯾﺮ ﺑﺮاﺑﺮ اﺳﺖ. در ﻧﻬﺎﯾﺖ، ﻧﺸﺎن ﻣﯽدﻫﯿﻢ ﮐﻪ ﯾﮏ زﺑﺎن درﺧﺖ ﻓﺎزی ﺗﻮﺳﻂ ﯾﮏ اﺗﻮﻣﺎﺗﻮن درﺧﺘﯽ ﻓﺎزی ﻗﻄﻌﯽ ﻗﺎﺑﻞ ﺗﺸﺨﯿﺺ اﺳﺖ اﮔﺮ و ﻓﻘﻂ اﮔﺮ آن زﺑﺎن، ﯾﮏ ﻧﮕﺎﺷﺖ ﻣﺮﺣﻠﻪای ﺗﺸﺨﯿﺺﭘﺬﯾﺮ ﻧﺮﻣﺎل ﺑﺎﺷﺪ. https://jfsa.fuzzy.ir/article_146079_c56f51881d1e46a85a70147d8f2bdd72.pdf