بابک پوراصغر - کارشناس ارشد علوم کامپیوتر،دانشگاه صنعتی شریف

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

منطق مرتبه دوم تکین،اتوماتون های متناهی،اتوماتون های گرافی،تعریف پذیری،زبان های گرافی