این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
Iranian Journal of Mathematical Sciences and Informatics، جلد ۴، شماره ۱، صفحات ۷۹-۹۸
عنوان فارسی
چکیده فارسی مقاله
کلیدواژه‌های فارسی مقاله
عنوان انگلیسی BCK-ALGEBRAS AND HYPER BCK-ALGEBRAS INDUCED BY A DETERMINISTIC FINITE AUTOMATON
چکیده انگلیسی مقاله In this note first we define a BCK‐algebra on the states of a deterministic finite automaton. Then we show that it is a BCK‐algebra with condition (S) and also it is a positive implicative BCK‐algebra. Then we find some quotient BCK‐algebras of it. After that we introduce a hyper BCK‐algebra on the set of all equivalence classes of an equivalence relation on the states of a deterministic finite automaton and we prove that this hyper BCKalgebra is simple, strong normal and implicative. Finally we define a semi continuous deterministic finite automaton. Then we introduce a hyper BCK‐algebra S on the states of this automaton and we show that S is a weak normal hyper BCK‐algebra.
کلیدواژه‌های انگلیسی مقاله
نویسندگان مقاله m گلمحمدیان | m golmohamadian


m m زاهدی | m m zahedi


نشانی اینترنتی http://www.ijmsi.ir/browse.php?a_code=A-10-1-60&slc_lang=en&sid=en
فایل مقاله فایلی برای مقاله ذخیره نشده است
کد مقاله (doi)
زبان مقاله منتشر شده en
موضوعات مقاله منتشر شده عمومی
نوع مقاله منتشر شده پژوهشی
برگشت به: صفحه اول پایگاه   |   نسخه مرتبط   |   نشریه مرتبط   |   فهرست نشریات