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

در این مقاله، به بررسی اتوماتای درختی فازی میپردازیم. یک زبان درخت فازی مرحلهای تشخیصپذیر را تعریف کرده و نشان میدهیم هر زبان درخت فازی تشخیصپذیر یک زبان درخت فازی مرحلهای تشخیصپذیر است. در ادام ه، ی ک ات وم ات ون درخت ی ف ازی ق ط ع ی را م ع رف ی ک رده و نش ان م یدهی م تکی هگ اه یک زبان درخت ف ازی قابل تشخیص ت وسط یک ات وم اتون درختی فازی، تشخیصپذیر است. این مفاهیم را روی برخی اتوماتای درختی فازی نمایش میدهیم. همچنین، ثابت میکنیم که کلاس زبانهای درخت فازی قابل تشخیص توسط اتوماتای درختی فازی قطعی، با کلاس نگاشتهای مرحلهای تشخیصپذیر برابر است. در نهایت، نشان میدهیم که یک زبان درخت فازی توسط یک اتوماتون درختی فازی قطعی قابل تشخیص است اگر و فقط اگر آن زبان، یک نگاشت مرحلهای تشخیصپذیر نرمال باشد.