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

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

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

در این پایان نامه، ابتدا روابط بین نظریه اتوماتای درختی و نظریه ابرساختارها را بررسی می کنیم. برای این منظور، تعدادی ابرعمل روی مجموعه درخت ها، حالت ها و الفبای یک اتوماتون درختی تعریف کرده و ثابت می کنیم که این ابرعمل ها ابرگروه های مختلفی ایجاد می کنند. همچنین، رابطه ابرگروه حالت حاصلضرب مستقیم m اتوماتای درختی و حاصلضرب رابطه ای ابرگروه های حالت مورد مطالعه قرار می گیرد. علاوه بر آن، گرامر...

نظریه ی مایهیل- نرود شاخه ای از نظریه ی جبری زبان ها و اتوماتاست که در آن زبان های معمولی و اتوماتای قطعی توسط همنهشتی های راست و همنهشتی های روی یک تک وار آزاد بررسی می شوند. در این پایان نامه نظریه ی مایهیل-نرود نمونه را برای زبان های فازی با درجه ی عضویت در یک مجموعه ی دلخواه با دو مولفه ی مجزای 0 و 1 بررسی می کنیم. همچنین ارتباط بین توسیع پذیری زبان های فازی نسبت به همنهشتی های راست و همنهش...

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

در این پایان نامه ابتدا به بررسی گرامر آزاد از متن، اتوماتای پشته ای و ارتباط بین این دو می پردازیم. سپس مفهوم گرامر آزاد از متن را به گرامر آزاد از متن فازی و مفهوم اتوماتای پشته ای را به اتوماتای پشته ای فازی گسترش می دهیم. همچنین روش هایی مناسب برای به دست آوردن زبان آن ها ارائه می دهیم. پس از آن به بررسی ارتباط بین گرامر آزاد از متن فازی و اتوماتای پشته ای فازی می پردازیم. به ویژه نشان می د...

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

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