اتوماتای درختی فازی (عمومی) و کاربردهای آن

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