اتوماتای (l-مقداری) درختی

در این پایان نامه، ابتدا روابط بین نظریه اتوماتای درختی و نظریه ابرساختارها را بررسی می کنیم. برای این منظور، تعدادی ابرعمل روی مجموعه درخت ها، حالت ها و الفبای یک اتوماتون درختی تعریف کرده و ثابت می کنیم که این ابرعمل ها ابرگروه های مختلفی ایجاد می کنند. همچنین، رابطه ابرگروه حالت حاصلضرب مستقیم m اتوماتای درختی و حاصلضرب رابطه ای ابرگروه های حالت مورد مطالعه قرار می گیرد. علاوه بر آن، گرامر درخت منظم متناوب و گرامر درخت منظم نرمال شده متناوب را تعریف کرده و هم ارزی بین آن ها نشان داده می شود. همچنین، ثابت می کنیم که کلاس زبان های درخت منظم متناوب دقیقاً همان کلاس زبان های پذیرفته شده توسط اتوماتای درختی از بالا به پایین متناوب است. همچنین، مفاهیم گرامر درخت منظم متناوب حالتی و گرامر درخت منظم متناوب توسعه یافته تعریف شده و هم ارزی بین آن ها را ثابت می کنیم. در ادامه، به بررسی مفهوم اتوماتای درختی متناهی مشبکه مقدار مانده ای کامل (l-مقدار) می پردازیم. برای این منظور، در ابتدا یک زبان درخت منظم l-مقداری را تعریف کرده و یک شرط لازم و کافی برای منظم بودن یک زبان درخت l-مقداری ارایه می دهیم. علاوه بر آن، یک لم تزریق برای اتوماتای درختی l-مقداری ثابت می کنیم. همچنین، وجود فرم مینیمال یک اتوماتون درختی l-مقداری را مورد مطالعه قرار می دهیم. و یک الگوریتم مینیمم سازی برای اتوماتون درختی l-مقداری ارایه داده و پیچیدگی محاسباتی آن را مورد تحلیل قرار می دهیم. همچنین، برخی خواص اتوماتای درختی بر اساس منطق مشبکه مقدار مانده ای کامل را مورد بررسی قرار می دهیم. برای این منظور، مفاهیمی مانند مجموعه l-مقداری از زیر سیستم های محض (قوی)، مجموعه l-مقداری از همریختی ها (قوی)، مجموعه l-مقداری از یکریختی ها (قوی) و مجموعه l-مقداری از روابط مجاز را تعریف کرده و رابطه بین آن ها را بررسی می کنیم. به علاوه، مشخصه توپولوژیکی دوفازی اتوماتای درختی l-مقداری را مورد مطالعه قرار می دهیم. درنهایت، روابط بین همریختی های میان اتوماتای درختی l-مقداری و نگاشت های باز و پیوسته را مطالعه می کنیم.