همگون سازي اتوماتاي نوتروسوفيك عمومي

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