لیلا ملک - گروه کامپیوتر، واحد ورامین-پیشوا، دانشگاه آزاد اسلامی، ورامین، ایران
محمدمهدی پناهی - گروه کامپیوتر، واحد ورامین-پیشوا، دانشگاه آزاد اسلامی، ورامین، ایران
موس الرضا فدایی یامی - گروه ریاضیات کاربردی، واحد ورامین-پیشوا، دانشگاه آزاد اسلامی، ورامین، ایران

در ریاضیات و به خصوص کامپیوتر، مسایلی وجود دارد که حل آنها را می توان به سادگی به صورت یک الگوریبرگشت پذیر نشان داد. یک الگوری برگشت پذیر مانند یک تابع و یا یک دنباله برگشت پذیر تعریف می شود.محاسبات برگشت پذیرکاربرد قوانین بازیافتی برای محاسبات را دارد. منظور آن است که محاسبات استفاده شدهدر مکانیزم فیزیکی بصورت ترمودینامیکی و منطقی برگشت پذیر هستند .مهمترین اصل در این الگوریتم هادست یافتن به کارایی به راست. عمل برگشت پذیری روش فکرکردن در حل مسایل است. در واقع برگشت پذیرییکی از ایده های اصلی علم کامپیوتر است. حل یک مسیله به روش برگشت پذیر بدین معناست که راه حل بستگی به مدلکوچکتری از صورت مسیله داشته باشد. برگشت پذیری در محاسبات بطور ضمنی بیان می کند که هیچ اطلاعاتیراجع به حالت های محاسباتی از دست نمی رود بنابراین ما می توانیم اطلاعات را دوباره باز یافت کنیم. در اینمقاله در ابتدا در مورد زبان برگشت پذیر janus بحث خواهد شد و در ادامه الگوریتم پشته در ارزیابی عبارات پسوندی با استفاده از زبان برگشت پذیر janus بررسی می شود.

الگوری های برگشت پذیر، زبان های برنامه نویسی برگشت پذیر، زبان برگشت پذیر janus