ارتباط بين اتوماتاي درختي فازي قطعي و نگاشت هاي مرحله اي تشخيص پذير نرمال

در اﯾﻦ ﻣﻘﺎﻟﻪ، ﺑﻪ ﺑﺮرﺳﯽ اﺗﻮﻣﺎﺗﺎي درﺧﺘﯽ ﻓﺎزي ﻣﯽﭘﺮدازﯾﻢ. ﯾﮏ زﺑﺎن درﺧﺖ ﻓﺎزي ﻣﺮﺣﻠﻪاي ﺗﺸﺨﯿﺺﭘﺬﯾﺮ را ﺗﻌﺮﯾﻒ ﮐﺮده و ﻧﺸﺎن ﻣﯽدﻫﯿﻢ ﻫﺮ زﺑﺎن درﺧﺖ ﻓﺎزي ﺗﺸﺨﯿﺺﭘﺬﯾﺮ ﯾﮏ زﺑﺎن درﺧﺖ ﻓﺎزي ﻣﺮﺣﻠﻪاي ﺗﺸﺨﯿﺺﭘﺬﯾﺮ اﺳﺖ. در اداﻣ ﻪ، ﯾﮏ اﺗﻮﻣﺎﺗﻮن درﺧﺘﯽ ﻓﺎزي ﻗﻄﻌﯽ را ﻣﻌﺮﻓﯽ ﮐﺮده و ﻧﺸ ﺎن ﻣ ﯽدﻫﯿ ﻢ ﺗﮑﯿﻪﮔﺎه ﯾﮏ زﺑﺎن درﺧﺖ ﻓ ﺎزي ﻗﺎﺑﻞ ﺗﺸﺨﯿﺺ ﺗ ﻮﺳﻂ ﯾﮏ اﺗ ﻮﻣ ﺎﺗﻮن درﺧﺘﯽ ﻓﺎزي، ﺗﺸﺨﯿﺺﭘﺬﯾﺮ اﺳﺖ. اﯾﻦ ﻣﻔﺎﻫﯿﻢ را روي ﺑﺮﺧﯽ اﺗﻮﻣﺎﺗﺎي درﺧﺘﯽ ﻓﺎزي ﻧﻤﺎﯾﺶ ﻣﯽدﻫﯿﻢ. ﻫﻤﭽﻨﯿﻦ، ﺛﺎﺑﺖ ﻣﯽﮐﻨﯿﻢ ﮐﻪ ﮐﻼس زﺑﺎنﻫﺎي درﺧﺖ ﻓﺎزي ﻗﺎﺑﻞ ﺗﺸﺨﯿﺺ ﺗﻮﺳﻂ اﺗﻮﻣﺎﺗﺎي درﺧﺘﯽ ﻓﺎزي ﻗﻄﻌﯽ، ﺑﺎ ﮐﻼس ﻧﮕﺎﺷﺖﻫﺎي ﻣﺮﺣﻠﻪاي ﺗﺸﺨﯿﺺﭘﺬﯾﺮ ﺑﺮاﺑﺮ اﺳﺖ. در ﻧﻬﺎﯾﺖ، ﻧﺸﺎن ﻣﯽدﻫﯿﻢ ﮐﻪ ﯾﮏ زﺑﺎن درﺧﺖ ﻓﺎزي ﺗﻮﺳﻂ ﯾﮏ اﺗﻮﻣﺎﺗﻮن درﺧﺘﯽ ﻓﺎزي ﻗﻄﻌﯽ ﻗﺎﺑﻞ ﺗﺸﺨﯿﺺ اﺳﺖ اﮔﺮ و ﻓﻘﻂ اﮔﺮ آن زﺑﺎن، ﯾﮏ ﻧﮕﺎﺷﺖ ﻣﺮﺣﻠﻪاي ﺗﺸﺨﯿﺺﭘﺬﯾﺮ ﻧﺮﻣﺎل ﺑﺎﺷﺪ.