<?xml version="1.0" encoding="utf-8"?>
<journal>
<title>Iranian Journal of Mathematical Sciences and Informatics</title>
<title_fa>مجله علوم ریاضی و انفورماتیک</title_fa>
<short_title>IJMSI</short_title>
<subject>Basic Sciences</subject>
<web_url>http://ijmsi.ir</web_url>
<journal_hbi_system_id>1</journal_hbi_system_id>
<journal_hbi_system_user>admin</journal_hbi_system_user>
<journal_id_issn>1735-4463</journal_id_issn>
<journal_id_issn_online>2008-9473</journal_id_issn_online>
<journal_id_pii>8</journal_id_pii>
<journal_id_doi>10.61882/ijmsi</journal_id_doi>
<journal_id_iranmedex></journal_id_iranmedex>
<journal_id_magiran></journal_id_magiran>
<journal_id_sid>14</journal_id_sid>
<journal_id_nlai>8888</journal_id_nlai>
<journal_id_science>13</journal_id_science>
<language>en</language>
<pubdate>
	<type>jalali</type>
	<year>1402</year>
	<month>1</month>
	<day>1</day>
</pubdate>
<pubdate>
	<type>gregorian</type>
	<year>2023</year>
	<month>4</month>
	<day>1</day>
</pubdate>
<volume>18</volume>
<number>1</number>
<publish_type>online</publish_type>
<publish_edition>1</publish_edition>
<article_type>fulltext</article_type>
<articleset>
	<article>


	<language>en</language>
	<article_id_doi></article_id_doi>
	<title_fa></title_fa>
	<title>Reduction of BL-general L-fuzzy Automata</title>
	<subject_fa>عمومى</subject_fa>
	<subject>General</subject>
	<content_type_fa>پژوهشي</content_type_fa>
	<content_type>Research paper</content_type>
	<abstract_fa>&amp;nbsp;</abstract_fa>
	<abstract>&lt;div style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;fontstyle0&quot;&gt;In this paper, we show that for any BL-general L-fuzzy automaton (BL-GLFA) there exists a complete deterministic accessible reduced BL-general L-fuzzy automaton that recognizing the behavior of the BL-GLFA. Also, we prove that for any finite realization &lt;/span&gt;&lt;span class=&quot;fontstyle2&quot;&gt;&amp;beta;&lt;/span&gt;&lt;span class=&quot;fontstyle0&quot;&gt;, there exists a minimal complete deterministic BL-GLFA recognizing &lt;/span&gt;&lt;span class=&quot;fontstyle2&quot;&gt;&amp;beta;&lt;/span&gt;&lt;span class=&quot;fontstyle0&quot;&gt;. We prove any complete deterministic accessible reduced BL-GLFA is a minimal BLGLFA. After that, we show that for any given finite realization &lt;/span&gt;&lt;span class=&quot;fontstyle2&quot;&gt;&amp;beta;&lt;/span&gt;&lt;span class=&quot;fontstyle0&quot;&gt;, the minimal complete deterministic BL-GLFA recognizing &lt;/span&gt;&lt;span class=&quot;fontstyle2&quot;&gt;&amp;beta; &lt;/span&gt;&lt;span class=&quot;fontstyle0&quot;&gt;is isomorphic to any complete accessible deterministic reduced BL-GLFA recognizing &lt;/span&gt;&lt;span class=&quot;fontstyle2&quot;&gt;&amp;beta;&lt;/span&gt;&lt;span class=&quot;fontstyle0&quot;&gt;. Moreover, we give some examples to clarify these notions. Finally, by using these notions, we give some theorems and algorithms and obtain some related results.&lt;/span&gt;&lt;/div&gt;</abstract>
	<keyword_fa></keyword_fa>
	<keyword>BL-general fuzzy automata, Minimal automata, Reduction, Deterministic automata.</keyword>
	<start_page>131</start_page>
	<end_page>144</end_page>
	<web_url>http://ijmsi.ir/browse.php?a_code=A-10-2248-2&amp;slc_lang=en&amp;sid=1</web_url>


<author_list>
	<author>
	<first_name>Marzieh </first_name>
	<middle_name></middle_name>
	<last_name>Shamsizadeh</last_name>
	<suffix></suffix>
	<first_name_fa></first_name_fa>
	<middle_name_fa></middle_name_fa>
	<last_name_fa></last_name_fa>
	<suffix_fa></suffix_fa>
	<email>shamsizadeh.m@gmail.com</email>
	<code>100319475328460010022</code>
	<orcid>100319475328460010022</orcid>
	<coreauthor>Yes
</coreauthor>
	<affiliation>Department of Mathematics, Behbahan Khatam Alanbia University of Technology, Behbahan, Iran</affiliation>
	<affiliation_fa></affiliation_fa>
	 </author>


	<author>
	<first_name>Mohammad Mehdi</first_name>
	<middle_name></middle_name>
	<last_name>Zahedi</last_name>
	<suffix></suffix>
	<first_name_fa></first_name_fa>
	<middle_name_fa></middle_name_fa>
	<last_name_fa></last_name_fa>
	<suffix_fa></suffix_fa>
	<email>zahedi_mm@kgut.ac.ir</email>
	<code>100319475328460010023</code>
	<orcid>100319475328460010023</orcid>
	<coreauthor>No</coreauthor>
	<affiliation>Department of Mathematics, Graduate University of Advanced Technology, Kerman, Iran</affiliation>
	<affiliation_fa></affiliation_fa>
	 </author>


	<author>
	<first_name>Khadijeh</first_name>
	<middle_name></middle_name>
	<last_name>Abolpour</last_name>
	<suffix></suffix>
	<first_name_fa></first_name_fa>
	<middle_name_fa></middle_name_fa>
	<last_name_fa></last_name_fa>
	<suffix_fa></suffix_fa>
	<email>abolpor_kh@yahoo.com</email>
	<code>100319475328460010024</code>
	<orcid>100319475328460010024</orcid>
	<coreauthor>No</coreauthor>
	<affiliation>Department of Mathematics, Shiraz Branch, Islamic Azad University, Shiraz, Iran</affiliation>
	<affiliation_fa></affiliation_fa>
	 </author>


</author_list>


	</article>
</articleset>
</journal>
