stanford-oval/wikipedia huggingface dataset:
ماشین تورینگ
توصیف

ماشین تورینگ به طور ریاضی یک ماشینی را مدل‌سازی می‌کند که به طور مکانیکی روی یک نوار عمل می‌کند. بر روی این نوار نمادهایی وجود دارد که ماشین می‌تواند آنها را خوانده و یکی یکی بنویسد، با استفاده از یک سر نوار. عملیات به طور کامل توسط یک مجموعه محدود از دستورات ابتدایی تعیین می‌شود، مانند "در حالت 42، اگر نمادی که دیده می‌شود 0 است، 1 بنویس؛ اگر نمادی که دیده می‌شود 1 است، به حالت 17 تغییر کن؛ در حالت 17، اگر نمادی که دیده می‌شود 0 است، 1 بنویس و به حالت 6 تغییر کن؛" و غیره. در مقاله اصلی ("در مورد اعداد قابل محاسبه، با کاربردی در مسئله تصمیم‌گیری"، همچنین به ارجاعات زیر مراجعه کنید)، تورینگ نه یک مکانیزم، بلکه شخصی به نام "کامپیوتر" را تصور می‌کند که این قوانین مکانیکی قطعی را به طور غلامانه اجرا می‌کند (یا به گفته تورینگ، "به شکلی بی‌هدف").
بیشتر به طور صریح، یک ماشین تورینگ شامل موارد زیر است:
یک نوار که به سلول‌هایی تقسیم شده است، که یکی پس از دیگری قرار دارند. هر سلول شامل نمادی از یک الفبای محدود است. الفبا شامل یک نماد ویژه فضای خالی (که در اینجا به صورت '0' نوشته شده است) و یک یا چند نماد دیگر است. فرض می‌شود که نوار به طور دلخواه به سمت چپ و راست قابل گسترش است، به طوری که ماشین تورینگ همیشه به اندازه کافی نوار برای محاسبات خود دارد. سلول‌هایی که قبلاً نوشته نشده‌اند، فرض می‌شود که با نماد فضای خالی پر شده‌اند. در برخی مدل‌ها، نوار یک انتهای چپ دارد که با یک نماد ویژه علامت‌گذاری شده است؛ نوار به سمت راست گسترش می‌یابد یا به طور نامحدود قابل گسترش است.
یک سر که می‌تواند نمادها را روی نوار بخواند و بنویسد و نوار را یک سلول به چپ و راست (و فقط یک سلول) حرکت دهد. در برخی مدل‌ها، سر حرکت می‌کند و نوار ثابت است.
یک ثبت وضعیت که وضعیت ماشین تورینگ را ذخیره می‌کند، که یکی از تعداد محدودی است. در بین این وضعیت‌ها، وضعیت ویژه وضعیت شروع است که با آن ثبت وضعیت مقداردهی اولیه می‌شود. این وضعیت‌ها، به گفته تورینگ، جایگزین "وضعیت ذهنی" هستند که یک فرد در حین انجام محاسبات معمولاً در آن قرار دارد.
یک جدول محدود از دستورات که، با توجه به وضعیت(qi) که ماشین در آن قرار دارد و نماد(aj) که در حال خواندن از نوار است (نمادی که در حال حاضر زیر سر قرار دارد)، به ماشین می‌گوید که در ترتیب زیر عمل کند (برای مدل‌های 5-تایی):
یا نمادی را پاک کند یا نمادی بنویسد (جایگزینی aj با aj1).
سر را حرکت دهد (که توسط dk توصیف می‌شود و می‌تواند مقادیر 'L' برای یک گام به چپ یا 'R' برای یک گام به راست یا 'N' برای ایستادن در همان مکان داشته باشد).
همان وضعیت یا یک وضعیت جدید که تجویز شده است را بپذیرد (به وضعیت qi1 برود).
در مدل‌های 4-تایی، پاک کردن یا نوشتن یک نماد (aj1) و حرکت دادن سر به چپ یا راست (dk) به عنوان دستورات جداگانه مشخص شده‌اند. جدول به ماشین می‌گوید که (ia) یک نماد را پاک کند یا بنویسد یا (ib) سر را به چپ یا راست حرکت دهد، و سپس (ii) همان وضعیت یا وضعیت جدید تجویز شده را بپذیرد، اما نه هر دو عمل (ia) و (ib) را در یک دستور. در برخی مدل‌ها، اگر ورودی برای ترکیب فعلی نماد و وضعیت در جدول وجود نداشته باشد، آنگاه ماشین متوقف می‌شود؛ مدل‌های دیگر نیاز دارند که تمام ورودی‌ها پر شوند.
هر بخش از ماشین (یعنی وضعیت آن، مجموعه نمادها و نوار استفاده‌شده در هر لحظه) و اعمال آن (مانند چاپ، پاک‌کردن و حرکت نوار) محدود، گسسته و قابل تمایز است؛ این نوار نامحدود و زمان اجرا است که به آن فضای ذخیره‌سازی نامحدود می‌دهد.
تعریف منطقی (انتزاع ذهنی مفاهیم کلی)

ماشین تورینگ عبارت است از یک پنج-تاپل (پنج‌تایی) به‌صورت  M=(Q,\Sigma ,\Gamma ,\delta ,q_{0})\!، که در اینجا:
M\! برای نمایش مفهوم ماشین انتخاب شده‌است.
Q\! مجموعه‌ای است متناهی، از حالات داخلی.
\Gamma \! مجموعه‌ای متناهی موسوم به الفبای نوار و حاوی نمادی مخصوص  B\! برای نمایش یک فاصلهٔ خالی روی نوار ماشین است.
\Sigma \! زیرمجموعه‌ای است از  \Gamma -\{B\}\! و موسوم به الفبای ورودی. یعنی الفبای ورودی زیر مجموعه‌ای از الفبای نوار است که شامل خالی نیست. نوارهای خالی نمی‌توانند به عنوان ورودی استفاده شوند.
\delta \! عبارت است از یک تابع جزئی، موسوم به تابع انتقال از دامنهٔ  Q\times \Gamma \! به برد  Q\times \Gamma \times \{L,R\}\!.
q_{0}\! حالت شروع نام دارد، یعنی، حالتی از ماشین است که محاسبه را در آن آغاز می‌کنیم.
به‌طور کلی  \delta \! یک تابع جزئی روی  Q\!\times \Gamma \! است و تفسیرش عملکرد ماشین تورینگ را بیان می‌کند.
مقایسه با ماشین‌های واقعی

اغلب گفته می‌شود که ماشین تورینگ، برخلاف ماشین‌های اتومات، به اندازه ماشین‌های واقعی قدرتمند هستند و قادر به انجام هر عملیاتی که ماشین واقعی می‌تواند بکند هستند. چیزی که در این مطلب جا ماند این است که یک ماشین واقعی تنها می‌تواند در بسیاری از تنظیمات متناهی باشد؛ در واقع ماشین واقعی چیزی نیست جز یک ماشین اتوماتیک محدود خطی. از طرف دیگر ماشین تورینگ با ماشین‌هایی که دارای ظرفیت حافظه‌های نامحدود محاسباتی هستند، معادل است. از نظر تاریخی رایانه‌هایی که محاسبات را در حافظه داخلی شان انجام می‌دادند، بعدها توسعه داده شده‌اند.
چرا ماشین‌های تورینگ مدل‌های مناسبی برای رایانه‌های واقعی هستند؟

۱. هرچیزی که ماشین واقعی می‌تواند محاسبه کند، ماشین تورینگ هم می‌تواند. برای مثال ماشین تورینگ، می‌تواند هرچیز طبق روالی که در زبان‌های برنامه‌نویسی پیدا می‌شود شبیه‌سازی کند. همچنین می‌تواند فرایندهای بازگشتی و هریک از پارامترهای مکانیسم شناخته شده را شبیه‌سازی کند.
۲. تفاوت، تنها در قابلیت ماشین تورینگ برای دخالت در مقدار محدودی اطلاعات نهفته است؛ بنابراین، ماشین تورینگ می‌تواند در مدت زمان محدودی، در اطلاعات دخالت داشته باشد هر چند که ماشین تورینگ فاقد حافظه به عنوان انچه امروز شناخته می شود بود.
۳. ماشین واقعی همانند ماشین‌های تورینگ می‌توانند حافظه مورد نیازش را به کمک دیسک‌های بیشتر، بزرگ کند. اما حقیقت این است که هم ماشین تورینگ و هم ماشین واقعی، برای محاسبات نیازی به فضا در حافظه‌شان ندارند.
۴. شرح برنامه‌های ماشین واقعی که از مدل ساده‌تر انتزاعی استفاده می‌کنند، پیچیده‌تر از شرح برنامه‌های ماشین تورینگ است.
۵. ماشین تورینگ الگوریتم‌های مستقل را که چقدر از حافظه استفاده می‌کنند، توصیف می‌کند. در دارایی حافظه همهٔ ماشین‌ها، محدودیتی وجود دارد؛ ولی این محدودیت می‌تواند خود سرانه در طول زمان افزایش یابد.
ماشین تورینگ به ما اجازه می‌دهد دربارهٔ الگوریتم‌هایی که برای همیشه نگه داشته می‌شوند، توصیفاتی ارائه دهیم؛ بدون در نظر گرفتن پیش رفت در معماری محاسبات با ماشین معمولی.
۶. ماشین تورینگ جملات الگوریتم را ساده می‌کند. الگوریتم‌های در حال اجرا در ماشین آلات انتزاعی معادل تورینگ، معمولاً نسبت به همتایان خود که در ماشین‌های واقعی در حال اجرا هستند عمومی ترند. زیرا آن‌ها دارای دقت دلخواه در انواع اطلاعات قابل دسترس هستند و هیچ‌وقت با شرایط غیرمنتظره روبرو نمی‌شوند. یکی از نقطه ضعف‌های ماشین تورینگ این است که برنامه‌های واقعی که نوشته می‌شوند ورودی‌های نامحدودی را در طول زمان دریافت می‌کنند؛ در نتیجه هرگز متوقف نمی‌شوند.
مقایسه با ماشین‌های واقعی

ماشین‌های تورینگ از برخی دیگر از انواع اتوماتا، مانند ماشین حالت محدود و اتوماتای پشته‌ای، قدرتمندتر هستند. بر اساس اصل کلی چرچ–تورینگ، ماشین‌های تورینگ به اندازه‌ی ماشین‌های واقعی قدرتمند هستند و قادر به انجام هر عملیاتی هستند که یک برنامه‌ی واقعی می‌تواند انجام دهد. نکته‌ای که در این بیان نادیده گرفته می‌شود این است که، چون یک ماشین واقعی تنها می‌تواند تعداد محدودی پیکربندی داشته باشد، در واقع چیزی جز یک ماشین حالت محدود نیست، در حالی که یک ماشین تورینگ فضای ذخیره‌سازی نامحدودی برای محاسبات خود دارد.
روش‌های مختلفی برای توضیح اینکه چرا ماشین‌های تورینگ مدل‌های مفیدی از کامپیوترهای واقعی هستند وجود دارد:
هر چیزی که یک کامپیوتر واقعی می‌تواند محاسبه کند، یک ماشین تورینگ نیز می‌تواند محاسبه کند. به عنوان مثال: "یک ماشین تورینگ می‌تواند هر نوع زیرروال موجود در زبان‌های برنامه‌نویسی را شبیه‌سازی کند، از جمله روش‌های بازگشتی و هر یک از مکانیزم‌های شناخته‌شده انتقال پارامتر" (هوپکروفت و اولمن صفحه 157). یک ماشین حالت محدود بزرگ نیز می‌تواند هر کامپیوتر واقعی را مدل‌سازی کند، بدون در نظر گرفتن ورودی/خروجی. بنابراین، یک بیانیه درباره‌ی محدودیت‌های ماشین‌های تورینگ، برای کامپیوترهای واقعی نیز صادق است.
تفاوت فقط در توانایی ماشین تورینگ برای دستکاری مقدار نامحدودی از داده‌ها است. با این حال، با توجه به زمان محدود، یک ماشین تورینگ (مانند یک ماشین واقعی) تنها می‌تواند مقدار محدودی از داده‌ها را دستکاری کند.
مانند یک ماشین تورینگ، یک ماشین واقعی می‌تواند فضای ذخیره‌سازی خود را با نیاز به خرید دیسک‌ها یا رسانه‌های ذخیره‌سازی دیگر گسترش دهد.
توصیف برنامه‌های ماشین‌های واقعی با استفاده از مدل‌های انتزاعی ساده‌تر اغلب پیچیده‌تر از توصیف‌ها با استفاده از ماشین‌های تورینگ است. به عنوان مثال، یک ماشین تورینگ که یک الگوریتم را توصیف می‌کند می‌تواند چند صد وضعیت داشته باشد، در حالی که معادل آن در یک ماشین واقعی، یک اتوماتای قطعی حالت محدود (DFA) ممکن است میلیاردها وضعیت داشته باشد. این امر مدل‌سازی DFA را غیرممکن می‌کند.
ماشین‌های تورینگ الگوریتم‌ها را به‌طور مستقل از مقدار حافظه‌ای که استفاده می‌کنند توصیف می‌کنند. برای هر ماشینی حدی برای حافظه وجود دارد، اما این حد می‌تواند به طور دلخواه در طول زمان افزایش یابد. ماشین‌های تورینگ به ما این امکان را می‌دهند که بیانیه‌هایی درباره‌ی الگوریتم‌ها بدهیم که (از نظر نظری) برای همیشه صادق خواهند بود، صرف‌نظر از پیشرفت‌های معماری ماشین‌های محاسباتی متداول.
الگوریتم‌هایی که روی ماشین‌های انتزاعی معادل تورینگ اجرا می‌شوند، می‌توانند انواع داده‌ای با دقت دلخواه داشته باشند و نیازی به مواجهه با شرایط غیرمنتظره (از جمله، اما نه محدود به، تمام شدن حافظه) نخواهند داشت.
مقایسه با ماشین‌های واقعی > محدودیت‌ها > نظریه پیچیدگی محاسباتی

اطلاعات بیشتر: نظریه پیچیدگی محاسباتی
یک محدودیت ماشین‌های تورینگ این است که آن‌ها نقاط قوت یک ترتیب خاص را به‌خوبی مدل‌سازی نمی‌کنند. به‌عنوان مثال، کامپیوترهای مدرن برنامه ذخیره‌شده در واقع نمونه‌هایی از یک فرم خاص از ماشین انتزاعی به نام مدل ماشین برنامه ذخیره‌شده با دسترسی تصادفی (RASP) هستند. مانند ماشین تورینگ جهانی، RASP برنامه خود را در "حافظه" خارجی نسبت به "دستورات" ماشین حالت محدود خود ذخیره می‌کند. برخلاف ماشین تورینگ جهانی، RASP تعداد نامحدودی از "ثبات‌های" متمایز، شماره‌گذاری‌شده و اما بدون حد "ثبت" دارد — سلول‌های حافظه‌ای که می‌توانند هر عدد صحیحی را در خود نگهدارند (مراجعه کنید به Elgot و Robinson (1964)، Hartmanis (1971)، و به‌ویژه Cook-Rechow (1973); منابع در ماشین دسترسی تصادفی). ماشین حالت محدود RASP قابلیت آدرس‌دهی غیرمستقیم دارد (مثلاً محتویات یک ثبات می‌تواند به‌عنوان آدرس برای مشخص کردن یک ثبات دیگر استفاده شود)؛ بنابراین "برنامه" RASP می‌تواند به هر ثبات در دنباله ثبات‌ها دسترسی پیدا کند. نتیجه این تفاوت این است که بهینه‌سازی‌های محاسباتی‌ای وجود دارند که می‌توانند بر اساس شاخص‌های حافظه انجام شوند، که در ماشین تورینگ عمومی ممکن نیستند؛ بنابراین وقتی ماشین‌های تورینگ به‌عنوان مبنای تعیین محدودیت زمان اجرا استفاده می‌شوند، می‌توان یک "حد پایین کاذب" را برای زمان‌های اجرای الگوریتم‌های خاص ثابت کرد (به دلیل فرض ساده‌سازی غلط در مورد ماشین تورینگ). یکی از مثال‌های این موضوع جستجوی دودویی است، الگوریتمی که می‌تواند نشان داده شود که سریع‌تر اجرا می‌شود هنگامی که از مدل محاسباتی RASP استفاده می‌شود تا مدل ماشین تورینگ.
مقایسه با ماشین‌های واقعی > محدودیت‌ها > تعامل

در روزهای اولیه محاسبات، استفاده از کامپیوتر معمولاً به پردازش دسته‌ای محدود بود، یعنی کارهای غیرتعاملی که هر کدام داده‌های خروجی را از داده‌های ورودی معین تولید می‌کردند. نظریه محاسبات‌پذیری، که محاسبات‌پذیری توابع از ورودی‌ها به خروجی‌ها را مطالعه می‌کند و برای آن ماشین‌های تورینگ اختراع شدند، بازتابی از این عمل بود.
از دهه 1970، استفاده تعاملی از کامپیوترها به‌طور قابل توجهی رایج‌تر شد. به‌طور اصولی، این را می‌توان با داشتن یک عامل خارجی که به‌طور همزمان از نوار می‌خواند و به آن می‌نویسد، مدل‌سازی کرد، اما این معمولاً مطابق با نحوه تعامل واقعی نیست؛ بنابراین، هنگام توصیف تعامل، گزینه‌های دیگری مانند اتوماتای ورودی/خروجی معمولاً ترجیح داده می‌شوند.
تاریخچه > زمینه تاریخی: ماشین‌های محاسباتی

رابین گاندی (۱۹۱۹–۱۹۹۵)—دانشجوی آلن تورینگ (۱۹۱۲–۱۹۵۴) و دوست مادام‌العمر او—نسب مفهوم "ماشین محاسباتی" را به چارلز ببیج (حدود ۱۸۳۴) برمی‌گرداند و حتی "تز ببیج" را پیشنهاد می‌دهد:
اینکه تمام توسعه و عملیات تحلیل اکنون توسط ماشین‌آلات قابل اجرا است.
تحلیل گاندی از ماشین تحلیلی ببیج پنج عملیات زیر را توصیف می‌کند (نگاه کنید به ص. ۵۲–۵۳):
توابع حسابی +، −، ×، که در آن − نشان‌دهنده تفریق "صحیح" است: x − y = ۰ اگر y ≥ x.
هر دنباله‌ای از عملیات یک عملیات است.
تکرار یک عملیات (n بار تکرار یک عملیات P).
تکرار شرطی (n بار تکرار یک عملیات P مشروط به "موفقیت" آزمون T).
انتقال شرطی (یعنی "goto" شرطی).
گاندی بیان می‌کند که "توابعی که می‌توانند توسط (۱)، (۲)، و (۴) محاسبه شوند دقیقاً آن‌هایی هستند که قابل محاسبه با تورینگ هستند." (ص. ۵۳). او به پیشنهادهای دیگر برای "ماشین‌های محاسباتی جهانی" از جمله پرسی لودگیت (۱۹۰۹)، لئوناردو تورس کوئودو (۱۹۱۴)، موریس داکن (۱۹۲۲)، لویی کوفینیال (۱۹۳۳)، ونوار بوش (۱۹۳۶)، هوارد آیکن (۱۹۳۷) اشاره می‌کند. اما:
… تأکید بر برنامه‌ریزی یک دنباله تکراری ثابت از عملیات حسابی است. اهمیت اساسی تکرار شرطی و انتقال شرطی برای یک نظریه عمومی از ماشین‌های محاسباتی شناخته نشده‌است…
تاریخچه > مسئله تصمیم‌گیری: سؤال دهم هیلبرت در سال ۱۹۰۰

با توجه به مسائل هیلبرت که توسط ریاضیدان مشهور دیوید هیلبرت در سال ۱۹۰۰ مطرح شد، جنبه‌ای از مسئله شماره ۱۰ تقریباً ۳۰ سال شناور بود تا زمانی که به‌طور دقیق مطرح شد. بیان اصلی هیلبرت برای شماره ۱۰ به شرح زیر است:
۱۰. تعیین قابلیت حل یک معادله دیوفانتین. با توجه به یک معادله دیوفانتین با هر تعداد متغیر ناشناخته و ضرایب صحیح گویا: فرآیندی طراحی شود که از طریق آن بتوان در تعداد محدودی از عملیات تعیین کرد که آیا معادله در اعداد صحیح گویا قابل حل است یا خیر.

مسئله تصمیم‌گیری [مسئله تصمیم‌گیری برای منطق مرتبه اول] زمانی حل می‌شود که روشی وجود داشته باشد که به ازای هر عبارت منطقی معین بتوان با تعداد محدودی عملیات اعتبار یا قابلیت ارضای آن را تعیین کرد ... مسئله تصمیم‌گیری باید به عنوان مسئله اصلی منطق ریاضی در نظر گرفته شود.
تا سال ۱۹۲۲، این مفهوم "مسئله تصمیم‌گیری" کمی توسعه یافت، و هاینریش بهمان اظهار داشت که:
... رایج‌ترین شکل مسئله تصمیم‌گیری به شرح زیر است:
بهامان اظهار داشت که... مسئله عمومی معادل مسئله تعیین این است که کدام گزاره‌های ریاضی درست هستند.
اگر کسی قادر به حل مسئله تصمیم‌گیری بود، آنگاه روشی برای حل بسیاری (یا حتی همه) مسائل ریاضی خواهد داشت.
سر همیشه بر روی یک مربع خاص از نوار قرار دارد؛ تنها یک بخش محدود از مربع‌ها نشان داده شده است. وضعیت ماشین (q4) بر روی مربع پردازش شده نمایش داده شده است. (ترسیم پس از کلین (1952) صفحه 375.)
در اینجا وضعیت داخلی (q1) درون سر نمایش داده شده است، و تصویر نشان می‌دهد که نوار بی‌نهایت است و پیش‌فرض با "0" پر شده است، که نماد نمایانگر فضای خالی است. وضعیت کامل سیستم (یا "پیکربندی کامل" آن) شامل وضعیت داخلی، هر نماد غیر خالی روی نوار (در این تصویر "11B")، و موقعیت سر نسبت به آن نمادها از جمله فضای خالی‌ها، یعنی "011B". (ترسیم پس از مینسکی (1967) صفحه 121.)
مدل‌سازی ماشین تورینگ با استفاده از قطعات Lego
مدل‌سازی دیگری از ماشین تورینگ
نازگول

| نازگول> اطلاعاتِ درون‌داستانی | نازگول> اطلاعاتِ درون‌داستانی |
| --- | --- |
لقب‌ها: نه نفر Úlairi (در کوئنیا) سواران سیاه سواران سقوط‌کرده اشباح حلقه
کتاب(ها): یاران حلقه (۱۹۵۴) دو برج (۱۹۵۴) (تالکین ۱۹۵۵) (۱۹۵۵) (تالکین ۱۹۷۷) (۱۹۷۷) (تالکین ۱۹۸۰) (۱۹۸۰)
نازگول یا نَزگول (انگلیسی: Nazgûl؛ از زبان سیاه: nazg، «حلقه»، و gûl، «شبح، روح») که با نام سواران سیاه و نیز اشباح حلقه و نه نفر معروفند، شخصیت‌هایی تخیلی در سرزمین میانه اثر جی. آر. آر. تالکین هستند. آن‌ها نه نفر انسان بودند که از طریق در دست کردن حلقه‌های قدرت تسلیم قدرت سائورون شدند. حلقه‌ها به آن‌ها جاودانگی بخشید، اما آنها را به اشباح نامزئی کاهید؛ بندگانی که به قدرت حلقه یگانه وابسته و کاملاً تحت کنترل سائورون هستند.
تاریخچه

در دوران دوم سائورون به نه شاه از انسان‌ها نه حلقه قدرت را هدیه داد که آن‌ها را تا ابد جاودان نگاه می‌داشت ولی طمع شاهان باعث شد که آن‌ها رفته رفته جاه و مقام خود را از دست بدهند غافل از اینکه سائورون حلقه‌ای قدرتمندتر از تمام حلقه‌ها برای خود در اعماق کوه هلاکت ساخته است. در نهایت کار به جایی رسید که هر نه پادشاه محکوم شدند تا ابد به عنوان برده‌های سائورون خدمت کنند. در طول هزاران سال آن‌ها کم‌کم شکل انسانی خود را از دست دادند. آن‌ها همواره شنلی سیاه می‌پوشند و صورتشان قابل دیدن نیست هرچند گاهی اوقات چشمهای قرمز رنگشان در تاریکی شب مشخص می‌شود. در کتاب دو برج از آن‌ها به عنوان مالکان فل بیست (به انگلیسی: fell beast) یاد می‌شود.
تاریخچه > فل بیست

فل بیست یا شاهین جهنم موجودی اژدها مانند و سیاه رنگ است که بسیار قدرتمند و قدیمی است و در طول زندگی اش فقط از یک صاحب فرمان می‌برد.
هویت نازگول‌ها

یکی از آن‌ها از پادشاهان ایسترلینگ‌ها به نام خامول (سایهٔ شرق) بوده است. سه تن دیگر من جمله ویچ‌کینگ به حتم از بزرگان نومِنور بودند. جز این اطلاع دیگری از ایشان نیست.
پادشاه جادوگر

مقالهٔ اصلی: پادشاه جادوگر آنگمار
پادشاه جادوگر آنگمار به عنوان ارباب نازگول‌ها شناخته می‌شد. او فوق‌العاده قدرتمند بود به‌طوریکه ادعا می‌شد هیچ مرد زنده‌ای نمی‌تواند او را بکشد. او سرانجام در جنگ گاندور به دست ائووین که یک زن بود و با کمک مریادوک برندی باک که خنجری را به کشکک زانوی او زد و به این وسیله جادوی محافظ او را از بین برد کشته شد.
نازگول‌ها از روی جیغشان که کر کننده است شناخته می‌شوند.
یک نازگول
هود (اوز)

مکان
| هود ها'د | هود ها'د |
| --- | --- |
روستا: روستا
مختصات: ۲۷°۵۷′۴۵″ شمالی ۵۳°۴۰′۰۴″ شرقی﻿ / ﻿۲۷٫۹۶۲۵۰°شمالی ۵۳٫۶۶۷۷۸°شرقی﻿ / 27.96250; 53.66778: مختصات: ۲۷°۵۷′۴۵″ شمالی ۵۳°۴۰′۰۴″ شرقی﻿ / ﻿۲۷٫۹۶۲۵۰°شمالی ۵۳٫۶۶۷۷۸°شرقی﻿ / 27.96250; 53.66778
استان: فارس
شهرستان: اوز
بخش: بخش بيدشهر
دهستان: بيدشهر
جمعیت: ۱۵۲۷ نفر (سرشماری ۹۵)
هود، روستایی از توابع بخش بیدشهر  ، شهرستان اوز در استان فارس ایران است.
این روستا در شمال شهر اوز و در مسیر اوز به جهرم و در ۹۲ کیلومتری جنوب شرقی جهرم واقع شده‌است. این روستا از روستاهای تاریخی ایران به‌شمار می‌آید که قدمتی بالا دارد. گویند در دوران قدیم روستا شهری بزرگ بوده‌است.
جمعیت

دارای ۳۴۷ خانواده و جمعیت ۱۳۱۴ نفر جمعیت می‌باشد که عمده‌ی مردم آن از اهل سنت و از شاخه شافعی یعنی از پیروان امام محمد ادریس شافعی هستند. زبان ایشان فارسی است و به گویش اچمی تکلم می‌کنند.
زبان

اَچُمی از گویش‌های به جا مانده از زبان فارسی پهلوی، مربوط به دوره ساسانیان و پیش از آن می‌باشد و یکی از هفت ریشه اصلی زبان فارسی کنونی است. امروزه به خاطر تفاوت‌های زیادش با زبان پارسی معیار به عنوان یک زبانِ مستقل از شاخهٔ زبان‌های ایرانی‌تبار جنوب غربی قلمداد می‌شود. اچمی بیدشهری نواده پارسی میانه محسوب می‌شود. این زبان به خاطر نگه داشتن واژگان بسیاری از پارسی میانه، زبانی خالصتر از زبان پارسی مدرن است و حتی هنوز ارتباط نزدیکی با پارسی باستان دارد.
بیشتر ساکنان جنوبی استان فارس و هرمزگان به این گویش صحبت می‌نمایند.اچمی از گویش‌های فارسی‌تبار یعنی متعلق به شاخه جنوب غربی زبان‌های ایرانی است. نام این گویش از کلمه اچم که به معنای برویم- بروم- می‌روم، می‌باشد، که به علت استفاده فراوان این لفظ در یاد دیگر فارسی زبانان می‌ماند. این گویش در جای جای منطقه جنوب به شکل‌های متنوعی خود را نشان داده و نمود کرده‌است که بیشتر این تفاوت‌ها در تلفظ واژگان است. گویش اچمی لهجه‌های بسیار فراوانی را در بر می‌گیرد.
گرچه به زبان همه ساکنان لارستان، لاری گفته می‌شود، این زبان در جای جای این منطقه نمودهای گوناگونی دارد که بیشتر این تفاوت‌ها در تلفظ واژگان است. زبان لارستانی بیش از چندین لهجه را دربر می‌گیرد: لاری، فرامرزی، بشکردی، کُوخِردی، خُنجی، اسیری، اِوَزی، جناحی (جمسی)، گَوده‌ای، گِراشی، فیشوَری، فداغی، بیخه‌ای ،و بَستَکی.
در بسیاری از مناطقی که به این گویش صحبت می‌کنند، کلمات و واژگانی خاص نسبت به بقیه مناطق اطراف خود به کار می‌برند که در بعضی موارد تأثیر گرفته از زبان‌های هندی، انگلیسی، پرتغالی و عربی است که به علت مراودات بسیار زیاد مردم این مناطق با کشورهای مختلف می‌باشد.
امکانات

این روستای بزرگ، شامل امکانات زیر است:
هفت مسجد (خواهران و برادران)، کلاس حفظ با امکانات خوابگاهی (خاص دو ماه تابستان)، مدارس ابتدائی و راهنمایی پسران و دختران، پیش دبستانی، خانهٔ بهداشت، مرکز مخابرات، پارک محله‌ای، جادهٔ آسفالته، آب لوله‌کشی شدهٔ شیرین، برق منطقه‌ای شبانه‌روزی، دو سد و آبگیر مصنوعی، مجموعهٔ ورزشی، دشت‌های تفریحی، دو بلوک زنی، آپاراتی یا پنچرگیری و تعویض روغن ماشین آلات، دو کارواش (ماشین شویی)، و بانک تجارت، از امکانات موجود در روستا می‌باشند.
گذران زندگی

گذران زندگی مردم از طریق کار در کشورهای عربی حوزهٔ خلیج فارس تأمین می‌شود. همچنین کشاورزی شغل مردم روستا است،
کشاورزی:
بر اساس نقشه و مدارک مستند، میزان مستثنیات اراضی از زمین‌های منابع ملی در روستای هود ۱۲۱۷ هکتار است که شامل قطعات متعدد در اطراف و جوانب روستا از آن جمله مناطق کوهستانی غرب و دشت شرق روستا است. بخش عمده‌ای از اراضی این روستا، آبی و بخشی نیز به صورت دیمی کاری، زراعت می‌شود. در هود آب‌های جاری یعنی رودخانه، چشمه و قنات وجود نداردو استحصال آب از طریق استفاده از موتور پمپ‌های دیزلی یا برقی صورت می‌پذیرد.
روش آبیاری در باغات از سیستم آبیاری تحت فشار، معروف به آبیاری قطره‌ای و در اراضی زراعی به روش سنتی و غرقابی است. اراضی این روستا، خرده مالکی است و بر اساس مدارک موجود، مشمول هیچکدام از مواد قانون اصلاحات اراضی واقع نشده‌است (هر چند که در این خصوص، در اراضی دیمکاری، اختلافاتی وجود دارد و در مورد شمول اراضی نسبت به قضیهٔ اصلاحات اراضی، اختلاف نظر وجود دارد).
در گذشته روش تقسیم محصول بین برزگر و مالک در زمین‌های آبی به صورت دو پنجم (برزگر) و سه پنجم (مالک) بوده‌است اما در شرایط فعلی به صورت یک چهارم (برزگر، کارگر کشاورزی مستأجر) و سه چهارم (مالک) بوده که همهٔ عوامل زراعی مانند (آب، زمین بذر و..) بجز آبیاری و مراحل داشت محصول که زارع یا مستأجر معمولاً عهده‌دار است، به عهدهٔ مالک است.
درآمد کشاورزان که معمولاً از یک کاشت زمستانه استفاده می‌نمایند، تابع شرایط آب و هوایی و میزان بارندگی است و در مقابل، هزینه‌های جاری نیز به شرایط یاد شده ارتباط دارد که در مجموع، هزینه‌های کل در حدود پنجاه درصد در آمد ناخالص است.
وضعیت جغرافیایی

ارتفاعش از سطح دریا در حدود ۹۵۰ متر و از سمت شمال به روستای کاریان و از سمت شرقی به روستای بیدشهر و (شهر  کوره  «مرکز بخش») و دریاچهٔ فصلی مجاورت دارد.
این روستا به جز از سمت شرق، محصور در ناهمواری‌های کوهستانی و محدودهٔ آن در حدود ۲۰۰ کیلومتر مربع است که غربی‌ترین و آخرین روستای بخش بیدشهر و بر سر راه اوز - شیراز از طریق راه جهرم قرار داشته و یکی از خوش آب و هواترین مناطق شهرستان اوز و از لحاظ وفور منابع آب شیرین از نادرترین نقاط آن است، چرا که از لحاظ اکولوژی و زمین ساختی در دامنهٔ مناسبترین مخروط افکنهٔ قلهٔ چابار استقرار یافته و به برکت آب‌های نشتی از غارهای آهکی کوهستان‌های جنوبی که به صورت طبیعی و خدادادی محصور در یک لایه محافظ مارنی است. محدوده‌ای هرچند کوچک در آن غنی از منابع گوارای آب آشامیدنی و به منزلهٔ یک سد طبیعی زیر زمینی در مقابل هجوم آب‌های شور منطقه حاصل از وجود گنبدهای نمکی و گچی دشت و کوهپایه‌های اوز است.
پوشش گیاهی

پوشش گیاهی منطقه از گونه‌های گرمسیری زاگرس و شامل درخت و درختچه‌های هر چند تنک و کم پشت کنار (سدر) است که از گونه‌های منحصر بفرد لارستان است (به حکایت نوشته‌های ابن بطوطه، جهانگرد مشهور مراکشی هنگام عبور از لارستان در عهد صفویه، گویا از لار تا خنج، همه جا جز جنگل‌های انبوه و سایه سارهای کنار چیزی مشاهده نکرده‌است؛ و اگر بزرگنمائی و غلو نکرده باشد می‌گوید: خورشید را به چشم ندیدم)، بادام کوهی و در ارتفاعات، گیاهان صنعتی چون آنغوزه و گونی زده و گیاهان مرتعی متنوع و پر گل و بعضاً گیاهان داروئی همچون آویشن، بابونه، گلپر، گلرنگ و غیره یافت می‌شود.
گونه‌های جانوری

از لحاظ حیات وحش در گذشته در دشت‌ها، آهو، گرگ، روباه، گراز (خوک وحشی)، خارپشت (به زبان محلی: چوله یا صید)، جوجه تیغی، کفتار و شغال و در کوهستان‌ها انواع بزکوهی (کل، میش و قوچ) فراوان یافت می‌شد، که متأسفانه نسل بسیاری از آن‌ها در حال انقراض و نابودی است. لازم به توضیح است که این منطقه یکی از اولین زیستگاه‌های کفتار بوده، همچنین قوچ وحشی لارستانی از گونه‌های شناخته شدهٔ حیات وحش ایران است.
تاریخچهٔ روستا

گرچه متأسفانه این روستا همچون سایر روستاهای کشور و منطقه، دارای تاریخ علمی شناخته شده‌ای نیست ولی به لحاظ مجاورت و همسایگی با روستای باستانی کاریان و با توجه به آثار به جا مانده که هر کدام در شمار و اندازهٔ آثار قابل ثبت مواریث فرهنگی مملکت است، قدمت این روستا مربوط به سال‌های متمادی قبل از اسلام است. آثار و بقایای قلعه‌هایی همچون تمب پس تمب (تمب یا قلعهٔ پاس تمب)، قلعهٔ زیردژ، قلعهٔ شهرستان، قلعهٔ خندقی و قلعهٔ جهان‌آباد (جهنو)، حاکی از قدمت و دیرینگی و گسترهٔ وسیع و آبادانی و رونق این روستا از سده‌های قبل از اسلام است.
در گذشته‌های نه چندان دور، مورخینی همچون میرزا حسن حسینی فسائی، صاحب کتاب فارسنامهٔ ناصری و نصیرالملک صاحب کتاب آثار العجم از این روستا در نوشته‌های خویش نام برده‌اند. دانشمند فرهیخته و مورخ نامدار، محمد ابراهیم باستانی پاریزی از اساتید برجستهٔ دانشگاه تهران در کتاب حماسهٔ کویر تحت عنوان آثار وجودی قلم به دست‌ها و شمشیر به دست‌ها، از مبارزات شخصی به نام فضلعلی قلعه تیری هودی نام می‌برد که به مدت پانزده سال با اقوام و اقارب خویش در قلعهٔ هود (که هنوز در ورودی روستا آثارش باقی است)، معتمد الدولة فرهاد میرزا شاهزادهٔ قاجار و فرمانروای فارس و محمد علی قوام الملک را گرفتار و در حملات سرکوب گرانه، آنان را زمین گیر نموده‌است.
در ناسخ التواریخ و تاریخ جهانگیریه به تألیف محمد اعظم خان بستگی پیرامون همین موضوع از هود و چهره‌های نامدار آن نام برده شده‌است. بخصوص شخص معتمد الدوله فرهاد میرزای قاجار در کتاب خویش شرح مفصلی در موضوع یاد شده آورده‌است. وجه تسمیهٔ این روستا به درستی معلوم نیست و واژه‌هایی همچون هودژ، هوده یا هد (به معنای سود و فایده در مقابل بیهوده) به آن نسبت می‌دهند لکن رایج‌ترین روایت با نسبت این روستا به هود پیامبر (ع) یا نام شخصی به همین نام ممکن است بوده باشد.
آثار باستانی

در روستای هود آثار باستانی واماکن دیدنی گوناگونی وجود دارد، و با توجه به توضیحات بالا به وفور یافت می‌شود که عبارت‌اند از:
قلعه زیر دژ
قلعه پس تمب
آرامگاه امامزاده شاه ولی
آرامگاه امامزاده میرمنصور واقع در شهر کوره
گورستان زندان منم مجنون
مسجد جامع
قلعه جویمی