Bisimulation for BL-general fuzzy automata

سال انتشار: 1395
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 131

فایل این مقاله در 16 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

JR_IJFS-13-4_004

تاریخ نمایه سازی: 24 خرداد 1401

چکیده مقاله:

In this note, we define bisimulation for BL-general fuzzy automata and show that if there is a bisimulation between two BL-general fuzzy automata, then they have the same behavior.For a given BL-general fuzzy automata, we obtain the greatest bisimulation for the BL-general fuzzy automata. Thereafter, if we use the greatest bisimulation, then we obtain a quotient BL-general fuzzy automata and this quotient is minimal, furthermore there is a morphism from the first one to its quotient.Also, for two given BL-general fuzzy automata we present an algorithm, which determines bisimulation between them.Finally, we present some examples to clarify these new notions.

نویسندگان

M. Shamsizadeh

Department of Mathematics, Graduate University of Advanced Technology, Kerman, Iran

M. M. Zahedi

Department of Mathematics, Graduate University of Advanced Technology, Kerman, Iran

K. Abolpour

Department of Mathematics, Kazerun Branch, Islamic Azad University, Kazerun, Iran

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • K. Abolpour and M. M. Zahedi, BL-general fuzzy automata and ...
  • K. Abolpour and M. M. Zahedi, Isomorphism between two BL-general ...
  • C. Baier, B. Engelen and M. Majster Cederbaum, Deciding bisimilarity ...
  • P. Buchholz, Bisimulation relations for weighted automata, Theoretical Computer Science,۳۹۳ ...
  • Y. Cao, G. Chen and E. Kerre, Bisimulations for fuzzy ...
  • Y. Cao, H. Wang, S. X. Sun and G. Chen, ...
  • M. Ciric, J. Ignjatovic, M. Basic and I. Jancic, Nondeterministic ...
  • M. Ciric, J. Ignjatovic, N. Damljanovic and M. Basic, Bisimulations ...
  • M. Ciric, J. Ignjatovic, I. Jancic and N. Damljanovic, Computation ...
  • N. Damljanovic, M. Ciric and J. Ignjatovic, Bisimulations for weighted ...
  • W. Deng and D. W. Qiu, Supervisory control of fuzzy ...
  • M. Doostfatemeh and S. C. Kremer, New directions in fuzzy ...
  • C. L. Giles, C. W. Omlin and K. K. Thornber, ...
  • M. M. Gupta, G. N. Saridis and B. R. Gaines, ...
  • P. Hajek, Metamathematics of fuzzy logic, Trends in Logic, Kluwer, ...
  • J. Hgberg, A. Maletti and J. May, Backward and forward ...
  • J. Hgberg, A. Maletti and J. May, Backward and forward ...
  • D. C. Kozen, Automata and computability, Springer, USA, ۱۹۹۷ ...
  • E. T. Lee and L. A. Zadeh, Note on fuzzy ...
  • L. Li and D. Qiu, On the state minimization of ...
  • N. Lynch and F. Vaandrager, Forward and backward simulations, Information ...
  • D. S. Malik and J. N. Mordeson, Fuzzy Automata and ...
  • D. S. Malik and J. N. Mordeson, Fuzzy discrete structures, ...
  • R. Milner, Acalculus of communicating systems, In: G. Goos, J. ...
  • C. W. Omlin, K. K. Thornber and C. L. Giles, ...
  • D. Park, Concurrency and automata on in nite sequences, In: P.Deussen(Ed.), ...
  • W. Pedrycz and A. Gacek, Learning of fuzzy automata, International ...
  • K. Peeva, Behavior, reduction and minimization of nite L-automata, Fuzzy ...
  • K. Peeva, Equivalence, reduction and minimization of nite automata over ...
  • D. Qiu, Automata theory based on complete residuated lattice-valued logic, ...
  • D. Qiu, Automata theory based on complete residuated lattice-valued logic ...
  • D. Qiu, Characterizations of fuzzy nite automata, Fuzzy Sets and ...
  • D. Qiu, Supervisory control of fuzzy discrete event systems: a ...
  • E. S. Santos, Maxmin automata, Information Control, ۱۳ (۱۹۶۸), ۳۶۳-۳۷۷ ...
  • V. Topencharov and K. Peeva, Equivalence, reduction and minimization of ...
  • E. Turunen, Boolean deductive systems of BL-algebras, Archive for Mathematical ...
  • W. G. Wee, On generalization of adaptive algorithm and application ...
  • W. G. Wee and K. S. Fu, A formulation of ...
  • L. Wu and D. Qiu, Automata theory based on complete ...
  • L. A. Zadeh, Fuzzy sets, Information and Control, ۸ (۱۹۶۵,) ...
  • نمایش کامل مراجع