payamvha/North_RAG huggingface dataset:
دانسکه بانک شرکت خدمات مالی و بانکداری دانمارکی است، که نام آن در زبان دانمارکی به‌معنی بانک دانمارکی می‌باشد. این بانک در تاریخ ۵ اکتبر ۱۸۷۱ در شهر کپنهاگ تأسیس شد. دانسکه بانک در سال ۲۰۱۱ در فهرست فورچون جهانی ۵۰۰ در رتبه ۴۵۴ از بزرگترین شرکت‌های جهان قرار داشت. حوزه فعالیت‌ها و محدوده جغرافیایی این بانک به‌صورت عمده در اروپا است. بخشی از سهام دانسکه بانک در بازار بورس اوام‌اکس کپنهاگ دادوستد می‌شود.
صاریغ شهدخوار کیسه‌دار ریزجثه‌ای ساکن جنوب غربی استرالیا است که از شهد و گرده گلها و گیاهان تغذیه می‌کند. این جانور تنها عضو سرده و تیره خود است. صاریغ شهدخوار طولی میان ۹۰–۶۵ میلی‌متر دارد و وزنش به ۱۶–۸ گرم می‌رسد. سر آن به رنگ قهوه‌ای است و بدن آن نیز به رنگ قهوه‌ای خاکستری. بر روی پشت سه خط راه‌راه تاریک وجود دارد که خط میانی، که به رنگ سیاه کامل است، از بالای سر تا به انتهای دم کشیده می‌شود. این جانوران بر روی درختان و بوته‌ها زندگی می‌کنند.
در علم رایانه، قواعد دستور زبان به نوعی دستور زبان رسمی گفته می‌شود که قواعد یک زبان را توصیف می‌کند. قواعد محکم دستور زبان. یک گرامر منظم راست (که گرامر خطی از راست نیز نامیده می‌شود) دستور زبان رسمی است (N,∑ , p, S) که تمامی قواعد مجموعهٔ p به یکی از اشکال زیر در آن وجود دارند: در گرامر منظم چپ (که گرامر خطی از چپ نیز نامیده می‌شود) تمامی قواعد از قالب‌های زیر تبعیت می‌کنند: نمونه‌ای از گرامر منظم راست G با فرمول N = {S, A}, Σ = {a, b, c}, P شامل قواعد زیر است: و S علامت آغاز است. این دستور زبان همان
زیر است: و S علامت آغاز است. این دستور زبان همان زبانی را توصیف می‌کند که در عبارت a*bc* وجود دارد. گرامر منظم راست G هرچند طولانی‌تر، اما ساده‌تر همین توصیف را برای عبارت N = {S, A, B, C}, ∑ = {a, b, c} توضیح می‌دهد که p در آن شامل قواعد زیر است: هر یک از حروف بزرگ معادل عباراتی هستند که در عبارت قاعده‌مند بعدی آغاز می‌شوند. یک گرامر منظم یک گرامر منظم راست یا چپ است. بعضی از کتب و مقالات قواعد مجموعهٔ تهی را رد می‌کنند و فرض را بر این می‌گیرند که مجموعهٔ تهی در زبان‌ها وجود ندارد. گرامرهای منظم
مجموعهٔ تهی در زبان‌ها وجود ندارد. گرامرهای منظم تعمیم‌یافته. گرامر منظم راست تعمیم‌یافته، گرامری است که از یکی از قواعد زیر تبعیت می‌کند: بعضی از نویسندگان این نوع دستور زبان را یک گرامر منظم راست (یا گرامر خطی از راست) و عبارت بالایی را یک گرامر منظم راست دقیق (یا گرامر خطی راست دقیق) می‌نامند. گرامر منظم چپ تعمیم‌یافته، دستور زبانی است که در آن تمامی قواعد از یکی از قالب‌های زیر تبعیت می‌کنند: قدرت مؤثر. میان قواعد یک گرامر منظم چپ (محکم) با قواعد غیرقطعی موجود در ماشین اتوماتیک نامحدود ارتباط مستقیم
موجود در ماشین اتوماتیک نامحدود ارتباط مستقیم یک‌به‌یک وجود دارد. چنین دستور زبانی دقیقاً زبان مورد قبول ماشین اتوماتیک را ایجاد می‌کند؛ بنابراین، گرامر منظم چپ دقیقاً تمامی زبان‌های منظم را به وجود می‌آورد. گرامر منظم راست برعکس این زبان‌ها را توصیف می‌کندکه آن‌ها نیز خود زبان‌های منظم هستند. هر گرامر منظم راست، قواعد راست را تعمیم می‌دهد، در حالیکه هر گرامر منظم راست می‌تواند با داخل نمودن نمادهای غیر قطعی جدید، دقیق شود، که نتیجه آن ایجاد زبان مشابهی است، بنابراین گرامر منظم راست، زبان‌های منظمی را نیز
بنابراین گرامر منظم راست، زبان‌های منظمی را نیز به وجود میاورد. بدین ترتیب گرامر منظم چپ تعمیم یافته نیز چنین عمل مشابهی را انجام می‌دهد. اگر مجموعه تهی مورد پذیرش قرار نگیرد، تنها تمام زبان‌های منظمی که مجموعه تهی در آن‌ها یافت نمی‌شود می‌توانند ایجاد شوند. ترکیب قواعد منظم چپ و راست. اگر ترکیب قواعد منظم چپ و راست مجاز باشد، ما هنوز هم یک گرامر خطی داریم، اما لزوماً یک گرامر منظم نیست. به‌علاوه، چنین گرامری نیازمند ایجاد یک زبان منظم نیست: تمامی گرامرهای خطی به سادگی می‌توانند به این شکل درآیند، و
خطی به سادگی می‌توانند به این شکل درآیند، و بنابراین، چنین گرامرهایی می‌توانند دقیقاً تمامی زبان‌های خطی، از جمله زبان‌های نامنظم را ایجاد کنند.
در علوم رایانه‌ای، ماشین تورینگ جهانی نوعی ماشین محاسباتی است که می‌تواند براساس یک داده تصادفی یک محاسبه تورینگ تصادفی را شبیه‌سازی نماید. این ماشین محاسباتی اساساً با خواندن توضیح ماشین و نیز داده مربوطه از روی نوار موجود در خود ماشین این کار را انجام می‌دهد. آلن تورینگ این ماشین را بین سال‌های ۱۹۳۷–۱۹۳۶ معرفی کرد. این الگو از نظر بعضی (مانند مارتین دیویس) منشأ ساخت قطعه «ذخیره‌کننده دستورهای برنامه‌های کامپیوتری» می‌باشد که توسط جان فون نویمان در ابزار محاسباتی الکترونیکی بکار می‌رفت و اکنون در علم
محاسباتی الکترونیکی بکار می‌رفت و اکنون در علم رایانه «ساختار فون نویمان» نام دارد. این ماشین همچنین ماشین محاسبه جامع، ماشین جامع (UM) و ماشین (U) نامیده می‌شود. با توجه به پیچیدگی برنامه‌های رایانه‌ای، ماشین محاسبه تورینگ چند نواری در مقایسه با ماشین‌هایی که آن‌ها را شبیه‌سازی می‌کند، فقط دارای عامل لگاریتمی است که عملکرد آن را آهسته‌تر می‌نماید. مقدمه. یک ماشین محاسبه تورینگ یک متغیر محاسباتی خاص را با استفاده از رشته‌ای از داده‌ها از طریق الفبای (صفر و یک) آن محاسبه می‌کند. از این لحاظ، این ماشین مانند
آن محاسبه می‌کند. از این لحاظ، این ماشین مانند یک کامپیوتر با برنامه ثابت عمل می‌نماید؛ ولیکن، می‌توان جدول عملگرهای هر ماشین تورینگی را به صورت رشته‌ای از داده‌ها رمزگذاری نمود؛ بنابراین می‌توان ماشین محاسبه تورینگی ساخت که بر روی نوار ذخیره اطلاعات آن رشته‌ای از داده‌ها برای توصیف جدول عملگرها به همراه رشته‌ای برای توصیف نوار ورودی وجود داشته باشد و نواری را که ماشین تورینگ رمزگذاری کرده‌است، محاسبه نماید. تورینگ در مقاله سال ۱۹۳۶ خود این ساختار را با جزئیات کامل توصیف نمود: "این امکان وجود دارد که
جزئیات کامل توصیف نمود: "این امکان وجود دارد که ماشینی را اختراع نمود تا بتواند هر تابع قابل محاسبه‌ای را محاسبه نماید. اگر این ماشین (U) دارای نواری باشد که در ابتدای آن توضیحات استاندارد (S.D) از جدول عملگرهای بعضی از ماشینهای محاسبه M نوشته شده باشد بنابراین U یعنی ماشین می‌تواند همان تابع را به عنوان M محاسبه نماید. کامپیوتر ذخیره دستورهای برنامه‌نویسی. "دیویس" استدلال قانع‌کننده‌ای ارائه می‌دهد که تعریف تورینگ از آنچه که اکنون "کامپیوتر ذخیره دستورهای برنامه نویسی"، نامیده می‌شود و نیز قرار دادن "جدول
نویسی"، نامیده می‌شود و نیز قرار دادن "جدول عملگرهاً یعنی دستورهای موجود در ماشین را که در همان حافظه‌ای ذخیره می‌شوند که داده‌ها در آن وجود دارند، تعریف اولیه جان وون نیومن از نماد گسسته (در مقابل نماد متشابه) را تحت تأثیر خود قرار داد، یعنی EDVAC. دیویس در این زمینه در مجله "تایم" بیان می‌کند که "هر فردی که بر روی کیبورد ضربه وارد می‌کند به نوعی در حال تجسم بخشیدن به ماشین محاسبه تورینگ است" و اینکه " نظریه آلن تورینگ اساس نظریه جان وون نیومن بوده‌است." دیویس بیان می‌کند که موتور محاسبه خودکار تورینگ
دیویس بیان می‌کند که موتور محاسبه خودکار تورینگ (ACE) مفاهیم کوچکترین دستورهای برنامه‌های کامپیوتری و پردازنده‌های RISC را پیش‌بینی کرده بود. "ناچ" نیز از موتور محاسبه خودکار تورینگ به عنوان طراحی "سخت افزاری برای تسهیل عملگرهای توابع به هم پیوسته" یاد می‌کند، دیویس همچنین از موتور محاسبه خودکار تورینگ به عنوان سخت‌افزار "حافظه کوتاه مدت" نام می‌برد. از آنجا که ماشین محاسبه تیورینگ منشأ ساخت کامپیوترها بوده‌است، بنابراین ماشین محاسبه تورینگ را می‌توان نسل کامپیوترهای اولیه دانست. به گفته دیویس یکی از اولین
اولیه دانست. به گفته دیویس یکی از اولین برنامه‌های کامپیوتری توسط یک برنامه‌نویس برجسته جوان برای EDVAS ارائه شد. اولین برنامه جدی "وون نیومن" فقط داده‌های ساده‌ای بودند که به‌طور مؤثری نوشته شده بودند. "ناچ" بیان می‌کند که اجرای دستورهای تابع به جای ثبت در برنامه‌های خاص منتسب به "وون نیومان" و "گولد استین" در خود برنامه جاسازی شده‌است. "ناچ" همچنین بیان می‌دارد که "اولین برنامه‌های تفسیری شاید در ماشین محاسبه تورینگ آورده شده بودند." "جان ماکلی" در سخنرانی خود که در سال ۱۹۴۶ در دانشگاه "مور" برگزار نمود
خود که در سال ۱۹۴۶ در دانشگاه "مور" برگزار نمود به برنامه‌های تفسیری اشاره کرد. تورینگ همچنین در توسعه و نوشتن و هدایت برنامه‌های تفسیری برای کامپیوتر آزمایشی ACE شرکت داشت. (ناچ) دیویس به اختصار به سیستم‌های نرم‌افزاری پشتیبان و کامپایلرها به عنوان خروجی و نتیجه مفهوم "برنامه به عنوان داده" اشاره می‌کند؛ ولیکن تاحدی شاید با این ارزیابی مشکلاتی را به وجود میاورد. در آن زمان (اواسط دهه ۱۹۴۰ تا اواسط دهه ۱۹۵۰) گروه نسبتاً کوچکی از محققان به‌طور محرمانه در ساخت "کامپیوترهای دیجیتال" جدید با یکدیگر همکاری
ساخت "کامپیوترهای دیجیتال" جدید با یکدیگر همکاری داشتند. "هائو وانگ" که در آن زمان محقق جوانی بود مشاهدات خود را بدین گونه بیان نمود: تئوری تورینگ در مورد توابع قابل محاسبه از زمان خود بسیار جلوتر بوده‌است، اما تأثیر چندانی بر ساخت واقعی کامپیوترهای دیجیتال نداشته‌است. این دو جنبه تئوری و عملی بیشتر به‌طور مستقل از یکدیگر گسترش یافته‌اند. دلیل اصلی این امر بدون شک آن است که منطق گرایان اساساً به مسائلی علاقه‌مند هستند که با نظریات مورد علاقه ریاضی دانان و مهندسین برق تفاوت دارند؛ ولیکن جای تعجب نیست که
و مهندسین برق تفاوت دارند؛ ولیکن جای تعجب نیست که اغلب، مفاهیم مشابه با اصطلاحات و روش‌های متفاوتی بیان می‌شوند. "وانگ" امیدوار بود که مقاله وی موجب پیوند بین این دو روش و دیدگاه شود. درواقع، "مینسکی" تأیید می‌کند که "اولین فرمول نظریه ماشینهای محاسبه تورینگ در مدل‌های مشابه کامپیوتر در نظریه "وانگ" ظاهر شده‌است. مینسکی ماشین محاسبه تورینگ را به نوعی معادل ماشین‌های ابتدایی ذخیره اطلاعات می‌داند. با توجه به تبدیل کامپیوترها به مدل‌های ساده معادل تورینگ (و برعکس)، انتخاب "وانگ" از طرف "مینسکی" به عنوان
(و برعکس)، انتخاب "وانگ" از طرف "مینسکی" به عنوان اولین فردی که ماشین‌های محاسبه را قاعده مند ساخت، موجب به وجود آمدن مباحثی شد. درحالیکه "شِفِردسون" و "استورگیس" به مقاله "مینسکی" در سال ۱۹۶۱ و مقاله "وانگ" در سال ۱۹۵۷ اشاره کرده بودند، خلاصه‌ای از جزئیات بعضی آثار ریاضی دانان اروپایی از جمله "کافِنست"، "اِرشوو" و "پیتر" را نیز مطرح نمودند. نام ریاضی دانانی مانند "هِرمِس" و "کافِنست" در کتاب‌شناسی "شِفِردسون" و "استورگیس" و "اِلگوت رابینسون" آورده شده‌است. دو نام مهم دیگر نیز در این میان عبارتند از محققان
دو نام مهم دیگر نیز در این میان عبارتند از محققان کانادایی "مِلزاک" و "لامبِک". نظریات وابسته به ریاضیات. با رمزگذاری و نامگذاری جداول عملکردها به عنوان رشته‌ای از داده‌ها و دستورهای، این امکان به وجود آمد تا ماشین‌های تورینگ برای فرضیاتی در مورد عملکرد سایر ماشین‌های تورینگ پاسخی بیابند؛ ولیکن بیشتر این فرضیات قابل اثبات نبودند یعنی عملگر مورد نظر از لحاظ مکانیکی قابل محاسبه نبود؛ مثلاً، این مشکل که آیا عملکرد ماشین تورینگ با ورود داده‌های خاص یا تمامی داده‌ها متوقف خواهد شد، در مقاله اولیه تورینگ غیرقابل
متوقف خواهد شد، در مقاله اولیه تورینگ غیرقابل اثبات بود و «مشکل توقف برنامه» نام گرفت. (Halting Problem به مشکلی گفته می‌شود که در آن یک برنامه کامپیوتری انتهایی ندارد و به جایی نمی‌رسد). قضیه «رایس» نشان می‌دهد که هر سؤال مهمی در مورد خروجی ماشین تورینگ غیرقابل اثبات است. ماشین محاسبه تورینگ نشان می‌دهد که هر عملگر یا زبان در یک برنامه کامپیوتری خاص که نیازمند اجرای کل آن برنامه باشد قابل محاسبه است و هر زبان عددی را می‌پذیرد. طبق نظریه «چرچ – تورینگ»، مسائلی که به وسیلهٔ ماشین محاسبه تورینگ قابل حل باشند
که به وسیلهٔ ماشین محاسبه تورینگ قابل حل باشند دقیقاً همان مسائلی هستندکه از طریق الگوریتمی یا روش مؤثر محاسباتی قابل حل هستند. به این دلیل ماشین محاسبه تورینگ معیاری است که با آن سیستم‌های محاسباتی و هر سیستمی که می‌تواند ماشین محاسبه تورینگ را شبیه‌سازی کند مقایسه می‌شوند و «تورینگ کامل» نام دارد. نسخه برگرفته از ماشین محاسبه تورینگ تابع عمومی است، یعنی تابع قابل محاسبه‌ای که می‌تواند برای محاسبه سایر توابع قابل محاسبه بکار گرفته شود. ماشین محاسبه تورینگ وجود این تابع عمومی را اثبات می‌کند. کارایی. داده
وجود این تابع عمومی را اثبات می‌کند. کارایی. داده در ماشین تورینگ می‌تواند به شکل الفبایی (صفر و یک) فرض شود، هر الفبای دیگری می‌تواند به شکل صفر و یک رمزگذاری گردد. عملکرد یک ماشین تورینگ (M) از طریق تابع متغیر آن تعریف می‌شود. این تابع نیز می‌تواند به سادگی به رشته‌ای از دستورهای صفر و یک تبدیل گردد. مقدار الفبای M، تعداد نوارهای ذخیره اطلاعات و اندازه فواصل آن‌ها می‌تواند از جدول توابع متغیر استخراج شود. حالات و نمادهای متفاوت از طریق جایگاه آن‌ها تعیین می‌شوند مثلاً دو حالت اول به‌طور قراردادی حالات
می‌شوند مثلاً دو حالت اول به‌طور قراردادی حالات شروع و پایان را نشان می‌دهند. در نتیجه، هر ماشین محاسبه تورینگ می‌تواند رشته‌ای از دستورهای الفبایی صفر و یک را رمزگذاری نماید. به علاوه، می‌توان نتیجه گرفت که هر گونه رمزگذاری نامعتبری نمایانگر یک محاسبه تورینگ نامعتبر است که متوقف می‌شود و هر ماشین تورینگ می‌تواند با رمزگذاری مداوم و ثابت با عدد قراردادی یک (۱) در انتهای یک دستور، تعداد نامحدودی رمزگذاری انجام دهد دقیقاً مانند توضیحاتی که در یک زبان برنامه‌نویسی می‌آید. تعجب‌آور نیست که با توجه به وجود عدد
می‌آید. تعجب‌آور نیست که با توجه به وجود عدد «گودل» و معادله محاسباتی میان ماشین تیورینگ و عملگرهای بازگشتی µ می‌توان به این رمزگذاری دست یافت. همچنین این توضیح و تفسیر در تمامی دستورهای باینری (صفر و یک) α و ماشین تورینگ Mα مشترک است. با نگاهی به آغاز این نوع رمزگذاری در سال ۱۹۹۶ توسط «هِنی» و «اِستِرن» می‌توان دریافت که اگر ماشین تورینگ را Mα فرض کنیم که داده X را در مراحل N متوقف می‌کند، پس ماشین محاسبه تورینگ چند نوارای به وجود می‌آید که در داده α، x (با فرض نوارهای متفاوت) در CN پردازش مراحل N را شروع
فرض نوارهای متفاوت) در CN پردازش مراحل N را شروع می‌کند، C مقدار ثابتی است که به طول دستور x بستگی ندارد، اما به اندازه، تعداد نوارهای ذخیره اطلاعات و تعداد حالات M وابسته است. این عمل در متغیر O نیز شبیه‌سازی می‌شود. (N آغاز پردازش N) کوچکترین دستگاه‌ها. هنگامیکه «آلن تورینگ» به نظریه ساخت دستگاه محاسباتی خود رسید درذهنش فقط مدل محاسباتی ساده و قوای برای محاسبه تمامی عملگرهای ممکن داشت. «کلود شانون» ابتدا به صراحت در سال ۱۹۵۶ مسئله اختراع کوچکترین ماشین محاسباتی تیورینگ را مطرح نمود. وی نشان داد تا
محاسباتی تیورینگ را مطرح نمود. وی نشان داد تا زمانی‌که دو حالت مورد استفاده قرار گیرند دو نماد کافی هستند و همیشه این امکان وجود داشت که علائم به جای حالات بکار گرفته شوند. «ماروین مینسکی» با استفاده از سیستم‌های داده‌ای دو حرفی، ماشین محاسبه تورینگی با ۷ حالت و ۴ علامت کشف نمود. از آن زمان سایر ماشین‌های محاسباتی تورینگ توسط «یوری روگوژین» و سایرین با استفاده از روش شبیه‌سازی سیستم حروف به وجود آمدند. اگر m را حالات و n را علائم در نظر بگیریم، مجموعه‌های زیر یافت می‌شوند: (۲، ۱۵)، (۳٬۹)، (۴٬۶)، (۵٬۵)،
زیر یافت می‌شوند: (۲، ۱۵)، (۳٬۹)، (۴٬۶)، (۵٬۵)، (۶٬۴)، (۳٬۹) و (۲٬۱۸). ماشین (۶٬۴) «روگوژین» فقط ۲۲ دستورالعمل دارد و هیچ معیار UTM کوچکتر در آن وجود ندارد؛ ولیکن، با تعمیم معیار مدل ماشین محاسبه تورینگ حتی ماشین‌های محاسباتی کوچکتر نیز قابل پذیرش هستند. چنین تعمیمی تکرار یک کلمه نامحدود را بر یک طرف یا دو طرف ورودی ماشین میسر می‌سازد، و موجب گسترش فراگیری آن و در نتیجه شناخت آن به عنوان «نیمه ضعیف» یا «ضعیف» می‌گردد. در ماشین محاسبه تورینگ کوچک و ضعیفی که قانون ۱۱۰ دستگاه‌های هدایت خودکار تلفن‌های همراه
قانون ۱۱۰ دستگاه‌های هدایت خودکار تلفن‌های همراه را شبیه‌سازی می‌کند از مجموعه‌های دو تایی (۶٬۲)، (۳٬۳) و (۲٬۴) استفادزه می‌شود. ماشین محاسبه تورینگ ۲ حالته ۳ علامتی «وولفریم» با استفاده از قراردادن حروف ابتدایی، ضعف این فراگیری را بیشتر نشان می‌دهد. سایر متغیرها در الگوی استاندارد ماشین محاسبه تورینگ از UTMهای کوچک استفاده می‌کردند ازجمله ماشین‌هایی با نوارهای متعدد ذخیره اطلاعات یا نوارهای چند بعدی و ماشین‌هایی با دستگاه‌های هدایت خودکار محدود. نمونه‌ای از جامعیت ماشین رمزگذاری. نمونه زیر برگرفته از
از جامعیت ماشین رمزگذاری. نمونه زیر برگرفته از نظریه تورینگ می‌باشد. برای کسب اطلاعات بیشتر در این زمینه به صفحه مثال‌های ماشین تورینگ مراجعه شود. تورینگ برای رمزگذاری هریک از ۵ حروف از ۷ نماد (A, C, D, R, L, N, ;) استفاده نمود، همان‌طور که در مقاله ماشین محاسبه تورینگ توضیح داده شد، ۷ حروف وی فقط از نوع N1, N2, N3 هستند. تعداد هر ترتیب m (دستورالعمل، حالت) با حرف 'D' نشان داده می‌شود که رشته‌ای از یگان A به دنبال دارد مثلاً Q3=DAAA. وی در روشی مشابه نماد blank (خالی) را با حرف 'D'، نماد "." را با حرف
blank (خالی) را با حرف 'D'، نماد "." را با حرف 'DC'، نماد "۱" را با حروف DCC رمزگذاری می‌کند. نماد 'R', 'L', 'N' به همان شکل باقی می‌مانند. پس از رمزگذاری هر ۵ حروف آن‌ها را در یک زنجیره به شکل جدول زیر نشان می‌دهد: در نهایت، رمزها برای ۵ مجموعه در رشته‌ای با یکدیگر جمع شده‌اند که با ';' شروع می‌شود و با ';' از هم جدا می‌شوند مثل: او این رمز را در مربع‌های یک در میان قرار داده‌است یعنی "مربعهای F" و خالی گذارن مربع‌های E. جمع‌بندی نهایی کدها بر روی نوار ماشین محاسبه شامل قرار دادن دو نماد خاص ('e') یکی پس
محاسبه شامل قرار دادن دو نماد خاص ('e') یکی پس از دیگری، و سپس رمزی که مربع‌ها را از یکدیگر جدا کرده‌است و بالاخره نماد '::' (فضای خالی که با "." نمایش داده شده برای درک بهتر) ee. ; D.A.D.D.C.R.D.A.A. ;.D.A.A.D.D.A.A.A. ;.D.A.A.A.D.D.C.C.R.D.A.A.A.A. ;.D.A.A.A.A.D.D.R.D.A. :: جدول عملگرهای ماشین محاسبه (جدول تغییر حالت) مسئول رمزگشایی نمادها است. جدول عملکرد تورینگ با قرار دادن حروف نشانه 'u', 'v', 'x', 'y'، 'z' در "مربعهای E" در سمت راست نماد مشخص شده، کاملاً از جایگاه خود آگاهی می‌یابد؛ مثلاً برای نشان
از جایگاه خود آگاهی می‌یابد؛ مثلاً برای نشان دادن دستور جاری، z در سمت راست علامت ';' قرار می‌گیرد و x ترتیب کنونی m با DAA را حفظ می‌کند. جدول عملگرهای ماشین محاسبه در طی اجرای فرایند محاسبه بین این نمادها حرکت می‌کند (آن‌ها را حذف می‌کند و در محل‌های دیگری قرار می‌دهد) ee. ; D.A.D.D.C.R.D.A.A. ;zD.A.AxD.D.R.D.A.A.A. ;.D.A.A.A.D.D.C.C.R.D.A.A.A.A. ;.D.A.A.A.A.D.D.R.D.A. :: جدول عملگرهای تورینگ در ماشین محاسباتی وی بسیار کاربرد دارد. تعداد دیگری از مفسران (بخصوص پِنسور در سال ۱۹۸۹) نمونه‌های دیگری از
(بخصوص پِنسور در سال ۱۹۸۹) نمونه‌های دیگری از روش‌های رمزگذاری دستورهای را در ماشین محاسباتی تورینگ ارائه دادند. بیشتر مفسران نیز مانند پِنسور فقط از نمادهای باینری (صفر و یک) یا (جای خالی و علامت ا) استفاده می‌کنند. پِنسور فراتر می‌رود و سیستم رمزگذاری مخصوص به خود را می‌نویسد. وی ادعا می‌کند که این علائم سیستم رمزگذاری واقعی و درست هستند، عدد بزرگی که به اندازه ۲ صفحه ۱ و ۰ (صفر و یک) است.
نوو نوردیسک شرکت داروسازی دانمارکی چندملیتی است، که در سال ۱۹۲۳ با نام نوردیسک تأسیس شد و در ۱۹۸۹ با شرکت نوو اینداستری ادغام شد. دفتر مرکزی شرکت نوو نوردیسک در دانمارک قرار دارد و کارخانجات تولیدی آن، در ۷ کشور مستقر است. دفاتر اداری آن نیز در ۷۹ کشور در حال فعالیت می‌باشند و با در اختیار داشتن بیش از ۲۹٫۰۰۰ کارمند، محصولات خود را، در ۱۷۹ کشور جهان، عرضه می‌نماید. این شرکت بزرگترین شرکت سهامی مستقر در کشورهای حوزه نوردیک و پانزدهمین شرکت داروسازی جهان به‌شمار می‌آید.
محمود شهابی خراسانی فیلسوف، فقیه، حقوقدان و استاد ممتاز در دانشگاه تهران بود. او در سالِ ۱۳۲۰ عضو هیئت علمی دانشکده حقوق دانشگاه تهران شد و تدریس اصول و قواعد فقه را آغاز کرد و در سال ۱۳۴۲رئیس گروه فقه و حقوق شد. زندگی و تحصیلات. شهابی، که به شهابی خراسانی هم معروف است، در روز یکشنبه ۳ مرداد ۱۲۸۲، در تربت حیدریه زاده شد. پدرش، عبدالسلام، ملقب به شهاب الدین، از دانشمندان روزگار خود و صاحب آثار زیادی بود. او دو کتاب به نام‌های راز عشاق و گنج نهفته نوشته‌است. شهابی تحصیلات مقدماتی را در تربت حیدریه گذراند و در
تحصیلات مقدماتی را در تربت حیدریه گذراند و در مدت شش ماه الفبا و تلفظ کلمات یک دوره کامل قرآن را آموخت. پس از فرا گرفتن مقدمات فارسی و عربی در سال ۱۳۳۲ قمری در سن یازده سالگی برای ادامهٔ تحصیل به مشهد و سپس اصفهان رفت. او مقدمات علوم دینی را زیر نظر ادیب نیشابوری، و علوم ادبی و فقهی دیگر را از محمدکاظم خراسانی و میرزا حسن موسوی بجنوردی آموخت و در سن ۲۵ سالگی به درجه اجتهاد رسید. تدریس در دانشگاه تهران. محمود شهابی در سال ۱۳۱۰ راهی تهران شد و در این شهر ماندگار شد. او در این شهر به تدریس علوم معقول و منقول
شد. او در این شهر به تدریس علوم معقول و منقول در مدرسه عالی سپهسالار اشتغال داشت. از هم‌دوره‌های او می‌توان به رضا حکمت، بدیع‌الزمان فروزانفر، محمدحسن شریعت سنگلجی، سید محمد سعادت مصطفوی، سید محمد مشکات و محمدتقی بهار ملقب به ملک‌الشعرابهار بودند که در آن زمان، پانزده نفر از این افراد، عضو شورای عالی فرهنگ بودند. شهابی نیز از زمره این افراد بود. بعد از افتتاح دانشگاه تهران در سال ۱۳۱۲ او دو رساله خود را به دانشگاه ارائه کرد و در سال ۱۳۱۳ به استادی این دانشگاه درآمد و برای تدریس در زمینه حقوق و علوم سیاسی
درآمد و برای تدریس در زمینه حقوق و علوم سیاسی به دانشکده حقوق دعوت شد و به تدریس فقه و حقوق پرداخت. رتبه محمود شهابی در دانشگاه تهران استاد ممتاز بود و نزدیک به نیم قرن به تدریس اشتغال داشت. در دوره دکترای الهیات، شهابی مدرس کتاب شفای ابن سینا بود. او در دانشگاه نظامی هم تدریس حقوق می‌کرد. برادر او علی اکبر شهابی نیز از مدرسین ادبیات و استادان دانشگاه بود. ‏ بارها از طرف حکومت وقت کارهایی از قبیل وزارت آموزش و پرورش به او پیشنهاد شد. یکی از پیشنهادها در زمان دولت ملی محمد مصدق بود. شهابی این کارها را
زمان دولت ملی محمد مصدق بود. شهابی این کارها را نپذیرفت و پاسخ داد: «کاری که از من ساخته‌است، درس دادن و کتاب نوشتن است». همین‌طور شاید دو سه بار از طریق حکومت دعوت به ‏ سناتوری شد ‏ که آن را هم نپذیرفت. در اواخر حکومت پهلوی، نامه‌های متعددی از طرف وزارت دربار ارسال شده بود که می‌خواستند که شهابی عضویت «انجمن شاهنشاهی حکمت و فلسفهٔ ایران» را بپذیرد. مخصوصاً شهبانو فرح پهلوی چون از سجایای اخلاقی او شنیده بود، با وساطت سیدحسین نصر و علی‌اکبر شهابی، اصرار داشت و عاقبت او عضویت افتخاری آن انجمن را پذیرفت.
داشت و عاقبت او عضویت افتخاری آن انجمن را پذیرفت. شهابی چندین دوره در شورای دانشگاه تهران نمایندگی و در شورای عالی فرهنگ عضویت داشت. ‏ مدتی هم بنا به خواهش محمد علی هدایتی (وزیر دادگستری وقت) که از دوستان او بود، قاضی تجدید نظر محاکم شرعی بود که پس از مدتی به واسطه گرفتاری‌های زیاد علمی از آن استعفا کرد. جایگاه علمی. شهابی در علوم متنوع دارای اطلاعات وسیع بود. سید حسن امین نقل می‌کند که بدیع الزمان فروزانفر هر گاه مشکل علمی داشت آن را از محمود شهابی می‌پرسید. ‏ محمد حسین ساکت، نویسنده، مترجم و پژوهشگر، در
‏ محمد حسین ساکت، نویسنده، مترجم و پژوهشگر، در باب منطق‌نگاری به زبان فارسی می‌گوید: «پس از زبان تازی بیشترین و گرانقدرترین نگاشته‌های علمی ادبی، به زبان فارسی بود و زبان توانمند پارسی به یاری نگارش و گسترش دانشها شتافت و تار و پود دانشهای منطق، ستاره‌شناسی و غیره را به دست استادان بافت.» وی می‌گوید: «استاد شهابی خراسانی از پیشگامان منطق نگاری سره در عصر ما بود. نابودی پارس به دست اسکندر مقدونی سبب پراکنده شدن متون زرتشتی در سراسر جهان شد و یونانیان و مصریان دانش خود را از این متون گرفتند. ایرانیان گذشته
دانش خود را از این متون گرفتند. ایرانیان گذشته از نگاشته‌های پزشکی در منطق و فلسفه هم آثاری را نوشته بودند و استاد شهابی از تأثیر اندیشه‌ورزی ایرانیان و یونانیان سخن گفته‌است.» با بنیاد یافتن دانشگاه جندی شاپور به دست خسرو انوشیروان دانش‌های فلسفی به زبان پهلوی ترجمه شد. در آغاز جنبش ترجمه، آثاری در رشته‌های منطق و پزشکی به زبان تازی درآمد. اهمیت منطق دربارهٔ سرشت منطق و پیوندش با فلسفه بود. نخستین کسی که در دانش منطق تغییراتی پدیدآورد و به آن اهمیت کلان داد ابن سینا بود. محمد حسین ساکت می‌گوید: «منطق قدرت
ابن سینا بود. محمد حسین ساکت می‌گوید: «منطق قدرت میزان استدلال درست از نادرست به کار می‌رود از این رو باید آن را هنر هنرها نامید منطق در پارسی پیشینه‌ای کهن دارد و ابن سینا در دانشنامهٔ علایی شاهکاری در این زمینه ایجادکرده و واژه‌های پارسی برای منطق آفرید.» شهابی نخستین کسی است که به نگارش به زبان فارسی دست زده‌است، "خرد سنج" مجموعه‌ای است که او در این زمینه پدیدآورد، ولی این مجموعه هیچگاه چاپ نشد (دست نوشته‌های منطقی "خرد سنج" در اختیار کتابخانه ملی قراردارد). او واژه‌های منطقی به زبان پارسی را از
قراردارد). او واژه‌های منطقی به زبان پارسی را از دانشنامه علایی گرفت و پاره‌ای از آنها را خود آفرید و سپس کتاب "رهبر خرد" را تعریف کرد. مهدی محقق، استاد فلسفه می‌گوید: «من در سال ۱۳۲۵ زمانی که تحصیل می‌کردم و شرح منظومه منطق را می‌خواندم. در صدد برآمدم که کتابی بیابم که منطق را به فارسی توضیح داده باشد. سرانجام، رسیدم به کتاب "رهبر خرد" این کتاب، خیلی از مشکلات منطقی که من داشتم را برطرف کرد. سالها بعد من با مرحوم شهابی بیشتر آشنا شدم. وی در سال ۱۳۴۶ یک جلد "رهبر خرد" را خوشنویسی کرد و به من داد. در همان
"رهبر خرد" را خوشنویسی کرد و به من داد. در همان وقت به همکار ژاپنی من، پروفسور توشی‌هیکو ایزوتسو، یک جلد از این کتاب را داد.» پروفسور توشی‌هیکو ایزوتسو گفت: «این بهترین کتابی است که من در منطق دیدم. او سپس تقریراتی به زبان ژاپنی بر این کتاب نوشت در دوره دکترای الهیات، مرحوم شهابی استاد شفای ابن سینا بودند و من کتاب شفا را نزد ایشان خواندم.» عبدالله انوار دربارهٔ شهابی می‌گوید: «استاد به قدری مسئله قضاوت در اسلام را دقیق بحث می‌کردند، که من فهمیدم این کار باید واجب کفایی باشد. در فرهنگ اسلامی نظر به دو چیز
واجب کفایی باشد. در فرهنگ اسلامی نظر به دو چیز است علوم عقلی و علوم نقلی. استاد شهابی در هر دو فقیه بودند. فقهی که ایشان به ما درس می‌داد آنقدر دقیق بود که از مراجع هم کاملتر بحث می‌کرد. چیزی که در وی خیلی معروف شده مسئله منطق و کتاب رهبر خرد است که یکی از دو کتابی است که در فارسی دربارهٔ منطق نوشته شده‌است.» شهابی در فقه کتابی به نام "ادوار فقه" (در ۳ جلد) دارد، او معتقد است که فقه امری است که باید دائماً تحول پیدا کند چون بر اعمال انسانی نظارت می‌کند. اعمال انسانی دائماً در حال تغییر هستند و فقیه هم باید
انسانی دائماً در حال تغییر هستند و فقیه هم باید دائماً از لحاظ آشنایی با قواعدی که می‌خواهد اثبات کند با مردم در تماس باشد. چند چیز بر فقیه واجب است یکی زمانشناسی فقیه که باید به زمان روز جامعه باشد، چنانچه خیلی از اتفاقاتی که زمانی وجود داشت، امروز وجود ندارد. امروز ما در باب بردگی حکم فقهی نداریم. امروز روابطی که انسانها باهم دارند روابط انسان قرن پانزدهم نیست و تفاوت زیادی با آن نوع رابطه دارد. فقه را اگر با منطقش قبول نکنیم تبدیل به علمی می‌شود که مردم را زده می‌کند. ‏ خانم فرشید افشار پژوهشگر و
مردم را زده می‌کند. ‏ خانم فرشید افشار پژوهشگر و حقوقدان می‌نویسد: «تبحر و تسلط استاد بر اصول و قواعد فقه و وسعت معلومات آن جناب در رشته‌های متعدد علوم ادبی و منطق و فلسفه و کلام و دیگر علوم اسلامی بر هیچ‌کس پوشیده نیست. مطالب و مباحث دقیق و مشکل اصول و قواعد فقه را با بیانی دلپذیر ایراد می‌فرمایند و محضر ایشان برای دانشجویان بسی مغتنم است. دانشجویان با رغبتی خاص در کلاس ایشان حاضر می‌شوند و خطاب استاد به شیفتگان تدریسشان «علماء اعلام» است که با لحن شیوایی ادا می‌شود. دانشجویان ایشان را به بزرگ اندیشی و