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

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

کلیدواژه ها:

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