همگون سازی اتوماتای نوتروسوفیک عمومی

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