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