دوره 4، شماره 1 - ( 2-1388 )                   جلد 4 شماره 1 صفحات 79-98 | برگشت به فهرست نسخه ها


XML Print


Download citation:
BibTeX | RIS | EndNote | Medlars | ProCite | Reference Manager | RefWorks
Send citation to:

M. Golmohamadian, M. M. Zahedi. BCK-ALGEBRAS AND HYPER BCK-ALGEBRAS INDUCED BY A DETERMINISTIC FINITE AUTOMATON. IJMSI. 2009; 4 (1) :79-98
URL: http://ijmsi.ir/article-1-64-fa.html
BCK-ALGEBRAS AND HYPER BCK-ALGEBRAS INDUCED BY A DETERMINISTIC FINITE AUTOMATON. مجله علوم ریاضی و انفورماتیک ایرانیان. 1388; 4 (1) :79-98

URL: http://ijmsi.ir/article-1-64-fa.html


چکیده:  

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.

نوع مطالعه: پژوهشي | موضوع مقاله: عمومى

ارسال نظر درباره این مقاله : نام کاربری یا پست الکترونیک شما:
CAPTCHA code

کلیه حقوق این وب سایت متعلق به نشریه علوم ریاضی و انفورماتیک می باشد.

طراحی و برنامه نویسی : یکتاوب افزار شرق

© 2018 All Rights Reserved | Iranian Journal of Mathematical Sciences and Informatics

Designed & Developed by : Yektaweb