بررسی ارتباط بین S - سیستم های راست صادق در شرط (E′P) با سیستم های P - منظم و P - دوری

در [۱] کیلپ و کناور شرط (E) و شرط (P) را معرفی کردند و در [۲] ،لان تعمیمی از شرط (E)، یعنی شرط (′E) را معرفی کرد. در سال ۲۰۰۶ شرط (E′P) که تعمیمی از شرط های (P′) ،(E) و (′E) می باشد. توسط گلچین و محمدزاده معرفی شد. مطالعه شرط (E′P) در ارتباط با سایر ویژگی های S- سیستم ها، درک بهتری از رفتار S - سیستم ها و شرط های ( ′P) و (′E) فراهم می کند. در این مقاله، تحقیقات در مورد شرط بیان شده را ادامه داده و برخی ویژگی های آن را به دست می آوریم. یک معادل بر اساس همه S- سیستم راست خارج قسمتی ریس صادق در شرط (E′P) ارائه می دهیم که به نوبه خود اهمیت این شرط را نشان می دهد. همچنین یک طبقه بندی از مونوئیدها برای همه سیستم های راست صادق در شرط (E′P) ارائه می دهیم و ارتباط این شرط با سیستم های P-منظم و P-دوری را به دست می آوریم.

کلیدواژه ها:

S-سیستم ، شرط(E′P) ، سیستم P-منظم