open-index/open-wikipedia-markdown huggingface dataset:
سیرولیموس

**سیرولیموس** () یا **راپامایسین** یک داروی ماکرولید است که برای آغشته‌سازی استنت‌های شریان‌های کرونر قلب، جلوگیری از ردِ پیوند اعضاء و درمان نوعی بیماری ریوی نادر به نام «لنفانژیولیومیوماتوز» به‌کار می‌رود.

سیرولیموس، نوعی داروی سرکوب‌کننده سیستم ایمنی است و در انسان، در جلوگیری از ردِ پیوند کلیه کاربرد ویژه‌ای دارد.

این دارو از طریقِ کاهشِ تولید اینترلوکین ۲، فعال‌شدگیِ لنفوسیت‌های تی و لنفوسیت‌های بی را مهار می‌کند.

سیرولیموس توسط نوعی باکتری به‌نام «استرپتومایسیس هایگروسکوپیکوس» ساخته می‌شود و نخستین بار در سال ۱۹۷۲ میلادی توسط «سورندرا نات سگال» و همکارانش از نمونه‌هایی از این باکتری که در جزیره ایستر یافت شده بود، جداسازی شد و آنرا راپامایسین نام نهادند که از نامِ محلی این جزیره «راپا نوئی» الهام گرفته شده بود. در آغاز این مولکول را به‌عنوان یک داروی ضدقارچ توسعه و تکامل بخشیدند؛ اما به‌سرعت دریافتند که این دارو با مهار «mTOR»، خواص سرکوب‌کنندهٔ ایمنی و ضد تزاید سلولی دارد. سازمان غذا و دارو این دارو را در سپتامبر ۱۹۹۹ میلادی مورد تأیید قرار داد.

شایع‌ترین عوارض این دارو (بروز بیش از ۳۰٪ مورد) در بیماران پیوند کلیوی عبارتند از: ادم محیطی، هیپرکلسترولمی، فشار خون بالا، شکم‌درد، سردرد، تهوع، اسهال، درد، یبوست، هیپرتری‌گلیسریدمی، افزایش کراتینین، تب، عفونت ادراری، کم‌خونی، آرترالژی و ترومبوسیتوپنی.

شایع‌ترین عوارض این دارو (بروز بیش از ۲۰٪ مورد) در بیماران لنفانژیولیومیوماتوز عبارتند از: ادم محیطی، هیپرکلسترولمی، شکم‌درد، سردرد، تهوع، اسهال، درد قفسهٔ سینه، استوماتیت، سرماخوردگی، عفونت دستگاه تنفسی فوقانی، سرگیجه و درد ماهیچه.

درمان با سیرولیموس احتمالِ ابتلا به دیابت نوع ۲ را افزایش می‌دهد. عارضهٔ جدی این دارد، مسمومیت ریوی است؛ به‌ویژه در افرادی که پیوند ریه شده‌اند.

سازمان غذا و دارو می‌گوید که این دارو خطر ابتلا به سرطان پوست ناشی از اشعهٔ آفتاب و همچنین لنفوم را افزایش می‌دهد.

## منابع

* 

## پیوند به بیرون
* 

رده:بازدارنده‌های MTOR
رده:پلی‌ان‌ها
رده:داروهای چشم‌پزشکی
رده:داروهای کم‌کاربرد
رده:سرکوب‌گرهای دستگاه ایمنی
رده:لاکتام‌ها
رده:ماکرولیدها
رده:مواد ضدپیری
رده:نشان‌های تجاری فایزر
رده:نشان‌های تجاری وایت
رده:زیست‌شناسی شیمیایی
مایکل کوهن

**مایکل کوهن** (؛ ۲۸ مارس ۱۹۳۷ – ۱۱ فوریه ۲۰۱۸) جراح، آسیب‌شناس، نسل‌شناس، انسان‌شناس و پژوهشگر بازنشسته از دانشگاه دالهاوزی در ایالات متحده آمریکا بود.

کوهن نخستین کسی است که سندرم پروتئوس را در سال ۱۹۷۹ میلادی توصیف کرد. وی دارای مدرک کارشناسی و دکترا در رشتهٔ انسان‌شناسی است. علاوه بر آن دارای دکترای جراحی دندان و کارشناسی ارشد پاتولوژی دهان و فک و همچنین گواهینامهٔ بهداشت جهانی است. مایکل کوهن مدتها استاد رشتهٔ جراحی فک و دهان در دانشگاه واشینگتن (در سیاتل، واشینگتن) و دانشگاه دالهاوزی در کانادا بود و در سال ۲۰۰۶ بازنشسته شد. او بیش از ۴۵۰ مقاله نگاشته و در تألیف ۱۱ کتاب مشارکت داشته‌است.

## جستارهای وابسته
* جوزف مریک

## منابع

رده:استادان دانشگاه دالهاوزی
رده:استادان دانشگاه واشینگتن
رده:دانشمندان یهودی اهل ایالات متحده آمریکا
رده:دانش‌آموختگان دانشگاه بوستون
رده:دانش‌آموختگان دانشگاه تافتز
رده:دانش‌آموختگان دانشگاه میشیگان
رده:دانش‌آموختگان دانشگاه مینه‌سوتا
رده:درگذشتگان به علت سینه‌پهلو
رده:درگذشتگان ۲۰۱۸ (میلادی)
رده:زادگان ۱۹۳۷ (میلادی)
رده:یهودیان آمریکایی سده ۲۱ (میلادی)
سوری‌ها در اردن

**پناهندگان سوری در اردن** () شامل مهاجرانی است که از سوریه به اردن آمده‌اند که نسل بعدی آنها را نیز در بر می‌گیرد. آمار تقریبی سوری‌های ساکن اردن که در اوت ۲۰۱۵ ثبت نام کرده‌اند حدود ۶۲۹٫۲۴۵ بوده‌است، هرچند برخی منابع مدعی هستند که در اوت ۲۰۱۵ آمار تقریبی ۱٫۴۰۰٫۰۰۰ بوده که عمدتاً شامل پناهندگان جنگ داخلی سوریه می‌باشد.

## پیامدها و مشکلات
در دیدار دوجانبه سران اردن ـ عربستان در مارس ۲۰۱۷، موضوع کمک‌های عربستان سعودی به اردن برای حل مسائل پناهندگان سوری بحث شد، زیرا شرایط اقتصادی اردن به خاطر قبول حدود ۵/۱ میلیون پناه‌جوی سوری فشار زیادی را بر اقتصاد کشور اردن وارد می‌کند.

نیکی هیلی، سفیر آمریکا در ملل متحد در اول ژوئن ۲۰۱۷ ضمن بازدید از کمپ‌های پناهندگی سوری‌ها در اردن و سوریه گفت: «هدف من از سفر به ترکیه و اردن این بود که ببینم وضعیت پناهندگان در آنجا چگونه است و وضعیت حیرت‌انگیزی را دیدم. اول ازهمه اینکه اردن و ترکیه به خاطر نحوه میزبانی‌شان از پناهندگان، سزاوار پشتیبانی زیادی هستند… کشور کوچکی مانند اردن، یک‌میلیون پناهنده را در خود جای‌داده‌است. ترکیه نیز ۳ میلیون پناهنده را پذیرفته‌است. این‌ها ارقام خیلی بالایی هستند…»عماد الفاخوری، وزیر برنامه‌ریزی اردن در ملاقات با نیکی هیلی، سفیر آمریکا در سازمان ملل گفت اردن بیش از ماکزیمم ظرفیت خود، پناه‌جو پذیرفته‌است و هم‌اکنون زیر بار فشار سنگینی به خاطر میزبانی از پناه‌جویانی است که از سوریه به اردن فرار کرده‌اند.سازمان کمک به پناهندگان سازمان ملل متحد بیشتر از ۶۸۰ هزار سوری پناهنده را در اردن ثبت‌نام کرده‌است. مقامات اردنی می‌گویند که به‌طور واقعی شمار پناه‌جویان بیش از یک‌میلیون و سیصد هزار نفر است. آن‌ها هم‌چنین می‌گویند که هزینه رسیدگی به این پناه‌جویان از سال ۲۰۱۱ تا سال ۲۰۱۷ میلادی نزدیک به شش میلیارد یورو بر اقتصاد اردن تحمیل کرده‌است و تا سال ۲۰۱۸ هم به هشت میلیارد دلار دیگر برای این کار نیاز هست.

## جستارهای وابسته
* پناهندگان فلسطنی در اردن
* پناهندگان جنگ داخلی سوریه
* شهروندان سوری در خارج
* پناهندگان جنگ داخلی سوریه

## منابع

* 
* 

رده:افراد اردنی سوری‌تبار
رده:اقوام در اردن
رده:پناهندگان جنگ داخلی سوریه
رده:جوامع دور از وطن اهل سوریه
رده:عرب‌ها در اردن
سندرم الرقاد

**سندرم الرقاد** () یک اختلال ژنتیکی مادرزادی از نوعِ اتوزومال مغلوب است.

## مشخصات بیماری
سندرم الرقاد دارای علائم زیر است:
* میکروسفالی
* تأخیر در رشد
* تأخیر در تکامل حرکتی-روانی
* هیپوتونی مادرزادی

## علت بیماری
علت این بیماری جهش در ژنِ DCPS است.

## منابع

* 

رده:بیماری‌ها و ناهنجاری‌های ژنتیکی
رده:ناهجاری‌های ژنتیکی اتوزوم مغلوب
DCPS

**DCPS** با نامِ کاملِ «Scavenger mRNA-decapping enzyme DcpS» یک پروتئین است که در انسان توسط ژن «*DCPS*» کد می‌شود.

جهش در این ژن موجب بروز سندرم الرقاد می گردد.

## جستارهای وابسته
* سندرم الرقاد

## منابع

* 
## بیشتر بخوانید

رده:خانواده‌های پروتئین
رده:ژن‌های روی کروموزوم ۱۱ انسان
رده:مقاله‌های خرد ژن‌های کروموزوم ۱۱ انسان
سوری‌ها در ترکیه

**پناهندگان سوری در ترکیه** () شامل شهروندانی است که تابعیت سوریه دارند یا در سوریه متولد شده‌اند و پناهندگان سوری می‌شود.

## تاریخچه
پناهندگان سوری در ترکیه شامل کسانی است که از سوریه به ترکیه مهاجرت کرده‌اند، منجمله نسلهای بعدی پناهجویان را در بر می‌گیرد. آمار سوری‌های مقیم ترکیه که در اوت ۲۰۱۵ ثبت نام کرده‌اند حدود ۲ میلیون و ۵۰۳ هزار و ۵۴۹ نفر است. اما برخی منابع مدعی هستند که آمار پناهندگان سوری ناشی از جنگ داخلی این کشور حدود ۱میلیون و ۴۰۰ هزار نفر می‌شود.

براساس آمار منتشر شده در سال ۲۰۱۷ در ترکیه بیش از ۲ میلیون و ۷۵۰ هزار پناهنده سوری زندگی می‌کنند. حدود ۳۰۰ هزار تن از آن‌ها در کمپ‌های پناهندگی دولتی به سر می‌برند و بقیه آن‌ها در روستاها و شهرهای این کشور پراکنده شده‌اند.

## اظهار نظرهای مقامات ترکیه
در ۲۴ فوریه ۲۰۱۷ میلادی مولود چاووش اوغلو، وزیر امور خارجه ترکیه گفت: «از ماه اوت ۲۰۱۶ تاکنون حدود ۵۰ هزار پناه‌جوی سوری به کشور خود بازگشته‌اند.» وی تأکید کرد که به‌محض ایجاد یک منطقه امن در سوریه، پناهندگان سوری می‌توانند «برای آغاز یک زندگی عادی» به آن منطقه بازگردند.

در ۲۰ آوریل ۲۰۱۷ میلادی رجب طیب اردوغان رئیس‌جمهور ترکیه در گفتگو با «الجزیره» گفت: «اروپا به ترکیه وعده داده بود که به پناهندگان در این کشور ۳ میلیارد یورو کمک می‌کند و پس از آن نیز از ۳ میلیارد دیگر صحبت کردند ولی تاکنون تنها ۷۵۰ میلیون یورو از آن‌ها و از سازمان ملل ۵۵۰ میلیون دلار کمک به ترکیه رسیده‌است. این در صورتی است که ترکیه برای این پناهندگان تاکنون مجموعاً ۲۵ میلیارد دلار کمک کرده‌است».

## جستارهای وابسته
* ترکمان‌های سوریه
* شهروندان سوری در خارج
* پناهندگان جنگ داخلی سوریه
* پناهندگان سوری در اردن
* پناهندگان سوری در لبنان

## منابع

* 

## پیوند به بیرون
* Syrian diaspora at Flickr Commons

رده:اقوام در ترکیه
رده:پناهندگان جنگ داخلی سوریه
رده:جوامع دور از وطن اهل سوریه
دیسوستوز آکروفرونتوفیشیونازال

**دیسوستوز آکروفرونتوفِـیشیونازال** () یک بیماری بسیار نادر ژنتیکی است که مشخصه‌اش کم‌توانی ذهنی، قد کوتاه، فاصلهٔ زیادِ چشم‌ها، نوک بینی پهن و سربالا، لب‌شکری، رشد و تکامل اندک و ناقصِ استخوان نازک‌نی، چند انگشتی و انگشت‌چسبی و ناهنجاری‌های ساختار پاهاست.

## منابع

* 

* 

رده:بیماری‌ها و ناهنجاری‌های ژنتیکی
رده:بیماری‌های نادر
دیسپلازی آکرومزوملیک

**دیسپلازی آکرومزوملیک** () نوعی اختلال اسکلتی نادر است که منجر به ساخت و تکامل استخوان‌ها و غضروف ناهنجار و غیرطبیعی می‌گردد. در اثر این بیماری، دست‌ها، بازو، پاها و همهٔ انگشتان دست و پا کوتاه‌تر از حد طبیعی هستند. ۵ جهش ژنی در ارتباط با این بیماری کشف شده‌است.

هدف از مداخلات درمانی در این سندرم، مراقبت‌های تسکینی و درمان‌های علامتی همچون رفعِ گوژپشتی و کاوپشتی است.

## منابع

* 

رده:بیماری‌ها و ناهنجاری‌های ژنتیکی
رده:بیماری‌های استخوان
رده:بیماری‌های نادر
میوپاتی برودی

**میوپاتی برودی** () نوعی بیماری ژنتیکی است.

## علت بیماری
این بیماری در اثر جهش در ژنِ ATP2A1 ایجاد می‌شود.

میوپاتی برودی، نخستین بار در سال ۱۹۶۹ میلادی توسط ایروین برادی توصیف شد.

## منابع

* 

رده:بیماری‌ها و ناهنجاری‌های ژنتیکی
سندرم قاضی–مارکوئیزوس

**سندرم قاضی–مارکوئیزوس** () که با نام «**سندرم هیپوتونی نوزادی پورتوریکویی**» هم شناخته می‌شود، یک بیماری نادر ژنتیکی است که مشخصه‌اش، هیپوتونی مادرزادی غیر پیشرونده، کم‌توانی ذهنی شدید و افزایش نسبت فیبرهای عضلانی نوع ۲ است که به نوبهٔ خود، منجر به افزایش اندازه این فیبرها و همچنین بلوغِ ناهنجار اسکلتی در فرد می‌گردد.

تا به امروز، مکانیسم دقیق مولکولی این بیماری، ناشناخته باقی مانده‌است.

## منابع

* 

رده:بیماری‌ها و ناهنجاری‌های ژنتیکی
رده:سندرم‌ها
لنز کوچک کروی

**لنز کوچک کروی** (؛ *تلفظ: مایکروسفرو فِــیکیا*) نام یک بیماری مادرزادی نادر از نوع اتوزومال مغلوب است که در آن، عدسی کروی‌شکل بوده و کوچکتر از حد نرمال است.

## علت بیماری
این عارضه با برخی بیماری‌ها نظیر سندرم مارفان، «ناهنجاری پیترس» و «سندرم ویل-مارکزانی» در ارتباط است.

علت شکلِ کروی لنز، اختلال در رشد و تکامل رشته‌های زنول است که قدرت کافی درکشیدن لنز و بیضوی‌کردن آنها را ندارند.

این بیماری در اثرِ جهشِ هموزیگوت در ژن «LTBP2» ایجاد می‌شود.

## منابع

* 

رده:ناهنجاری‌های مادرزادی چشم
رده:بیماری‌ها و ناهنجاری‌های ژنتیکی
رده:ناهجاری‌های ژنتیکی اتوزوم مغلوب
رده:بیماری‌های نادر
پالیناکوز

**پالیناکوز** () نوعی درجازنی و تکرار غیرارادی شنوایی است که در آن، فرد علی‌رغم خاتمه یافتنِ صدا یا محرک صوتی، همچنان صدای مذکور را به‌طور تکرارشونده می‌شوند.

این اختلال با ضایعات لوب گیجگاهی در ارتباط است.

## منابع

* 

رده:بیماری‌های نادر
رده:صوت
کمبود پروپردین

**کمبود پروپردین** () نوعی بیماری نادر ژنتیکی وابسته به کروموزوم ایکس است که علتِ آن، کمبود پروپردین (یکی از فاکتورهای مهم سامانه کمپلمان) است. مبتلایان به این نقصِ ژنتیکی، در معرض ابتلا به فرمِ شدید و کُشندهٔ بیماری‌های مِـننگوکوکی هستند.

## منابع

* 

رده:بیماری‌های نادر
رده:کمبود کمپلمان
پروپردین

**پروپردین** () یا **فاکتور پی** () تنها تنظیم‌کنندهٔ مثبت در سامانه کمپلمان است که آنزیم پروپردین کانورتاز را در «مسیر آلترناتیو (فرعی)» کمپلمان تثبیت می‌کند. مسیر آلترناتیو کمپلمان وابسته به آنتی‌بادی نیست.

پروپردین در سرم خونی بسیاری از جانوران یافت می‌شود.

این مولکول در واقع یک پروتئین گاما گلوبولین است که از زیرواحدهای مختلفی تشکیل شده‌است.

پروپردین در التهاب، بیگانه‌خواری عوامل بیماری‌زا و خنثی سازی ویروس‌ها نقش دارد.

کاهش این پروتئین موجب بروز بیماری نادرِ «کمبود پروپردین» می‌شود که فرد را، در معرضِ ابتلا به انواعِ شدید و کشندهٔ بیماری‌های مِـننگوکوکی قرار می‌دهد.

## منابع

* 

## پیوند به بیرون
* 

رده:ژن‌های روی کروموزوم ایکس انسان
رده:سامانه کمپلمان
سندرم ناخنک چندگانه

**سندرم [[ناخنک (زائده)|ناخنک]] چندگانه** یا **سندرم ناخنک‌های متعدد** () یک بیماری جلدی ژنتیکی از نوعِ اتوزومال غالب است.

## منابع

* 

رده:بیماری‌های ژنتیکی پوست
رده:بیماری‌های نادر
رده:سندرم‌ها
رده:سندرم‌های نادر
یونس (خواننده)

**یونس** یک خواننده و آوازخوان معروف اهل افغانستان بود. وی یکی از نخستین آوازخوانان موسیقی آماتور در افغانستان محسوب می‌شود.

## زندگی‌نامه
یونس دوران ابتدایی تحصیل خود را در مکتب/مدرسه امانی در کابل گذراند و سپس برای تحصیل در رشتهٔ زمین‌شناسی راهی مسکو شد. یونس مدتی در کشور پاکستان زندگی می‌کرد و سپس به همراه خانواده به استرالیا مهاجرت نمود و ۱۷ سال پایانی زندگی‌اش را در شهر ملبورن گذراند.

وی آوازخوانی را از ۸ سالگی آغاز نمود و موسیقی را نزد استادانی نظیر «محمدحسین سرآهنگ»، «دیش پندی» و «پروفسور چترجی» فرا گرفت. سپس در دههٔ ۵۰ خورشیدی به‌طور حرفه‌ای در رادیو افغانستان به اجرا پرداخت.

## آثار
یونس در حدود ۲۰۰ ترانه در رادیو و ۳۰ ترانه در تلویریون افغانستان اجرا و ضبط کرد.

او چهار آلبوم از ترانه‌های خود را نیز به بازار موسیقی عرضه کرد. آخرین آلبوم وی، *یادگار*نام دارد که در استرالیا منتشر شد و آهنگ‌سازی آنرا خلیل گداز برعهده داشت.

از ترانه‌های مشهور او می‌توان به *من امسال بی او بهاری ندارم* اشاره کرد.

## منابع

رده:افراد استرالیایی افغانستانی‌تبار
رده:اهالی کابل
رده:خوانندگان سده ۲۰ (میلادی)
رده:خوانندگان فارسی‌زبان
رده:خوانندگان مرد اهل افغانستان
رده:درگذشتگان ۲۰۱۷ (میلادی)
رده:موسیقی افغانستان
رده:موسیقی‌دانان اهل افغانستان
رده:تاجیک‌های اهل افغانستان
رترو گیمینگ

[بندانگشتی|چپ|250px|[آکیهابارا]]

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

## جستارهای وابسته
* تاریخچه بازی‌های ویدئویی

## منابع

* 

رده:بازی‌های ویدئویی پیش‌درآمد
رده:پیش‌درآمدها
رده:فرهنگ بازی ویدئویی
رده:نوستالژی
گول‌ویگ

بندانگشتی|ایزدبانوی اساطیر اسکاندیناوی
**گول‌وِیگ**  در اساطیر اسکاندیناوی جادوگر و پیشگویی بود که هوس و علاقه شدیدی به طلا داشت. او مخلوق و شخصیتی مؤنث بود که به نام آن تنها در دو بند شعر *ولوسپا* (به معنی ترانهٔ ولوا)، یکی از شناخته‌شده‌ترین اشعار در مجموعه ادای شاعرانه اشاره شده است. این اشعار رویداد ناشی از جنگ آسیر و ونیر را توصیف می‌کند، نبردی که میان دو نژاد اصلی خدایان اساطیر اسکاندیناوی یعنی آسیر و ونیر در گرفت. *گول‌ویگ* کسی بود که توسط آسیر توسط نیزه‌هایی که در بدنش فرو بردند شکنجه شد، سپس سه مرتبه در آتش سوزانده، اما در عین حال هر سه بار از نو متولد شد. نام *گول‌ویگ* پس از سومین تجدید حیات به **هید** (به معنی روشنایی آسمان) تغییر یافت و به عنوان یک ولوا ماهر و وارد بکار در نظر گرفته شد. بر طبق نظریه‌های گوناگون محقق‌ها *گول‌ویگ/هید* شکلی دیگر از ایزدبانوی عشق فریا به شمار می‌رود، زیرا او نیز در افسانه‌های متعددی به طلا عشق می‌ورزید.

## منابع

رده:اسطوره‌شناسی نورس
رده:سحر در فولکلور و اسطوره‌شناسی
رده:ونیر
رده:چهره‌های فراطبیعی زن در اسطوره‌شناسی نورس
رده:ایزدبانوان جادو
رده:فریا
روشیانو

**روشیانو** (به ایتالیایی: Rosciano) یک کومونه در ایتالیا است که در استان پسکارا واقع شده‌است. روشیانو ۲۷ کیلومتر مربع مساحت و ۳٬۲۴۳ نفر جمعیت دارد و ۲۵۳ متر بالاتر از سطح دریا واقع شده‌است.

## جستارهای وابسته
* فهرست شهرهای ایتالیا

## منابع

## پیوند به بیرون

رده:روشیانو
رده:بازبینی گمر شهرهای ایتالیا
رده:شهرها و شهرک‌ها در آبروتسو
رده:کومونه‌های استان پسکارا
مارکوس آلونسو

**مارکوس آلونسو** ممکن است به یکی از موارد زیر اشاره داشته باشد:
* مارکوس آلونسو پنیا
* مارکوس آلونسو مندوزا

رده:صفحه‌های ابهام‌زدایی نام افراد
آلبرت هندرسون (بازیگر)

**آلبرت هندرسون**  (زاده -درگذشته ) بازیگر آمریکایی بود.

از فیلم‌های معروف او می‌توان به بازی در فیلم آقای جونز و ترنسرها ۲ اشاره کرد.

## منابع

* 

## پیوند به بیرون

* 

رده:بازیگران تئاتر مرد اهل ایالات متحده آمریکا
رده:بازیگران مرد تلویزیونی اهل ایالات متحده آمریکا
رده:بازیگران مرد رادیو اهل ایالات متحده آمریکا
رده:بازیگران مرد سده ۲۰ (میلادی) اهل ایالات متحده آمریکا
رده:بازیگران مرد فیلم اهل ایالات متحده آمریکا
رده:درگذشتگان ۲۰۰۴ (میلادی)
رده:زادگان ۱۹۱۵ (میلادی)
راجر یوآن

**راجر یوآن**  (زاده ) رزمی‌کار، بدل‌کار و بازیگر اهل آمریکایی است.

از فیلم‌های معروف او می‌توان به بازی در فیلم گوشه قرمز، از چاندی چوک به چین اشاره کرد.

## منابع

* 

## پیوند به بیرون
* 
* 
* 

رده:افراد زنده
رده:بازیگران مرد سده ۲۰ (میلادی) اهل ایالات متحده آمریکا
رده:بازیگران مرد سده ۲۱ (میلادی) اهل ایالات متحده آمریکا
رده:بازیگران مرد فیلم اهل ایالات متحده آمریکا
رده:زادگان ۱۹۶۱ (میلادی)
ماکسیمیلیان ووبر

**ماکسیمیلیان ووبر** (؛ زادهٔ ) بازیکن فوتبال اهل اتریش است.

## باشگاهی
از باشگاه‌هایی که در آن بازی کرده‌است می‌توان به راپید وین، آژاکس، سویا و ردبول زالتسبورگ اشاره کرد.

## تیم ملی
وی همچنین در تیم ملی فوتبال اتریش بازی کرده‌است.

## منابع

* 

## پیوند به بیرون

رده:افراد زنده
رده:بازیکنان باشگاه آژاکس
رده:بازیکنان باشگاه راپیدوین
رده:بازیکنان باشگاه ردبول سالزبورگ
رده:بازیکنان باشگاه سویا
رده:بازیکنان بوندس‌لیگا اتریش
رده:بازیکنان تیم ملی فوتبال اتریش
رده:بازیکنان تیم ملی فوتبال جوانان اتریش
رده:بازیکنان فوتبال مرد دور از وطن در اسپانیا
رده:بازیکنان فوتبال مرد دور از وطن در هلند
رده:بازیکنان فوتبال مرد دور از وطن اهل اتریش
رده:بازیکنان لا لیگا
رده:بازیکنان لیگ برتر فوتبال هلند
رده:بازیکنان لیگ دسته اول فوتبال هلند
رده:زادگان ۱۹۹۸ (میلادی)
رده:مدافعان مرد فوتبال
رده:ورزشکاران دور از وطن اهل اتریش در اسپانیا
رده:ورزشکاران دور از وطن اهل اتریش در هلند
رده:ورزشکاران دور از وطن اهل اتریش در انگلستان
رده:ورزشکاران دور از وطن اهل اتریش در آلمان
رده:بازیکنان فوتبال مرد اهل اتریش
رده:بازیکنان باشگاه بروسیا مونشن‌گلادباخ
رده:بازیکنان بوندس‌لیگای ۱
رده:بازیکنان باشگاه لیدز یونایتد
رده:مدافعان مرکزی مرد فوتبال
رده:مدافعان کناری مرد فوتبال
رده:بازیکنان لیگ برتر فوتبال انگلستان
واچه باگراتونی

**واچه باگراتونی** (؛ ;  – ) یک بازیگر سینما اهل ارمنستان بود. وی بین سال‌های تا میلادی فعالیت می‌کرد. 

## زندگی‌نامه
وی در ۲۸ مهٔ ۱۹۱۱ در واغارشاپات به دنیا آمد  وی در ۲۷ اکتبر ۱۹۹۲ در سن ۸۱ سالگی در ایروان درگذشت.

## گزیده فیلمشناسی
از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به *[[پپو (فیلم)|پپو]]*، *[[پرتگاه (فیلم ۱۹۷۳)|پرتگاه]]* اشاره کرد.

## منابع

* 

*  
* 
* 
* 
* 
* 

## پیوند به بیرون
* 

رده:اهالی واغارشاپات
رده:بازیگران مرد سده ۲۰ (میلادی) اهل ارمنستان
رده:بازیگران مرد فیلم اهل ارمنستان
رده:درگذشتگان ۱۹۹۲ (میلادی)
رده:زادگان ۱۹۱۱ (میلادی)
ماشین صف

**ماشین صف** یک ماشین حالت متناهی است که توانایی ذخیره و بازیابی اطلاعات را از یک صف با حافظه بی‌نهایت دارد. این یک مدل محاسباتی معادل ماشین تورینگ است و بنابراین می‌تواند همان کلاس زبان رسمی را پردازش کند.

## تئوری
یک ماشین صف با شش تایی زیر تعریف می‌شود:
:M = (Q, \Sigma, \Gamma, \$, s, \delta)
*\,Q مجوعه حالات متناهی
*\,\Sigma \subset \Gamma مجموعه متناهی الفبای ورودی
*\,\Gamma  صف محدود الفبا
*\,\$ \in \Gamma - \Sigma  نماد اولیه صف است.
*\,s \in Q حالت شروع
*\,\delta : Q \times \Gamma \rightarrow Q \times \Gamma^* تابع انتقال

یک *پیکر بندی* ماشین، به صورت دوتایی حالت و محتوای صف است و به صورت \,(q,\gamma)\in Q\times\Gamma^* نشان داده می‌شود، که\,\Gamma^* به معنای ستاره کلین \,\Gamma می‌باشد. پیکربندی شروع با رشته ورودی\,x به صورت \,(s,x\$) تعریف می‌شود و انتقال \rightarrow_M^1 از یک پیکربندی به پیکربندی بعدی به صورت زیر بیان می‌شود:

:\,(p,A\alpha) \rightarrow_M^1 (q,\alpha\gamma)

که A نشانه ای از صف الفبا،\alpha یک دنباله از نمادهای صف(\alpha \in \Gamma^*)، و (q, \gamma) = \delta(p, A). توجه داشته باشید که ویژگی "first-in-first-out" از صف در رابطه وجود دارد.

ماشین رشته \,x\in\Sigma^* را قبول می‌کند اگر پس از یک تعداد محدودی از انتقال، پیکربندی شروع آنقدر پیش برود تا رشته را تهی کند (به رشته صفر برسد\,\epsilon) یا\,(s,x\$)\rightarrow_M^*(q,\epsilon).

## تکامل تورینگ
ما می‌توانیم ثابت کنیم که یک ماشین صف معادل یک ماشین تورینگ است. با نشان دادن اینکه ماشین صف می‌تواند دستگاه تورینگ را شبیه‌سازی کند و برعکس این امر اثبات می‌شود.

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

یک ماشین صف می‌تواند توسط یک ماشین تورینگ شبیه‌سازی شود، اما این شبیه‌سازی توسط ماشین تورینگ چندنواره بسیار راحت‌تر است. ماشین صف شبیه‌سازی شده ورودی را از یک نوار می‌خواند و در دومی ذخیره می‌کند و push و pop از صف با یک انتقال ساده به موقعیت آغاز و پایان نوار تعریف می‌شود.

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

## منابع

رده:اتوماتا (رایانش)
رده:مدل‌های محاسباتی
الگوریتم کلینی

در علوم نظری رایانه به خصوص در زبان فُرمال، الگوریتم کلین یک ماشین تعیین‌پذیر حالات متناهی را به یک عبارت باقاعده تبدیل می‌کند.

## شرح الگوریتم
بنابه گفته‌های Gross و Yellen, این الگوریتم را می‌توان به کلینی نسبت داد.

شرح این الگوریتم پیرو گفته‌های Hopcroft و Ullman است.
یک ماشین تعیین‌پذیر حالات متناهی (*M* = (*Q*, Σ, δ, *q*0, *F* با حالت‌های { *Q* = { *q*0,... ,*q**n* داریم، محاسبه الگوریتم بدین صورت است:
مجموعه‌های *R* شامل همه رشته‌هایی است که ماشین M از حالت *q**i* به حالت *q**j* می‌رود بدون اینکه از حالت‌هایی با شماره بالاتر از *k* عبور کند. *عبور کردن* را می‌توان *وارد شدن* یا *خارج شدن* تعبیر کرد، پس هر کدام از حالت‌های *i* و *j* می‌توانند بزرگتر از *k* باشد اما حالات میانی نمی‌توانند. هر مجموعه *R* با یک عبارت باقاعده نشان داده می‌شود؛ این الگوریتم عبارات را گام به گام برای *k* = -1, 0, … , *n* محاسبه می‌کند. از آنجایی که هیچ حالتی با شماره بزرگتر از *n* وجود ندارد، پس عبارت باقاعده *R* مجموعه همه رشته‌هایی است که ماشین *M* از حالت شروع *q**0* به حالت *q**j* می‌رود. در واقع اگر { *F* = { *q*1,... ,*q**f* حالات پذیرش باشد، عبارت باقاعده *R* | و.. | *R* نشان‌دهنده زبان پذیرفته‌شده توسط ماشین *M* است.

عبارت باقاعده اولیه برای *k* = *-۱* به صورت زیر محاسبه می‌شود:

:*R* = *a*1 | … | *a**m*, if *i*≠*j*, where δ(*q**i*,*a*1) = … = δ(*q**i*,*a**m*) = *q**j*
:*R* = *a*1 | … | *a**m* | ε, if *i*=*j*, where δ(*q**i*,*a*1) = … = δ(*q**i*,*a**m*) = *q**j*

حال در هر قدم عبارت باقاعده *R* از گام‌های قبلی به صورت زیر محاسبه می‌شود:

:*R* = *R* (*R*)* *R* | *R*

## مثال
بندانگشتی|ماشین تعیین‌پذیر حالات متناهی داده شده به الگوریتم کلینی

همان‌طور که در تصویر مشاهده می‌شود، یک ماشین تعیین‌پذیر حالات متناهی (*M* = (*Q*, Σ, δ, *q*0, *F* با تفاسیر زیر داریم:
* مجموعه حالات { *Q* = { *q*0, *q*1, *q*2,
* الفبای ورودی { Σ = { *a*, *b*,
* تابع انتقال δ که δ(*q*0,*a*)=*q*0, δ(*q*0,*b*)=*q*1, δ(*q*1,*a*)=*q*2, δ(*q*1,*b*)=*q*1, δ(*q*2,*a*)=*q*1, δ(*q*2,*b*)=*q*1,
* حالت شروع *q*0,
* مجموعه حالات پذیرش { *F* = { *q*1.

الگوریتم کلینی عبارات باقاعده اولیه را به صورت زیر محاسبه می‌کند:

سپس عبارت باقاعده *R* گام به گام از *R* برای *k* = -۱، ۰، … , محاسبه می‌شود. از ویژگی‌های جبر کلینی برای ساده‌سازی عبارات باقاعده تا حد امکان استفاده شده‌است.

گام صفر:

گام یک:

گام دو:

«گام دوم نیاز به ساده‌سازی دارد»

*q*0 حالت شروع و *q*1 تنها حالت پایان می‌باشد، لذا عبارت باقاعده *R* نشان‌دهنده مجموعه تمام رشته‌های پذیرفته‌شده توسط ماشین *M* است.

## منابع

رده:الگوریتم‌ها
رده:عبارت‌های باقاعده
رده:ماشین متناهی
رده:نظریه اتوماتا
یحیی بن اسد

**یحیی بن اسد سامانی** (؟ – ۲۴۱ ه‍. ق) یکی از چهار پسر اسد سامانی بود. او و برادرانش به خاطر خدمتی که به خاندان عباسی علی‌الخصوص مأمون کردند سزاوار تحسین‌اند. او و برادرانش به خاطر حمایت از مأمون در دفع شورش رافع بن لیث از طرف شخص مأمون پاداش حکومت در شهرهای مختلف را گرفتند و شهری که حکومت در آن به یحیی رسید چاچ (شاش) بود. یحیی در دوران حکومت و فرمانروایی خود زیاد جنب و جوش نداشت و تا آخرین دوران زندگانیش در قلمرو خود به‌غایت جلد و ضابط بود. او در سال ۲۴۱ هجری درگذشت و قلمرو فرمانروایی او به برادرش احمد بن اسد سامانی که مردی پارسا و کاربلد بود رسید.در زمان آن شهر کرج به پایتختی انتخاب شد.

## پانویس

## منابع
* 

رده:امپراتوری‌های پیشین
رده:اهالی ایران در سده ۹ (میلادی)
رده:تاریخ اسلام
رده:حکم‌رانان آسیا در سده ۹ (میلادی)
رده:خراسان تحت خلافت عباسی
رده:خلافت عباسی
رده:خلفای عباسی
رده:درگذشتگان ۸۵۵ (میلادی)
رده:سامانیان
درخت قاب

**درخت قاب**  نام یک گونه از تیره پنیرکیان است.

## منابع

* 

## پیوند به بیرون

رده:چوب
رده:درختان آفریقا
رده:گیاگان ساحل عاج
رده:گیاگان سیرالئون
رده:گیاگان غنا
رده:گیاگان کامرون
رده:گیاگان نیجریه
رده:گیاهان از گونه‌های کمترین نگرانی
ماهون‌های آفریقایی

**ماهون‌های آفریقایی**  نام یک سرده از تیره زیتون‌تلخیان است.

## منابع

* 

## پیوند به بیرون

رده:سرده‌های سنجدتلخیان
رده:سرده‌های ناترک‌سانان
رده:سنجدتلخیان
رده:گیاگان آفریقا
رده:ماهون
رده:گیاهان دوپایه جنسی
ماهون ستونی

**ماهون ستونی**  نام یک گونه از تیره زیتون‌تلخیان است.

## منابع

* 

## پیوند به بیرون

رده:چوب
رده:نجاری
رده:درختان آفریقا
رده:گیاهان آسیب‌پذیر
رده:ماهون
رده:فهرست سرخ IUCN از گونه‌های آسیب‌پذیر
ماهون بلند

**ماهون بلند**  نام یک گونه از تیره زیتون‌تلخیان است.

## منابع

* 

رده:درختان آفریقا
رده:ماهون
حذف عبارت‌های مشترک

**حذف عبارت‌های مشترک**  در نظریه کامپایلر، حذف عبارت‌های مشترک یک بهینه‌سازی کامپایلر است که نمونه‌هایی از عبارت‌های یکسان را جستجو می‌کند و تجزیه و تحلیل می‌کند که آیا جایگزین کردن عبارت‌ها با یک متغیر نگهدارنده مقدار آن ارزش دارد یا نه.

## نمونه
در کد زیر:
 ;a = b * c + g
 ;d = b * c * e
ممکن است ارزش داشته باشد که اینطور تغییر دهیم:
 ؛tmp = b * c
 ;a = tmp + g
 ;d = tmp * e
اگر هزینه‌های ذخیره‌سازی و بازیابی "tmp" کمتر از هزینه محاسبه "b * c" باشد.

## اصل
امکان انجام CSE بر اساس تجزیه و تحلیل عبارت در دسترس است. در یک برنامه عبارت `b*c` در نقطه p در دسترس است اگر:
* هر مسیر از شروع برنامه تا نقطه p, ارزیابی `b*c` قبل از رسیدن به *p *انجام دهد.
* مقادیر `b` یا `c` پس از آخرین ارزیابی b*c نباید تغییر کند.
تجریه و تحلیل هزینه/سود انجام شده توسط یک بهینه‌ساز بیان می‌کند که آیا هزینه ذخیره‌سازی در `tmp` کمتر از هزینه ضرب است یا نه؛ در عمل عوامل دیگر مانند اینکه مقادیر در چه ریجسترهایی نگه‌داری می‌شوند نیز قابل توجه است.

نویسندگان کامپایلر بین دو نوع CSE تمایز قایل‌اند:
* **حذف عبارت‌های مشترک محلی** در یک بلوک پایه انجام می‌شود.
* **حذف عبارت‌های مشترک سراسری** در کل رویه انجام می‌شود.
در هر دو نوع، بر تجزیه و تحلیل جریان داده‌ها تکیه می‌شود که کدام عبارات در کدام نقاط یک برنامه در دسترس هستند.

## مثال‌های حذف عبارت‌های مشترک محلی و سراسری
کد سی‌پلاس‌پلاس زیر را در نظر بگیرید:

```cpp
int main() {
    int x;
    int y;
    int z;

    y = 137;
    if (x == 0)
        z = y;
    else
        x = y;
}
```

برنامه بالا را به کد ماشین تبدیل می‌کنیم:

```
main:
   _t0 = 137;
     y = _t0;
   IfZ x Goto _L0;
_L1:
   _t2 = y;
     x = _t2;
   Goto end;
_L0:
   _t1 = y;
     z = _t1;
end:
   endFunc;
```

با حذف عبارت‌های مشترک محلی داریم:

```
main:
   y = 137;
   IfZ x Goto _L0;
_L1:
   x = x;
   Goto end;
_L0:
   z = y;
end:
   endFunc;
```

همچنین با حذف عبارت‌های مشترک سراسری داریم:

```
main:
   y = 137;
   IfZ x Goto _L0;
_L1:
   x = 137;
   Goto end;
_L0:
   z = 137;
end:
   endFunc;
```


## منابع

* Steven S. Muchnick, *Advanced Compiler Design and Implementation* (Morgan Kaufmann, 1997) pp. 378–396
* John Cocke. "Global Common Subexpression Elimination." *Proceedings of a Symposium on Compiler Construction*, *ACM SIGPLAN Notices* 5(7), July 1970, pages 850-856.
* Briggs, Preston, Cooper, Keith D. , and Simpson, L. Taylor. "Value Numbering." *Software-Practice and Experience*, 27(6), June 1997, pages 701-724.

رده:بهینه‌سازی کامپایلر
میمنت حسینی چاوشی

**میمنت حسینی چاوشی** جمعیت‌شناس ایرانی و پژوهشگر جمعیت در دانشگاه ملی استرالیا است. کتاب وی با عنوان *[[تحولات باروری در ایران]]* (با همکاری پیتر مک‌دونالد و محمدجلال عباسی شوازی) به عنوان برنده جایزه جهانی کتاب سال جمهوری اسلامی ایران معرفی شد.

## بازداشت
میمنت حسینی چاوشی اوایل آذر ۱۳۹۷ بازداشت شد. روزنامه کیهان علت این بازداشت را «جاسوسی اجتماعی» عنوان کرد و نوشت: در این راستا فرد مزبور با بنیادهای متعدد برانداز از قبیل فورد و راکفلر، همچنین بنیاد بیل و ملیندا گیتس و برخی دیگر از این دست، در ارتباط بوده‌است.

## منابع

رده:استادان دانشگاه اهل ایران
رده:استادان دانشگاه ملی استرالیا
رده:اعضای هیئت علمی دانشگاه ملبورن
رده:افراد زنده
رده:برگزیدگان کتاب سال جمهوری اسلامی ایران
رده:جمعیت‌شناسان اهل ایران
رده:دانش‌آموختگان دانشگاه ملی استرالیا
رده:زندانیان اهل ایران
رده:ایرانی‌های مهاجرت‌کرده به استرالیا
رده:استادان دانشگاه دور از وطن اهل ایران
رده:اتباع خارجی بازداشت شده در ایران
لاتاری (فیلم ۱۳۹۶)

***لاتاری*** فیلمی ایرانی در ژانر درام عاشقانه به کارگردانی محمدحسین مهدویان و نویسندگی ابراهیم امینی و مهدویان است که در سال ۱۳۹۶ منتشر شد. بازیگران فیلم ساعد سهیلی، هادی حجازی‌فر، حمید فرخ‌نژاد، جواد عزتی، علیرضا استادی، نادر سلیمانی، مهدی زمین‌پرداز، بهزاد فروتن، مهسا باقری، زیبا کرمعلی و امیرحسین هاشمی هستند.

*لاتاری* در سی و ششمین دوره جشنواره فیلم فجر در بهمن ۱۳۹۶ به نمایش درآمد و در ۲۳ اسفند ۱۳۹۶ در سینماهای ایران اکران شد. این فیلم در زمان اکرانش بیش از ۱۴ میلیارد تومان فروش داشت و پنجاه و دومین فیلم پرفروش تاریخ سینمای ایران شد.

## خلاصه فیلم
امیرعلی و نوشین دو جوان ۲۱ و ۲۲ ساله قصد ازدواج با یکدیگر را دارند. خانواده‌هایشان چندان موافق نیستند. آنها صبر پیشه کرده‌اند تا به مرور زمان رضایت خانواده‌هایشان را جلب کنند. آن دو یک رؤیای مشترک دارند؛ برنده شدن در لاتاری و دریافت گرین کارت آمریکا، اما نوشین به واسطه دوست یکی از آشنایان برای کار ترجمه به دبی می‌رود. پس از مدتی به امیرعلی می‌رسد که نوشین خودکشی کرده و او برای پی بردن به راز خودکشی به دبی می‌رود و می‌فهمد نوشین گرفتار باندهای قاچاق جنسی شده بود.

## لوکیشن
بخش عمده از لاتاری در مروارید دوحه و بخش دیگری از فیلم در دبی مارینا و کیش فیلمبرداری شده است.

## بازیگران
* ساعد سهیلی در نقش امیرعلی
* هادی حجازی‌فر در نقش موسی
* حمید فرخ‌نژاد در نقش مرتضی
* زیبا کرمعلی در نقش نوشین بیگی
* جواد عزتی در نقش نیما بیگی
* نادر سلیمانی
* علیرضا استادی در نقش رضا بیگی
* مهدی زمین‌پرداز در نقش سامی
* بهزاد فروتن
* حمیدرضا هدایتی
* مهسا باقری در نقش نسرین
* امیرحسین هاشمی در نقش ساسان
* غلامرضا شهبازی

## موسیقی

## ایده اولیه فیلم
سید محمود رضوی، تهیه‌کننده فیلم، با انتشار توییتی اعلام کرد ایده اولیه این فیلم را محمدحسین مهدویان پس از شنیدن ترانهٔ «مسلخ» از محسن چاوشی گرفته است که موضوعش تجارت و قاچاق دختران ایرانی به دبی است.

## اکران و فروش
این فیلم در تاریخ ۲۳ اسفند ۱۳۹۶ در سینماهای ایران اکران شده است؛ و پرمخاطب‌ترین فیلم سی و ششمین دوره جشنواره فیلم فجر و تاریخ جشنواره فیلم فجر است. *لاتاری* پر مخاطب‌ترین فیلم اکران نوروزی ۱۳۹۷ می‌باشد. این فیلم به دلیل موضوعش ماه‌ها در انتظار گرفتن پروانه ساخت بود. پس از پخش نسخهٔ نمایش خانگی لاتاری، این فیلم عنوان پر فروش‌ترین فیلم شبکه نمایش خانگی سال ۱۳۹۷ را بدست آورد.

## بازخورد
مصیب داوری در ایسنا فیلم‌نامه *لاتاری * را مورد انتقاد قرار داد. منتقدی دیگر به‌نام مصطفی ذاکری در ایسنا به «کلیشه ای» بودن شخصیت‌ها، داستان و دیالوگ اشاره کرد.

## جوایز و افتخارات

## جستارهای وابسته
* فهرست پرفروش‌ترین فیلم‌های سینمای ایران

## منابع

رده:خودکشی در فیلم‌ها
رده:فیلم‌ها به زبان فارسی
رده:فیلم‌ها به کارگردانی محمدحسین مهدویان
رده:فیلم‌های ۱۳۹۶
رده:فیلم‌های ۲۰۱۸ (میلادی)
رده:فیلم‌های پروپاگاندای ایرانی
رده:فیلم‌های درام ۲۰۱۸ (میلادی)
رده:فیلم‌های درام ایرانی
رده:فیلم‌های درباره انتقام
رده:فیلم‌های واقع‌شده در دبی
پادشکنندگی

بندانگشتی|کتاب پادشکننده نسیم طالب
**پادشکنندگی**  یک ویژگی در سامانه ها است که اگر در معرض تنش و ضربه یا هر نوع ناملایمت قرار بگیرد، به موقعیتی بهتر از قبل خواهد رفت و در برابر آن عامل، مقاوم‌تر خواهد شد. مفهوم پادشکنندگی فراتر از قابلیت ارتجاع و استحکام ساختاری است چرا که سامانه را در موقعیت بهتری از وضعیت پیشین قرار می‌دهد. این مفهوم ابتدا توسط نسیم نقولا طالب ارائه شده است.

## منابع

رده:دانش سامانه
رده:کشسانی
رده:ساختمان داده
رده:سامانه‌ها
رده:مدیریت ریسک
رده:نظریه پیچیدگی
رده:نظریه پیچیدگی محاسباتی
رده:نظریه سامانه‌ها
رده:مهندسی قابلیت اطمینان
فینال جام باشگاه‌های آسیا ۱۹۹۱

**دیدار نهایی جام باشگاه‌های آسیا ۱۹۹۱** بازی نهایی یازدهمین دوره جام باشگاه‌های آسیا است که در تاریخ ۲۲ دسامبر ۱۹۹۱ در دوحه قطر بین دو تیم استقلال ایران و الهلال عربستان در جام باشگاه‌های آسیا ۱۹۹۱ برگزار شد.

این دیدار در وقت‌های قانونی و اضافه با نتیجه ۱-۱ مساوی به پایان رسید. گل تیم استقلال را امیر هاشمی‌مقدم در دقیقه ۵۸ و گل تیم الهلال را حسین الحبشی در دقیقه ۷۳ به ثمر رساند. بازی با همین نتیجه در وقت‌های قانونی به پایان رسید و بعد از ۳۰ دقیقه وقت اضافی نیز گلی رد و بدل نشد و در ضربات پنالتی تیم الهلال ۴-۳ پیروز شد و برای نخستین بار عنوان قهرمانی جام باشگاه‌های آسیا را به دست آورد.

## جزئیات فینال



## جستارهای وابسته
* جام باشگاه‌های آسیا ۱۹۹۱
* لیگ قهرمانان آسیا

## منابع
* https://ar.wikipedia.org/wiki/%D9%86%D9%87%D8%A7%D8%A6%D9%8A_%D8%A8%D8%B7%D9%88%D9%84%D8%A9_%D8%A7%D9%84%D8%A3%D9%86%D8%AF%D9%8A%D8%A9_%D8%A7%D9%84%D8%A2%D8%B3%D9%8A%D9%88%D9%8A%D8%A9_1991
* Asian Club Competitions 1992 at RSSSF.com

رده:فینال‌های لیگ قهرمانان آسیا
رده:لیگ قهرمانان آسیا
رده:مسابقات باشگاه فوتبال استقلال تهران
رده:مسابقات باشگاه فوتبال الهلال
فینال جام باشگاه‌های آسیا ۱۹۹۹

**دیدار نهایی جام باشگاه‌های آسیا ۹۹–۱۹۹۸** بازی نهایی انجام شده در جام باشگاه‌های آسیا ۹۹–۱۹۹۸ است که در تاریخ ۳۰ آوریل ۱۹۹۹ برابر با دهم اردیبهشت ۱۳۷۸ در ورزشگاه آزادی شهر تهران بین دو تیم استقلال از ایران و جوبیلو ایواتا از ژاپن برگزار شد.

## مسیر تا فینال

## جزئیات مسابقه





منبع

## تماشاگران
طرفدار استقلال از ساعت‌ها قبل ورزشگاه آزادی را پر کردند. این در حالی‌ست که در حدود ۱۵ تا ۲۰ هزار هوادار این تیم نیز بیرون ورزشگاه ماندند و راهی به استادیوم نیافتند. این بازی پرتماشاگرترین بازی در تاریخ بازی‌های باشگاهی در آسیا می‌باشد.

## پیوند به بیرون
* ویدئوی خلاصه بازی در سایت یوتیوب

## جستارهای وابسته
* جام باشگاه‌های آسیا ۹۹–۱۹۹۸
* لیگ قهرمانان آسیا

## پانویس

## منابع
* Asian Club Competitions 1999 در RSSSF.com

رده:فینال‌های لیگ قهرمانان آسیا
رده:لیگ قهرمانان آسیا
رده:مسابقات باشگاه فوتبال استقلال تهران
رده:مسابقات باشگاه فوتبال جوبیلو ایواتا
اسراء عبدالفتاح

**إسراء عبدالفتاح** (؛ زادهٔ ) فعال اینترنت و وبلاگنویس اهل مصر است.

## تأسیس جنبش جوانان ششم آوریل
إسراء در سال ۲۰۰۸ جنبش جوانان ششم آوریل مصر را تأسیس کرد. این گروه برای حمایت از کارگران محله الکبری یک شهر صنعتی که قصد داشت در ششم آوریل دست به اعتصاب بزند تأسیس شد. این گروه به تدریج به یک جنبش سیاسی مردمی تبدیل شد.

## دستگیری
او در سال ۲۰۰۸ توسط نیروهای امنیتی مصر دستگیر شد. او توجه تعدادی از رسانه‌های مصری را که علیه سیاست سانسور دولت مبارزه می‌کردند را جلب کرد و به نماد مقاومت در برابر فساد و بی‌عدالتی تبدیل شد.

پس از گذراندن دو هفته در زندان او آزاد شد و در اطلاعیه‌ای اعلام کرد که دست از فعالیت سیاسی برمی‌دارد.

## اعتراضات سال ۲۰۱۱ در مصر
اسرا عبدالفتاح مجدداً در اعتراضات سراسری و انقلاب ۲۰۱۱ مصر که برای برکناری رژیم حسنی مبارک برگزار شده بود، فعال شد. او در اینترنت فعالیت می‌کرد و نیز شبکه خبری الجزیره را با آخرین اخبار اپوزیسیون مصر روزآمد می‌کرد.

هنگامی که ساختمان‌های امنیتی دولت در مارس ۲۰۱۱ مورد حمله قرار گرفتند، به موجب نشانه‌هایی از پرونده‌ها که در آن تخریب شده بود، یک پرونده ده صفحه ای از اسراء پیدا شد که حاوی ده صفحه از اسناد و مدارک مربوط به سه سال کار اینترنتی و هک ایمیل، و اطلاعات شخصی در مورد او بود.

او گفت: «احساسش در این رابطه متناقض و غیرقابل توصیف است.»

## افتخارات
نام او به عنوان کاندید جایزه صلح نوبل پیشنهاد شد.

در ۳۱ اکتبر ۲۰۱۱ توسط گلامور به عنوان زن سال نامیده شد.

## جستارهای وابسته
* انقلاب ۲۰۱۱ مصر
* اسماء محفوظ
* ایستادگی مدنی
* مقاومت بدون خشونت

## منابع

* 
* 

رده:افراد در انقلاب ۲۰۱۱ مصر
رده:افراد زنده
رده:انقلابیون اهل مصر
رده:زادگان ۱۹۷۸ (میلادی)
رده:کنشگران اهل مصر
رده:فعالان زن اهل مصر
رده:مخالفان اهل مصر
رده:وبلاگ‌نویسان اهل مصر
رده:ویکی‌سازی رباتیک
ماشین حالت یو.ام.ال

**ماشین حالت یو.ام. ال** (UML state machine) ماشین حالتی است که از نماد گذاری زبان مدلسازی یکپارچه استفاده می‌کند تا حالت‌های مختلف یک فرایند را نمایش دهد.

## اجزا ماشین حالت یو.ام. ال
### حالت
هر حالت، ممکن است ساده یا مرکب باشد. حالت مرکب، از یک یا چند ناحیه تشکیل شده‌است که هر ناحیه، خودش یک ماشین حالت یو.ام. ال است و حالت شروع و پایان دارد و وقتی وارد این حالت شدیم، ماشین، از حالت شروع درون این حالت، شروع به کار می‌کند و زمانی که به حالت پایانی رسید، بر اساس یال‌های خروجی آن، به حالت‌های دیگر می‌رود.

هر حالت ساده، از ۲ بخش تشکیل شده‌است. یک بخش، به نام این حالت اختصاص دارد و دیگری، شامل ۳ اطلاع است:

- در زمان ورود به این حالت، چه اتفاقاتی باید رخ دهد که به این صورت نمایش داده می‌شود: عمل / entry

- در زمان خروج از این حالت، چه اتفاقاتی باید رخ دهد که به این صورت نمایش داده می‌شود: عمل / exit

- در زمانی که در این حالت هستیم، چه اتفاقاتی باید رخ دهد که به این صورت نمایش داده می‌شود: عمل / do
[پیوند=[پرونده:UML state machine Fig1.svg|بندانگشتی]]

### یال
همچنین، یال‌های این گراف که نشان‌دهنده انتقال‌های بین حالت‌ها هستند، شامل شرط و عمل هستند که به این‌گونه بر روی یال قرار می‌گیرند: عمل / شرط

### حالت شروع و پایان
حالت شروع این ماشین حالت، با یک دایره توپر نمایش داده می‌شود و حالت پایان آن، با دایره توپری که دور آن یک حلقه وجود دارد، نشان داده می‌شود.

### اجرای همزمان چند ناحیه
همان‌طور که بالاتر ذکر شد، در حالت‌های مرکب، ممکن است چند ناحیه داشته باشیم و این ناحیه‌ها بخواهند همزمان اجرا شوند. در این صورت، بین یال‌های ورودی به آن ناحیه‌ها، یک خط عمودی رسم کنیم و بین یال‌های خروجی از آن‌ها نیز یک خط عمودی رسم می‌کنیم.

### حالت تاریخ
این حالت برای زمانی استفاده می‌شود که از یک حالت مرکب خارج شویم و بخواهیم دوباره به آن وارد شویم و بخواهیم اطلاعات مرحله قبل حفظ شود. برای این منظور، هنگام ورود مجدد به درون حالت مرکب، ابتدا به حالتی به نام "H" یا "*H" می‌رویم و سپس به حالت مدنظر منتقل می‌شویم.

"H" برای زمانی استفاده می‌شود که بخواهیم فقط اطلاعات خود حالت مرکب را ذخیره کنیم اما "*H" برای زمانی است که بخواهیم اطلاعات تمام ماشین را ذخیره کنیم.

## منابع

* Formal specifications of software- UML state machine, Bernhard Beckert
* UML state machines

رده:اتوماتا (رایانش)
رده:الکترونیک دیجیتال
رده:روش‌های صوری
رده:مدل‌های محاسباتی
رده:نمودارهای زبان مدل‌سازی یکپارچه
سوفیک سارگسیان

**سوفیک سارگسیان** (؛ ؛ زاده ) یک بازیگر اهل ارمنستان است. وی از سال ۱۹۷۴ میلادی فعالیت می‌کند.

## زندگی‌نامه
وی در ۸ دسامبر ۱۹۵۱ در ایروان به دنیا آمد و از دانشگاه دولتی علوم پرورشی خاچاطور آبوویان ارمنستان (۱۹۷۷) فارغ‌التحصیل شد.  سارگسیان بین سال‌های ۱۹۷۸–۱۹۸۰ به هنرپیشه در تئاتر نمایشی هراچیا غاپلانیان فعالیت کرده‌است. وی از سال ۱۹۹۵ در انستیتو دولتی سینما و تئاتر ایروان تدریس می‌کند.

## گزیده فیلمشناسی
* *[[ناهاپت]]* (۱۹۷۷)
* *[[باغ سیب]]* (۱۹۸۵)
* *[[سمفونی سکوت]]* (۲۰۰۱)
* *[[فرشته دیوانه]]* (۲۰۰۱)
* *[[گمشده و پیداشده در ارمنستان]]* (۲۰۱۲)
* *[[گارگین نژده (فیلم)]]* (۲۰۱۳)

## منابع

* 

*  
*  
* 
* 
* 
* 

## پیوند به بیرون
* 

رده:اهالی ایروان
رده:بازیگران زن سده ۲۰ (میلادی) اهل ارمنستان
رده:بازیگران زن فیلم اهل ارمنستان
رده:دانش‌آموختگان دانشگاه دولتی پرورشی خاچاطور آبوویان ارمنستان
رده:زادگان ۱۹۵۱ (میلادی)
ماشین الگوریتم حالت

روش **ماشین حالت [[الگوریتم|الگوریتمی]]** (انگلیسی: Algorithmic state machine) یا (ASM) یک روش برای طراحی ماشین‌ها است. این ماشین برای نشان دادن نمودارهایمدارهای دیجیتال یکپارچه شده‌استفاده می‌شود. نمودار ASM، مانند نمودار حالت است اما غیررسمی تر و در نتیجه درک آن آسان‌تر است. یک نمودار ASM یک روش توصیف عملیاتی پی در پی و متوالی یک سامانه دیجیتال است.

## روش ASM
روش ASM از مراحل زیر تشکیل شده‌است.
* ایجاد الگوریتم با استفاده از شبه‌کد برای توصیف عملکرد مورد انتظار دستگاه
* تبدیل شبه کد به نمودار ASM
* طراحی مسیرداده براساس نمودار ASM
* ایجاد یک نمودار دقیق ASM براساس مسیرداده
* طراحی کنترل منطقی براساس جزئیات نمودار ASM

## نمودار ای‌اس‌ام
بندانگشتی|یک جعبه خروجی شرطی که در نمودارهای ASM استفاده می شود.
نمودار ASM، شامل چهار عنصر اساسی است. نام واحد، واحد، چک کردن واحد، خروجی‌های شرطی. یک ASM به صورت یک مستطیل نشان داده می‌شود که حالت‌ها از یک نمودار منظم می‌باشد. خروجی از نوع ماشین مور در درون مستطیل نشان داده شده‌است.
نام واحد: نام یک واحد در داخل دایره نشان داده شده‌است؛ و دایره در گوشه سمت چپ قرار دارد یا نام بدون دایره قرار دارد.
باکس واحد
خروجی واحد در داخل مستطیل نشان داده شده‌است.
باکس تصمیم‌گیری
یک لوزی نشان می‌دهد که شرط بیان شده مورد آزمایش قرار گرفته و مسیر خروجی به ترتیب انتخاب می-شود. شرایط بیان شامل یک یا چند ورودی به FSM می‌باشد. برای وضعیت ASM نشان داده شده توسط یک لوزی یا یک ورودی و دو خروجی است و به شرط انتقال بین دو حالت یا یک حالت و خروجی مشروط استفاده می‌شود. باکس تصمیم‌گیری حاوی شرایط بیان شده برای آزمایش بوده و این بیان شامل ورودی برای FSM می‌باشد.
باکس خروجی شرطی: باکس خروجی شرطی به شکل بیضی نشان داده می‌شود که سیگنال خروجی از نوع میلی می‌باشد. این خروجی‌ها نه تنها به واحد بلکه همچنین به ورودی‌های FSM نیز بستگی دارد.

## مسیرداده
هنگامی که عملیات مورد نظر در یک مدار با استفاده از عملیات RTL توصیف شده‌است، اجراهای مسیرداده می‌توانند مشتق شوند. هر متغیر منحصر به فرد که یک مقدار در برنامه RTL را به خود اختصاص داده‌است که می‌تواند به عنوان یک واحد ثبت شده اجرا شود، وابسته به عملیات عملکردی که هنگام اختصاص یک مقدار به یک متغیر انجام می‌شود، ثبت برای آن متغیر ممکن است به صورت ساده بوده و متغیر در آن دیده شود و یک شمارنده پیش از بلوک منطقی به صورت ترتیبی قرار بگیرد. بلوک منطقی ترتیبی با یک ثبت مرتبط است؛ و می‌تواند یک کامپایلر را از طریق تابع منطقی ترکیبی اجرا کند.

## جزئیات نمودار ای‌اس‌ام
هنگامی که مسیرداده طراحی شد، نمودار ASM به یک نمودار دقیق تبدیل می‌شود. نماد RTL با سیگنال‌های تعریف شده در مسیرداده جایگزین می‌شود.

## جستارهای وابسته
* ماشین مور
* ماشین میلی
* روندنما

## منابع

## پیوند به بیرون

*Brief Introduction to ASM Charts
*ASM++: a modern Algorithmic State Machine methodology for RTL designs

رده:خودکارسازی طراحی الکترونیکی
رده:مقاله‌های ایجادشده توسط ایجادگر
رده:مهندسی کامپیوتر
رودولف قوندیان

**رودولف روبنی قوندیان** (؛ ؛ زاده  – درگذشته ۱۷ ژوئیه ۲۰۱۹) یک بازیگر اهل ارمنستان بود که بین سال‌های ۱۹۷۰ تا ۲۰۱۰ میلادی فعالیت می‌کرد.

## زندگی‌نامه
وی در ۶ مارس ۱۹۵۲ در کیسلوفودسک، سرزمین استاوروپول به دنیا آمد و از انستیتو دولتی هنری و نمایشی ایروان فارغ‌التحصیل شد. وی در فرهنگستان دولتی تئاتر سوندوکیان فعالیت می‌کرد. وی همچنین برندهٔ جوایزی همچون هنرمند شایسته جمهوری ارمنستان (۲۰۱۷) شده است. وی پس از یک دوره طولانی بیماری در ۱۷ ژوئیهٔ ۲۰۱۹ در سن ۶۷ سالگی در بیمارستانی در بلژیک درگذشت و در همان‌جا به خاک سپرده شد.

## گزیده فیلمشناسی
از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به *[[ناهاپت]]* (۱۹۷۷)، *[[رفیق پانجونی]]* (۱۹۹۳)، *[[خون (فیلم ۱۹۹۰)|خون]]*، *[[دانه انار (مجموعه تلویزیونی ارمنستانی)|دانه انار]]* اشاره کرد.

## پانویس

## منابع
* 

*  
* 

* 
* 
* 
* 

## پیوند به بیرون
* 

رده:اهالی کیسلوفودسک
رده:بازیگران مرد سده ۲۰ (میلادی) اهل ارمنستان
رده:بازیگران مرد تلویزیونی اهل ارمنستان
رده:بازیگران مرد فیلم اهل ارمنستان
رده:دانش‌آموختگان انستیتو دولتی هنری و نمایشی ایروان
رده:درگذشتگان ۲۰۱۹ (میلادی)
رده:زادگان ۱۹۵۲ (میلادی)
ورویر پانویان

**ورویر مارتیروسی پانویان** (؛ ؛ زاده  – درگذشته ) یک بازیگر اهل ارمنستان بود. وی بین سال‌های ۱۹۶۷ تا ۱۹۷۷ میلادی فعالیت می‌کرد.

## زندگی‌نامه
وی در ۳ سپتامبر ۱۹۰۷ در وانادزور، استان لوری به دنیا آمد  وی همچنین برندهٔ جوایزی همچون هنرمند مردمی ارمنستان شوروی (۱۹۶۱) شده است. وی در ۲۷ مهٔ ۱۹۷۷ در سن ۶۹ سالگی در آرتاشات درگذشت.

## گزیده فیلمشناسی
از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به ناهاپتاشاره کرد.

## منابع

* 

*  
* 
* 
* https://www.kinopoisk.ru/name/596184/
* 
* 
* 

## پیوند به بیرون
* 

رده:اهالی وانادزور
رده:بازیگران مرد سده ۲۰ (میلادی) اهل ارمنستان
رده:بازیگران مرد فیلم اهل ارمنستان
رده:درگذشتگان ۱۹۷۷ (میلادی)
رده:زادگان ۱۹۰۷ (میلادی)
آرتاشس گیوداکیان

**آرتاشس مکرتچی گیوداکیان** (؛ ؛  – ) یک بازیگر اهل ارمنستان بود. وی بین سال‌های ۱۹۷۴ تا ۱۹۹۲ میلادی فعالیت می‌کرد.

## زندگی‌نامه
وی برندهٔ جوایزی همچون هنرمند شایسته ارمنستان شوروی شده است.

## گزیده فیلمشناسی
از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به *[[ناهاپت]]* (۱۹۷۷)، *[[رفیق پانجونی]]* (۱۹۹۳)، *[[ستاره امید]]* (۱۹۷۸)، *[[یک تکه از آسمان (فیلم ۱۹۸۰)|یک تکه از آسمان]]* (۱۹۸۰)، *[[آرئویک (فیلم)|آرئویک]]* (۱۹۷۸)، *[[تانگوی کودکی ما]]* (۱۹۸۴) اشاره کرد.

## منابع

* 

*  

* 
* 
* 
* 
* 

## پیوند به بیرون
* 

رده:اهالی گیومری
رده:بازیگران مرد سده ۲۰ (میلادی) اهل ارمنستان
رده:بازیگران مرد فیلم اهل ارمنستان
رده:درگذشتگان ۱۹۹۵ (میلادی)
رده:زادگان ۱۹۳۴ (میلادی)
رده:هنرمندان شایسته ارمنستان شوروی
ماراته‌آ

**ماراته‌آ** (به ایتالیایی: Maratea) یک کومونه در ایتالیا است که در استان پوتنزا واقع شده‌است. ماراته‌آ ۶۷ کیلومتر مربع مساحت و ۵٬۲۰۵ نفر جمعیت دارد و ۳۰۰ متر بالاتر از سطح دریا واقع شده‌است.

## خواهرخوانده
شهرهای بولتسانو، سنتو، فرارا، کاروزینو و آوترانا خواهرخوانده‌های ماراته‌آ هستند.

## جستارهای وابسته
* فهرست شهرهای ایتالیا

## منابع

## پیوند به بیرون

رده:بازبینی گمر شهرهای ایتالیا
رده:شهرها و شهرک‌ها در باسیلیکاتا
رده:کومونه‌های استان پوتنزا
ملیکوکا

**ملیکوکا** (به ایتالیایی: Melicuccà) یک کومونه در ایتالیا است که در استان رجو کالابریا واقع شده‌است. ملیکوکا ۱۷٫۲ کیلومتر مربع مساحت و ۱٬۰۲۸ نفر جمعیت دارد.

## جستارهای وابسته
* فهرست شهرهای ایتالیا

## منابع

## پیوند به بیرون

رده:بازبینی گمر شهرهای ایتالیا
رده:شهرها و شهرک‌ها در کالابریا
رده:کومونه‌های استان رجو کالابریا
ارریا

**اُرریا** (به ایتالیایی: Orria) یک کومونه در ایتالیا است که در استان سالرنو واقع شده‌است. ارریا ۲۶٫۵۵ کیلومتر مربع مساحت و ۱٬۱۶۱ نفر جمعیت دارد و ۵۴۰ متر بالاتر از سطح دریا واقع شده‌است.

## جستارهای وابسته
* فهرست شهرهای ایتالیا

## منابع

## پیوند به بیرون

رده:شهرها و شهرک‌ها در کامپانیا
رده:کومونه‌های استان سالرنو
رده:محله‌های چیلنتو
مسئله تناظر پست

**مسئلهٔ تناظر پست** (به انگلیسی: Post correspondence problem) یک مسالهٔ تصمیم‌ناپذیر بر روی رشته‌ها است که در سال ۱۹۴۶ میلادی به‌وسیلهٔ امیل پست معرفی و اثبات شد. با نگاشت این مسئله بر روی مسائل تصمیم‌ناپذیر دیگر می‌توانیم تصمیم‌ناپذیری آن‌ها را نیز اثبات کنیم (مانند تصمیم‌ناپذیری ماشین‌های تورینگ).

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

## تعریف مسئله
یک *نمونه* از مسئلهٔ تناظر پست را این‌گونه تعریف می‌کنیم:

هر نمونه از این مسئله شامل دو لیست از رشته‌هایی است که بر روی الفبای \Sigma تعریف شده‌اند. فرض کنید این دو لیست A و B نام دارند که برای یک مقدار k این‌گونه تعریف می‌شوند:

A = x_1, x_2, ... , x_k

B = y_1, y_2, ... , y_k

برای هر i جفت (x_i,y_i) را یک جفت تناظر می‌گویند.

*جواب* مسئلهٔ تناظر پست را نیز این‌گونه تعریف می‌کنیم:

برای یک نمونه از مسئله *جواب* وجود دارد اگر دنباله‌ای از اعداد صحیح مانند i_1، i_2، … و i_n وجود داشته باشد که شرط زیر را ارضاء کند:

x_{i_1}x_{i_2}..x_{i_n}=y_{i_1}y_{i_2}..y_{i_n}

پس به‌طور کلی مسئلهٔ تناظر پست این‌گونه تعریف می‌شود:

«*آیا برای یک نمونه از مسئلهٔ تناظر پست جوابی وجود دارد یا خیر؟*»

## مثال
فرض کنید \Sigma = \{a, b\} و دو لیست A و B را این‌گونه در نظر بگیرید:

یک جواب برای این نمونه با n = 4، این‌گونه است: i_1 = 2, i_2=1, i_3=1, i_4=3؛ زیرا در این صورت:

x_{i_1}x_{i_2}x_{i_3}x_{i_4}=x_{2}x_{1}x_{1}x_{3}= abaaaaaab

y_{i_1}y_{i_2}y_{i_3}y_{i_4}=y_{2}y_{1}y_{1}y_{3}= abaaaaaab

که این دو شرط x_{i_1}x_{i_2}x_{i_3}x_{i_4}=y_{i_1}y_{i_2}y_{i_3}y_{i_4} را ارضاء می‌کنند.

## اثبات تصمیم ناپذیری مسئلهٔ تناظر پست
ایدهٔ کلی برای اثبات تصمیم ناپذیری مسئلهٔ تناظر پست این است که آن را بر روی یک مسئلهٔ تصمیم ناپذیر معروف دیگری نگاشت کنیم و بهترین گزینه مسالهٔ توقف است. این نگاشت را این‌گونه در نظر بگیرید: «یک مسئلهٔ تناظر پست می‌تواند یک ماشین تورینگ دلخواه را با یک ورودی خاص اجرا کند. مسئلهٔ تناظر پست در صورتی جواب دارد اگر و فقط اگر ماشین تورینگ ورودی‌اش را قبول و توقف کند.»

## منابع

رده:مسئله‌های تصمیم‌ناپذیر
رده:نظریه بازگشت
رده:نظریه محاسبات
دختر دشت آرارات

**دختر دشت آرارات** () یک فیلم است محصول سال ۱۹۴۹، به کارگردانی هامو بیک-نازاریان 

## بازیگران
* آوت آوتیسیان
* گورگن گن
* استپان کوورکوف
* هایک دانزاس
* :داویت پوغوسیان (بازیگر)
* تادئوس ساریان
* کارپ خاچوانیان
* متاکسیا سیمونیان
* 
* ی. هاروتیونیان
* گورگن گابریلیان (بازیگر)
* وارتگس یاووریان
* آرام آمیربکیان
* ویولتا یوتوجیان

## یادداشت

## منابع

## پیوند به بیرون
* 

رده:فیلم‌های ارمنی
رده:فیلم‌های درام عاشقانه
رده:فیلم‌های ساخت اتحاد شوروی
رده:فیلم‌های سیاه‌وسفید
رده:فیلم‌های موزیکال
رده:فیلم‌های کارگردانی‌شده توسط هامو بیک-نازاریان
مسئله ارتفاع ستاره

مسئلهٔ ارتفاع ستاره که توسط Eggan Lawrence C مطرح شده‌است، مسئله‌ای در تئوری زبان صوری است که سعی در پاسخ به این پرسش دارد که آیا می‌توان همهٔ زبان منظم را به کمک عبارات منظمی که ارتفاع ستارهٔ محدودی دارند بیان کرد؟ ارتفاع ستارهٔ یک عبارت منظم، بیشینهٔ عمق ستاره‌های تو در تویی است که در آن عبارت وجود دارد.
به‌طور مشخص‌تر، این مسئله بیان می‌کند که آیا همیشه عمق تو در توی یک کافی است و امکان‌پذیر است که همهٔ زبان‌های منظم را با عبارات منظم به عمق یک نشان داد؟ اگر پاسخ این سؤال منفی است، آیا الگوریتمی وجود دارد که عمق مورد نیاز را مشخص کند؟

مسئلهٔ اولیه، نخستین بار توسط Eggan پاسخ داده شد [۱]. او با ارائه مثالی نشان داد که پاسخ این پرسش منفی است. او برای هر عدد طبیعی مانند n، یک زبان منظم با ارتفاع ستارهٔ n ارائه داد. ساخت این عبارات به صورت بازگشتی است و به این ترتیب صورت می‌گیرد که عبارت e_{n+1}، از کنار هم قرار دادن دو نسخهٔ e_n و تغییر نام نسخهٔ دوم با نام‌های جدید و پس از آن اضافه کردن یک نشانهٔ جدید در انتها و اضافه کردن پرانتز و ستاره در اطراف عبارت ساخته شده تا اینجا، صورت می‌گیرد.
گل‌میخی

با به‌کارگیری تنظیم «چپ» تصویر در سمت چپ متن ظاهر می‌شود.
Eggan ثابت کرد که هیچ عبارت منظمی با ارتفاع ستارهٔ کمتر از n وجود ندارد که معادل با  e_n باشد [۱]. هرچند مثال ارائه شده توسط او از الفبای بزرگی استفاده می‌کند که برای زبانی با ارتفاع ستارهٔ n، اندازهٔ آن 2*n*-۱ است. به همین دلیل، سؤال دیگری که مطرح کرد این بود که آیا مثال‌هایی روی الفبای دودویی وجود دارد که به این شکل باشند؟ این سؤال به سرعت توسط Dejean و Schützenberger پاسخ داده شد [۳]. آن‌ها مثالی بازگشتی از چنین عباراتی به ازای هر n ارائه دادند. e_n در هر گام به این صورت ساخته می‌شود که ابتدا به تعداد 2*n* نشانهٔ اول و سپس e_n و پس از آن به تعداد 2*n* نشانهٔ دوم و در انتها نیز  e_n قرار می‌گیرد. در نهایت پرانتز دور این عبارت قرار گرفته و ستاره اضافه می‌شود.

Dejean و Schützenberger و Salomaa نشان دادند که هیچ عبارت منظمی با ارتفاع ستارهٔ کمتری نمی‌تواند n را توصیف کند [۳٬۴].

سؤال مطرح شدهٔ دوم، پاسخ به نسبت پیچیده‌تری نسبت به سؤال اول دارد و برای حدود دو دهه به عنوان یکی از مسائل معروف حل نشدهٔ حوزهٔ زبان‌های صوری شناخته می‌شد [2]. Hashiguchi در سال ۱۹۸۸ الگوریتمی برای تعیین ارتفاع ستارهٔ هر عبارت منظمی ارائه داد. اما این الگوریتم عملی نیست و به محاسباتی می‌انجامد که حتی برای مثال‌های کوچک نیز امکان‌پذیر نیست.
الگوریتم بهینه‌تری توسط Kirsten در سال ۲۰۰۵ ارائه شد، اما حتی این الگوریتم هم فاصلهٔ زیادی با آنچه که قابل انجام است، دارد [۵].
این الگوریتم توسط Colcombet و Löding در سال ۲۰۰۸ کلی‌سازی و بهینه‌سازی شده‌است [۶] و در سال ۲۰۱۷ در ابزار Stamina پیاده‌سازی شده‌است [۷].

## منابع

رده:اتوماتا (رایانش)
رده:زبان‌های صوری
رده:قضیه‌ها در ریاضیات گسسته