توصیف مسائل آنالیز ترکیبی در Z

آنالیز ترکیبی یا رضیات انتخاب ، یکی از شاخه های ریاضیات است که به بررسی مسائل شمارش ، گرافها و .... روی مجموعه های متناهی می پردازد. از جمله کاربردهای مهم این شاخه ی ریاضی می توان به استفاده آن در برنامه نویسی و الگوریتم ها اشاره کرد. در واقع سیستمهایی بر پایه ی این شاخه از علم ریاضی انجام میشود. در این مقاله به بررسی توصیف مبتنی بر ریاضی مسائل آنالیز ترکیبی با استفاده از زبان z‌پرداخته شده است. در واقع هدف این مقاله توصیف رسمی سیستم هایی است که بر پایه آنالیز ترکیبی ایجاد می شوند که این توصیف با استفاده از زبان z می باشد.

کلیدواژه ها:

آنالیز ترکیبی ، اصل ضرب ، زنجیره مارکف ، توصیف رسمی ، ریان توصیف Z