دانشگاه آزاد اسلامی، واحد شیراز، گروه ریاضی ، abolpor_kh@yahoo.com
چکیده: (1351 مشاهده)
نقش اساسی خواص جبری در توسعۀ مبانی علم کامپیوتر موجب شده تا پژوهشگران مفاهیم تفکیکپذیری، همبندی و معکوسپذیری اتوماتای فازی را در سطح وسیعی بررسی کنند. در این مقاله، اتوماتای فازی عمومی را از دیدگاه جبری و توپولوژیکی بررسی کرده و خواص جبری اتوماتای مذکور را براساس تکوارۀ مشبکۀ مرتب بررسی میکنیم. از طرف دیگر، اتوماتای فازی عمومی را با استفاده از مفاهیم عملگرها بررسی میکنیم. این عملگرها به ما در بررسی جبری اتوماتای فازی عمومی کمک کرده و بستر لازم را برای استفاده از مفاهیم توپولوژیکی فراهم میآورند. بدین منظور، با درنظر گرفتن تعریف اتوماتای فازی عمومی، اتوماتای فازی عمومی LB– ارزشی را که در آن B یک تکوارۀ مشبکۀ مرتب متشکل از گزارههای مربوط به اتوماتای فازی عمومی است، تعریف میکنیم. سپس، عملگرهای درونی و بستار کوراتوفسکی LB-ارزشی را روی مجموعه حالتهای اتوماتای مذکور تعریف کرده و ساختارهای توپولوژیکی حاصل از این عملگرها را معرفی میکنیم. نکتۀ قابل توجه در این پژوهش، پیدا کردن مفاهیم جبری و توپولوژیکی برای اتوماتای فازی عمومی بر اساس تکوارۀ مشبکه مرتب است که به ساختارهای تکوارهای وابسته، بستگی دارد. در پایان، برخی خواص همبندی و تفکیکپذیری اتوماتای فازی عمومی LB–ارزشی را بررسی میکنیم و با ارائۀ مثال این مفاهیم را روشن میسازیم.
نوع مطالعه:
مقاله مستقل |
موضوع مقاله:
ریاضی دریافت: 1399/10/13 | ویرایش نهایی: 1400/5/16 | پذیرش: 1399/12/6 | انتشار: 1400/6/10 | انتشار الکترونیک: 1400/6/10