در این رساله‏، مسائل ‎‎قطعی سازی‏، کاهش و کامل بودن‏ را در یک اتوماتای درختی فازی مورد بحث قرار داده و نشان می دهیم که کمینه سازی‏ نیازمند بررسی همزمان از دیدگاه زبانی و دیدگاه رفتاری در یک اتوماتای درختی فازی می باشد. برای افزایش قابلیت انعطاف در این زمینه‏ و همچنین برآورده سازی برخی نیازهای کاربردی‏، مسأله جدیدی به نام کمینه سازی تقریبی تعریف گردیده که دیدگاه های زبانی و رفتاری را هم در نظر می گیرد. همچنین با باز تعریف برخی مفاهیم از جمله حالت‏، نگاشت رانش و نگاشت رفتار در این نوع اتوماتا‏، مفهوم اتوماتای درختی ‎‎فازی مختلط‎ را ارائه می نماییم. پس از آن با تعریف اتوماتای ‎‎l-مقداری که ‎‎‎l‎‎ یک مشبکه مانده ای کامل است‏، مفاهیم جدیدی که تعمیم مفاهیم مربوط به نظریه زبان ها و اتوماتا است را مطرح‏، و قضایایی در این خصوص اثبات نموده و برای آنها الگوریتم هایی ارائه می گردد.

اتوماتای درختی، تعمیم اتوماتای متناهی روی کلمات است و زبان های درختی قابل شناسایی را پذیرش می کند. اتوماتای درختی فازی نیز تعمیم اتوماتای درختی می باشد و برای پذیرش عبارات درجه عضویت فازی قرار می دهد. در این رساله، پس از آشنایی با مفاهیم اساسی پیرامون اتوماتای درختی و زبان های درختی قابل شناسایی، به بررسی عبارت های منظم درختی و اثبات قضیه کلین برای زبان های درختی قابل شناسایی پرداخته شده است. سپس اتوماتای درختی فازی معرفی و قضیه کلین برای زبان این نوع اتوماتا نیز اثبات گردیده و یک کاربرد عملی از این اتوماتا مدل سازی و مورد آزمایش قرار گرفته است.