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