RT - Journal Article T1 - Topological Structures Induced by General Fuzzy Automata Based on Lattice-ordered Monoid JF - khu-mmr YR - 2021 JO - khu-mmr VO - 7 IS - 2 UR - http://mmr.khu.ac.ir/article-1-3162-fa.html SP - 177 EP - 190 K1 - General fuzzy automata K1 - Monoid K1 - Operator K1 - Connected K1 - Seperated AB - نقش اساسی خواص جبری در توسعۀ مبانی علم کامپیوتر موجب شده تا پژوهش‌گران مفاهیم تفکیک­پذیری، هم‌بندی و معکوس­پذیری اتوماتای فازی را در سطح وسیعی بررسی کنند. در این مقاله، اتوماتای فازی عمومی را از دیدگاه جبری و توپولوژیکی بررسی کرده و خواص جبری اتوماتای مذکور را براساس تکوارۀ مشبکۀ مرتب بررسی می­کنیم. از طرف دیگر، اتوماتای فازی عمومی را با استفاده از مفاهیم عملگرها بررسی می­کنیم. این عملگرها به ما در بررسی جبری اتوماتای فازی عمومی کمک کرده و بستر لازم را برای استفاده از مفاهیم توپولوژیکی فراهم می­آورند. بدین منظور، با در­نظر گرفتن تعریف اتوماتای فازی عمومی، اتوماتای فازی عمومی LB– ارزشی را که در آن B یک تکوارۀ مشبکۀ مرتب متشکل از گزاره­های مربوط به اتوماتای فازی عمومی است، تعریف می­کنیم. سپس، عملگرهای درونی و بستار کوراتوفسکی LB-ارزشی را روی مجموعه حالت‌های اتوماتای مذکور تعریف کرده و ساختارهای توپولوژیکی حاصل از این عملگرها را معرفی می­کنیم. نکتۀ قابل توجه در این پژوهش، پیدا کردن مفاهیم جبری و توپولوژیکی برای اتوماتای فازی عمومی بر اساس تکوارۀ مشبکه مرتب است که به ساختارهای تکواره­ای وابسته، بستگی دارد. در پایان، برخی خواص هم‌بندی و تفکیک­پذیری اتوماتای فازی عمومی LB–ارزشی را بررسی می­کنیم و با ارائۀ مثال این مفاهیم را روشن می‌سازیم. LA eng UL http://mmr.khu.ac.ir/article-1-3162-fa.html M3 10.52547/mmr.7.2.177 ER -