moaminsharifi/fa-wiki-spell-checker huggingface dataset:
اگرچه نخستین تجربه‌های هنر اجرا و چیدمان در ایران به دهه ۱۳۵۰ و آثار مرتضی ممیز و مارکو گریگوریان مربوط می‌شود، اما با وقفه‌ای طولانی، نخستین هنر چیدمان در پس از انقلاب در سال ۱۳۷۲ توسط گروهی از هنرمندان جوان شامل شاهرخ غیاثی، ساسان نصیری، و فرید جهانگیر در خانه‌ای رو به تخریب انجام شد. یکی از مهم‌ترین این پروژه‌ها اما «تجربه ۷۷» نام داشت که در سال ۱۳۷۷ توسط گروهی شامل بیتا فیاضی، نصیری، جهانگیر، و خسرو حسن‌زاده به صورت نمایشگاه گروهی در تهران اجرا شد. در همین سال، اثر مهم «سوسک‌ها» از بیتا فیاضی برنده جایزه ویژه ششمین دوسالانه سفالگران ایرانی شد؛ اثری که در آن هزاران سوسک سرامیکی و لعاب‌دار به نمایش گذاشته شدند. مهم‌ترین رویداد در مطرح شدن این نسل از هنرمندان اما، نمایش آثار ایشان در نمایشگاه «نخستین نمایشگاه هنرهای مفهومی» در تابستان ۱۳۸۰ در موزه هنرهای معاصر تهران بود که بازدیدکنندگان بسیاری را به همراه داشت. پس از آن، نمایشگاه «باغ ایرانی» توانست تعداد زیادی از هنرمندان ایرانی و خارجی را در موزه هنرهای معاصر گرد آورد. از جمله آثار مطرح به نمایش گذاشته در این نمایشگاه، چیدمان «باغ بی‌برگی» اثر عباس کیارستمی بود که چندین تنه چنار را به نشانه پیوند زمین و آسمان در کنار هم به نمایش می‌گذاشت. از جمله مطرح‌ترین نام‌های موج نوی سینمای ایران در جهان، کیارستمی در مجموعه عکس‌های «سفید برفی» خود نیز طبیعت برفی و نمایش درختان در شکلی مینیمال را به تصویر کشیده بود.
هنر پرفورمنس یا اجرا نیز در این دوره رشد دوباره‌ای به خود گرفت. هنرهای اجرایی سنتی در ایران از قدمت بالایی برخوردار هستند و هنرهایی چون شبیه‌خوانی و معرکه‌گیری هواداران زیادی در میان عامه مردم ایران دارند. پروژه‌هایی چون "هنر در روستا" (۱۳۸۵ به بعد) به درگیر کردن مخاطبان غیرحرفه‌ای در اجراهای خودجوش و بدون برنامه‌ریزی شده کمک کرده‌اند. اگرچه هنرمندان این پروژه‌ها، اغلب از تحصیل‌کردگان رشته‌های هنری بوده‌اند، اما مخاطبان این برنامه مردم روستاها و شهرهای کوچکتر ایران هستند که جزئی از هنر تعاملی می‌شوند. در اجرای «ماهی‌های یونس»، هنرمندان طبیعت دوست ایرانی خود را در کفن پلاستیکی پوشانده و در زمین‌های خشک تالاب گاوخونی – که با خشک شدن رود زاینده‌رود، از آب تهی شده بود – دراز کشیدند تا توجه مردم را به مسائل محیط زیستی در ایران و خشک شدن کشور جلب کنند. این اجرا، از جمله اجراهای پیشرو در زمینه ترکیب هنر پرفورمنس با هنر محیط زیستی (Eco-art) بود.
با برقراری حکومت اسلامی در ایران، تقریباً همه هنرهایی که به شکلی زنانگی در خود داشتند – از جمله رقص، آوازخوانی، باله، مُد – یا به کلی کنار گذاشته یا محدود شدند. این در حاشیه نگاه داشته شدن و سرکوب، خود را در آثار هنری معاصر پسا انقلاب ایران به شکلی تاریک یا اعتراضی نشان می‌دهد. زنان در این آثار به صورتی جسور و مبارز حاضر شده‌اند که نوعی اعتراض به سرکوب اجتماعی خود است. با اجباری شدن حجاب در کشور، موضوع حجاب و چادر بخش بزرگی از کارهای هنرمندان زن منتقد را تشکیل داد. حجاب و چادر در کارهای عده‌ای از هنرمندان زن ایرانی بیرون از کشور، نمادی برای نمایش سخت‌گیری‌های مذهبی و خودباختگی زنانه می‌شود؛ کارهایی که می‌توان در نوع خود «هنر چادر» نام داد.
سونیا بالاسانیان، هنرمند ارمنی‌تبار، از جمله نخستین هنرمندانی بود که توجه مخاطبان غربی را به چادر جلب کرد. در مجموعه «روزهای سیاهِ سیاه»، وی زنانی را به تصویر می‌کشد که چهره‌هایشان در فضایی از ترس و وحشت با حجاب مخدوش و سانسور شده‌است. ارائه این کارها در هنگامی که جنگ ایران و عراق به تازگی به پایان رسیده بود، توجه بسیاری را به شرایط اجتماعی ایران جلب کرد. مرجان ساتراپی در نقاشی‌های مصور خود با نام "پرسپولیس"، چهره‌ای تاریک از زندگی روزمره دختران جوان ایرانی در حکومت اسلامی ارائه می‌دهد. ساتراپی در مجموعه داستان‌های خود، تجربه‌های شخصی خود هنگام حضور در ایران و نیز تجربه‌های روزمره زنان ایرانی را به تصویر می‌کشد.
شیرین نشاط در مجموعه‌های "زنان الله" و "عصیانگر" خود، به هویت زن ایرانی در فضای نظامی–مذهبی پس از جنگ و رنگ باختن زنانگی در پشت لباس‌های سیاه می‌پردازد. او در آثار متعدد خود با نشان دادن فضاهایی گاه همه مردانه و گاه به‌طور کامل زنانه، به محدودیت‌های زنان و جداسازی‌های جنسیتی در پس از انقلاب می‌تازد. کنتراست شدید میان رنگ‌های سیاه و سفید از ویژگی‌های آثار عکاسی و ویدئویی او هستند که با بهره‌گیری از آن‌ها، به درکی خشک و سیاه‌سفید از اسلام مدرن اشاره می‌کند. ناهید حقیقت نیز در آثار آکواتینت خود در فضایی تاریک و غمگین، زنان ایرانی را در زیر ترس از زیرنظر گرفته شدن و داشتن آرزوی آزادی به تصویر می‌کشد. او حتی پیش از اجباری شدن حجاب در کشور، با نشان دادن زنانی که در پی برداشتن روسری از سر هستند، جامعه پدرسالار ایران را به نقد کشید. از دیگر هنرمندانی که در کارهایشان به موضوع حجاب پرداخته‌اند، می‌توان به پرستو فروهر، شهرام انتخابی، و لیلا پازوکی اشاره کرد.
هنرمندان درون کشور نیز به گونه‌ای به حاشیه رانده شدن زنان در ایران اشاره کرده‌اند. شادی قدیریان به عکاسی از زنانی می‌پردازد که صورت‌هایشان با لوازم خانه، همچون اتو و جارو دستی و آبکش، پوشانده شده‌است و به مسئله هویت زن و نقش‌های جنسیتی در جامعه مردسالار اشاره می‌کند. او همچنین به خاطر مجموعه عکاسی "زنان قاجار" خود شناخته شده‌است؛ در ارائه‌ای بدیع، قدیریان دوستان و اعضای خانواده‌اش را در لباس‌های قاجاری و در حالی که ابزارآلات مدرنی چون رادیو یا نوشابه پپسی‌کولا در دست دارند به تصویر کشیده‌است. کتایون کرمی در مجموعه "سانسور" خود چهره‌هایی مخدوش و سرکوب شده از زنان را نمایش می‌دهد که صدا یا تصویرشان سانسور شده‌است یا در حالی که دستی در جلوی دهانشان قرار گرفته‌است، از فریاد زدن بازمانده‌اند.
موج نخست هنرمندان مهاجر ایرانی، در دهه‌های ۱۹۴۰ تا ۱۹۶۰، پاریس را به عنوان مقصد کاری خود برگزیدند. در آن هنگام، پاریس هنوز به عنوان پایتخت هنری جهان شناخته می‌شد و این هنرمندان اغلب نه به دلایل سیاسی، بلکه بیشتر برای نزدیکی به محفل‌های هنری به‌روز اروپایی تشویق به مهاجرت شده بودند. ناصر عصار از جمله نخستین ایرانیان مهاجر به فرانسه بود. ابوالقاسم سعیدی و زنده‌رودی نیز اگرچه برای زندگی به پاریس مهاجرت کردند، اما تا پیش از انقلاب ایران به دلیل بازار مناسب داخلی، به کشور رفت‌وآمد داشتند.
اگرچه فضای هنری ایران در دوران پهلوی دوم به سوی هرچه بازتر و لیبرال‌تر شدن پیش می‌رفت، اما فضای سانسور حاکم بر حکومت پهلوی، تعدادی از هنرمندان از جمله اردشیر محصص و اکبر بهکلام را ناچار به تبعید خودخواسته کرد. اغلب این هنرمندان پس از فرو افتادن حکومت پهلوی نیز به ایران بازنگشتند. اردشیر محصص در سال ۱۹۷۶ به دلیل مخالفت آشکار سیاسی، از برگزاری نمایشگاه و کار منع شد و اندکی بعد به پاریس و سپس به ایالات متحده آمریکا مهاجرت کرد. اکبر بهکلام نیز در آثار خود فضای تاریک و دهشتناک زندان و وضعیت زندانیان سیاسی را، در هر دو حکومت پهلوی و اسلامی، نمایش داده‌است. سبک او در آغاز ترکیبی از واقع‌گرایی و هنر مینیاتور ایرانی بود، اما بعدها و به ویژه در کارهای سیاسیش، سبک نو–اکپرسیونیسم را دنبال کرد. نیکی نجومی، دیگر هنرمند ساکن آمریکا، در کارهای خود به شکلی مستقیم به سیاست‌های استبدادی در هر دو دوران پیش و پس از انقلاب حمله کرد. در نقاشی‌های نجومی بازداشت‌های ساواک، قدرت روحانیون، و تاریخ ایران در کنار ساختار فاسد حکومتی به شکل عام به تندی به نقد کشیده می‌شوند و سیاستمداران تکه‌تکه شده و بازسازی شده با اجزای نامانوس در فضایی سوررئال به نمایش تضادهای درونی خود می‌پردازند. به دلیل انتقادهای صریح و تند وی از حکومت، نجومی از آموزش هنر در دوران پهلوی منع شد. پس از مهاجرت به آمریکا و وقوع انقلاب نیز جمهوری اسلامی به وی اجازه کار در ایران را نداد و میرحسین موسوی، نخست‌وزیر وقت ایران، از او به خاطر ضداسلامی بودن انتقاد کرد.
موج دوم مهاجرت هنرمندان ایرانی، با روی دادن انقلاب اسلامی در سال ۱۳۵۷ همراه بود. مارکو گریگوریان، ژازه تباتبایی، پرویز تناولی، ابوالقاسم سعیدی، عباس عطار، مسعود عربشاهی، ناصر اویسی، و سیراک ملکونیان از این دست هنرمندان بودند که اغلب به آمریکای شمالی مهاجرت کردند. لیلی متین دفتری، کامران دیبا، بیژن صفاری، و علی مهدوی نیز پاریس را به عنوان مقصد خود برگزیدند. بسیاری از این هنرمندان تا نزدیک به دو دهه به ایران مسافرت نمی‌کردند یا نمایشگاهی در این کشور نمی‌گذاشتند، اما با روی کار آمدن محمد خاتمی، موزه‌های ایران برای بار دیگر پذیرای آثار تعدادی از آن‌ها شد و آن‌ها توانستند برای ارائه نمایشگاه به کشور بازگردند.
به دنبال یافتن و حفظ هویت ایرانی خود در جهانی غریب، هنرمندان ایرانی از عنصر نوستالژی و نگاه به گذشته بهره گرفتند. تعدادی از هنرمندان مردمی (پاپ آرتیست) در کالیفرنیا، ایالات متحده، به نمایش شکوه ایران باستان و آفرینش دستاوردهای کوروش بزرگ پرداختند. حجت‌الله شکیبا در کارهای هایپررئالیستی خود این شکوه تاریخی را با نشان دادن زنان ایرانی در دوره‌های تاریخی گوناگون به تصویر می‌کشد و به بازسازی تصاویر کاخ‌ها و شخصیت‌های شکوهمند هخامنشی پرداخته‌است. کارهای او از جمله آثار هنری پرهوادار در میان ایرانیان بیرون از کشور بوده‌اند. بازگشت به تاریخ کهن ایران و تمدن هخامنشی در کارهای ملیحه افنان، هنرمند اسرائیلی با تبار ایرانی، از دریچه خاطره‌های خانواده‌اش به هنگام بودن در ایران، به تصویر کشیده شده‌اند. فریدون آو، نقاش و گالری دار، به تاریخ اسطوره‌ای و پهلوانی ایران مراجعه کرده‌است و پهلوانی رستم‌گونه را در کارهای میکس‌مدیا با تصاویر عباس جدیدی، کشتی‌گیر نامدار ایرانی، نشان می‌دهد. او برای جستجو در هویت ملی ایرانی، به ریشه‌های زرتشتی خود و داستان‌های شاهنامه بازگشته است. نوستالژی تاریخی در کارهای قاسم حاجی‌زاده نیز به فراوانی دیده می‌شود؛ اما نگاه او بیشتر به تاریخ معاصر ایران در چند سده گذشته‌است. حاجی‌زاده تا اندکی پس از انقلاب در ایران حضور داشت، اما در نهایت به دلیل فشارهای سیاسی و نداشتن اجازه برای برگزاری نمایشگاه، در سال ۱۹۸۷ به پاریس مهاجرت کرد. نقاشی‌های او علاقه وی به عکاسی را به نمایش می‌گذارند. او در کارهای خود عکس‌های قدیمی از شخصیت‌های تاریخی ایران در دوره قاجار و پهلوی را (همچون تاج‌السلطنهتاج‌السلطنه شاهدخت نامدار قاجار بود که از جمله پیشروان لیبرالیسم و فمینیسم در ایران به‌شمار می‌رفت و برای نخستین بار نقاب کنار زده، سوار بر دوچرخه شد.) بازسازی کرده، و به هنر مردمی توجه ویژه‌ای داشته‌است.
اما، تعدادی از هنرمندان ایرانی در خارج کارهایی جهان‌شمول‌تر ارائه کردند و اغلب به خاطر کارهای انتزاعی پیشرو خود در محفل‌های هنری غرب شناخته شدند. از جمله ایشان، می‌توان به منیر فرمانفرمائیان اشاره کرد که از نخستین هنرمندان ایرانی بود که در ایالات متحده ساکن شد،منیر فرمانفرمائیان و منوچهر یکتایی تقریباً هر دو هم‌زمان در آمریکا مستقر شدند. و در دوران هنری خود از جمله اعضای سرشناس جنبش‌های هنری نیویورک بود که با اندی وارهول نیز همکاری داشت. او در کارهای متعددی که در ایران و آمریکا آفرید، از آینه‌کاری‌های ایرانی در نشان دادن اشکال گوناگون هندسی و بازتاب‌های بینابینی نور در آینه‌ها بهره گرفت. او از جمله معدود هنرمندان ایرانی است که به بازآفرینی این هنر کهن ایرانی پرداخت و کارهای هندسی خود را هم در سازه‌هایی چون هتل اینترکنتیننتال تهران به کار برد، و هم بر روی بوم‌های کوچک‌تر. رویکرد فرمانفرمائیان، بر خلاف انتزاع‌گرایی جهان‌شمول صدر یا وزیری، متأثر از فرهنگ ایران بود و ترکیب نقاشی معکوس بر آینه و بهره‌گیری از آن به عنوان ماته، به همراه بهره‌گیری بدیع وی از اشکال هندسی برای انتزاع، توجه بسیاری را در جهان هنر به خود جلب کرد. شیرازه هوشیاری نیز با بیانی جهان‌شمول اما تأثیر پذیرفته از اشکال هندسی اسلامی، از این اشکال در طرح‌های شیشه‌کاری نوین خود در معماری بهره برد. او که برای تحصیل هنر به لندن رفته بود، پس از انقلاب در همان شهر ماند و به کار ادامه داد. طرح‌های او بیان‌گر دیدگاه عرفانی متأثر وی از شعرهای مولوی هستند. کامران یوسف‌زاده، با نام هنری وای.زی. کامی، دیگر هنرمند ایرانی است که کارهایش نگاهی جهان‌شمول دارند و به باور تالین گریگور، نمی‌توان بر آن‌ها برچسب «ایرانی» صرف زد. پرتره‌های او – که بازآفرینی نقاشی از عکس‌های گرفته شده از صورت خانواده، دوستان، و مردم هستند و پیرو سبک علی محمد حیدریانعلی محمد حیدریان نقاشی چیره‌دست و شاگرد کمال‌الملک بود که سبک وی را دنبال می‌کرد و استاد بسیاری از نقاشان نوین ایرانی نسل نخست شد. – در حالت‌هایی عرفانی و خلسه وار قرار دارند که احساسات عمیق درونی را به تصویر می‌کشند.
کنکاش در نگره هنر ارتباطی، جدا از ریشه‌های قومی، در کارهای مفهومی و مانیفست‌های هنری سیا ارمجانی، هنرمند ساکن ایالات متحده و از شناخته‌شده‌ترین هنرمندان ایرانی در آن کشور، دیده می‌شود. پیش از مهاجرت به مینه‌سوتا در ۱۹۶۰، کارهای او تمرین‌های ریز خطاطی (گاه بر روی لباس) بودند. پس از مهاجرت، خانه او در مینه‌سوتا میزبان بسیاری از هنرمندان ایرانی، از جمله تناولی شد. کارهای مفهومی او در نمایشگاه‌های معتبری همچون موزه هنر مدرن به نمایش درآمدند. بسیاری تندیس‌های سازه وار او اگرچه در ابعاد نمایشگاهی بودند، اما الهام‌بخش تعدادی از پل‌ها و سازه‌ها شدند. در سازه‌های او، مرز میان سازه و تندیس باریک می‌شود و بیننده–شهروند تشویق به اندیشه، تعامل، و دیالوگ می‌شود. سازه–تندیس‌های مدرن او از جمله نخستین آثار هنر ارتباطی در جهان به‌شمار می‌روند.
شیرین نشاط را می‌توان یکی از موفق‌ترین هنرمندان ایرانی در جهان دانست. نشاط در جوانی برای تحصیل به آمریکا رفت و پس از انقلاب ایران در آن کشور باقی ماند و زندگی در نیویورک را برگزید. پس از سفر به ایران در ۱۹۹۰، وی کار بر روی مجموعه عکس‌های "زنان الله" خود را آغاز کرد که از جمله نامدارترین مجموعه‌های هنر معاصر ایران به‌شمار می‌رود.
در دهه‌های نخست ورود هنر نوین به ایران، بحث بر سر کیفیت آثار کم انجام می‌شد و اغلب آثار نقد نمی‌شدند. نشریه‌های موجود در آن هنگام (همچون سخن، فردوسی، رستاخیز، و رستاخیز جوانان) گاه به چاپ این کارها و گفتگو با هنرمندان نوگرا می‌پرداختند و محتوای چنین مطالبی نیز گاه توسط نویسندگانی چون جلال آل احمد مورد تفسیر قرار می‌گرفت؛ اما در بیشتر موارد، مقصود هنرمند از پیدایش اثر و پیام اجتماعی آن مورد بررسی قرار می‌گرفت و نه ارزش هنری خود آن. جلال آل احمد در بازدیدی که از گالری آپادانا و کارهای ضیاءپور داشت، از وی و دیگر هنرمندان معاصر ایران به خاطر «غرب‌زدگی» ایشان انتقاد کرد و تنها یکی از آثار ضیاءپور را که در آن مسجدی به شکل کوبیستی کشیده شده بود، به خاطر ارتباط حداقلیش با ایران ستود. ضیاءپور نیز در پاسخ چنین انتقادهایی، به دفاع از کوبیسم و به‌کارگیری خطوط و اشکال هندسی در نقاشی پرداخت؛ اَشکالی که به گفته او برای دوره‌های طولانی در حافظه تاریخی هنر ایران به شکل طراحی‌های هندسی آبستره حضور داشته‌اند و ایرانیان با آن‌ها ناآشنا نبودند.
اکبر تجویدی، هنرمند و تاریخ‌نگار هنری، از جمله دست‌اندرکاران نخستین دوسالانه هنر تهران بود که نخستین نوشته‌های رسمی در رابطه با هنر نوین در کشور را منتشر کرد و در آن‌ها به مشخصه‌های مشترک میان هنرمندان نوگرای ایرانی پرداخت. او در کتاب خود با نام «هنر مدرن در ایران»منتشر شده به زبان فرانسوی با نام "L'Art Moderne en Iran" به طبقه‌بندی ویژگی‌های آثار به نمایش درآمده توسط هنرمندان نوگرای کشور در دوسالانه‌های تهران پرداخت. یارشاطر نیز چندین نوشتهٔ پیشرو در دهه ۱۹۵۰ در نشریات و دفترچه نمایشگاه‌های هنری منتشر کرد و به بیان تاریخچه هنر نوین ایران از دهه‌های ۱۹۴۰ تا ۱۹۷۰ در کتاب خود با نام «آثار برجسته هنر ایرانی»"Highlights of Persian Art" پرداخت. در بخشی از این کتاب، وی از اینکه آثار هنرمندان نوگرای نسل نخست «غیرمتعهد و رهای از واقعیت‌های اجتماعی ایران» بود، انتقاد کرد.
کریم امامی، روزنامه‌نگار، نقدهایی بر هنر نوین ایران نوشت که می‌توان گفت از جمله بهترین بررسی‌های صورت گرفته در این زمینه بوده‌اند. امامی که در روزنامه انگلیسی‌زبان کیهان اینترنشنال قلم می‌زد به ارائهٔ نقدهای ظریف خود از جنبش‌های هنری ایران می‌پرداخت و نخستین کسی بود که برای نام بردن از سبک نو–سنتی گروهی از هنرمندان ایرانی که تصویرهای سنتی مذهبی را با روش‌های نوین ارائه می‌کردند، عنوان «جنبش سقاخانه» به کار برد. مقالهٔ او با عنوان "Modern Persian Artists"، چاپ شده در کتاب "Iran Faces Seventies" به ویراستاری یارشاطر، از نخستین متن‌های به زبان انگلیسی موجود دربارهٔ هنرمندان نوگرای ایرانی و سبک‌هایشان بود.
در همین هنگام، نویسندگان چپ‌گرایی چون جلال آل احمد و همسرش سیمین دانشور به پشتیبانی از هنر نوین برای بیان خواسته‌های اجتماعی و سیاسی پرداختند. این کنشگران در نوشته‌های خود هنرهای تجسمی، فیگوراتیو، و مفهومی را به خاطر توانایی‌شان در انتقال مفاهیم می‌ستودند، ولی به شدت با هنر انتزاعی مخالفت می‌کردند.
تعدادی از هنرمندان انقلابی و پس از انقلاب نیز به دنبال تعریف جدیدی از هنر ایرانی–اسلامی و دوری از هنر غرب بودند. زهرا رهنورد و میرحسین موسوی، که خود از انقلابیان نامدار بودند، به تقلید از هنر نوگرای غربی تاختند و در تلاش برای ارائه نقدی اسلامی از هنر، رهنورد در مانیفستی که ۳ سال پس از انقلاب در "فصلنامه هنر" به چاپ رساند، «واقع‌گرایی» را نکوهید و «آیه گرایی» را – که بر مبنای مکاشفه و یافتن در ورای واقعیت‌ها بود – وظیفه هنرمند مسلمان دانست.
سید مرتضی آوینی معتقد است هنر انقلاب اسلامی باید هویتی مستقل از غرب داشته باشد و امکان شریک شدن در صیرورت تاریخی غرب موجود نیست، زیرا غایات و مقاصد متفاوت است. از دید وی «هنر به معنای حقیقی خویش، جز در آینه مصفای روح مؤمن تجلی نخواهد یافت و جز هنر متعهد به اسلام، هرچه هست، نه تنها هنر نیست، بلکه عین بی‌هنری است.»
تلخون حمزوی (زادهٔ ۱۹۷۹ تهران) یک کارگردان ایرانی - سوئیسی است. وی برای فیلم پروانه، به همراه اشتفان ایشنبرگر نامزده دریافت جایزه اسکار بهترین فیلم کوتاه از هشتادو هفتمین دوره این مراسم شده‌است.http://oscar.go.com/nominees
حمزوی در سال ۱۹۷۹ در تهران متولد شد و در هفت سالگی به سوئیس مهاجرت کرد. وی دارای مدرک فوق لیسانس فیلم‌سازی از "دانشگاه هنر زوریخ" است. او فعالیت حرفه‌ای خود در زمینه فیلمسازی را از سال ۲۰۰۴ و با فیلم "وقتی پرده می افتد ()" آغاز کرد. او با فیلم کوتاه "پروانه" و در کنار "اشتفان ایشنبرگر" در چند جشنواره خارجی شرکت کرد و با این فیلم، علاوه بر نامزدی "جایزه اسکار بهترین فیلم کوتاه"، موفق به کسب جایزه اسکار دانشجویی بهترین فیلم کوتاه خارجی در سال ۲۰۱۳ در شهر لس‌آنجلس شد.
در نظریهٔ زبان صوری،زبان مستقل از متن قطعی (DCFL)، یک زیر مجموعهٔ سره از زبان‌های مستقل از متن می‌باشد. این زبانهای مستقل از متن هستند که می‌توانند بوسیلهٔ یک ماشین پشته‌ای قطعی پذیرفته شوند. DCFLها همیشه واضح هستند، به این معنی که آن‌ها یک گرامر واضح را می‌پذیرند، ولی هر. DCFL غیر تهی نیز یک گرامر مبهم را نیز می‌پذیرد. CFLهای واضح غیر قطعی نیز وجود دارند، بنابراین DCFLها یک زیر مجموعهٔ سره از CFLهای غیر مبهم را تشکیل می‌دهند.
DCFLها علاقهٔ کاربردی زیادی دارند، آن طور که می‌توانند در زمان خطی تجزیه شوند و انواع محدود متنوع از DCFGها، تجزیه‌های کاربردی ساده‌ای را می‌پذیرند؛ بنابراین آن‌ها به‌طور گسترده‌ای در علوم کامپیوتر استفاده می‌شوند.
مفهوم DCFL بسیار مرتبط با ماشین پشته‌ای قطعی (DPDA). می‌باشد. این جایی است که اگر آن را قطعی کنیم، قدرت زبان یک ماشین پشته‌ای کاهش می‌یابد؛ ماشین پشته‌ای در انتخاب بین گزینه‌های حالت گذار مختلف ناتوان می‌شود و در نتیجه نمی‌تواند همهٔ زبان‌های مستقل از متن را تشخیص دهد. گرامرهای واضح همیشه یک DCFL را تولید نمی‌کنند. به‌طور مثال، زبان پالیندرام با طول زوج در الفبای ۰ و ۱ می‌باشد، گرامر مستقل از متن S → 0S0 | 1S1 | ε را دارد. یک رشتهٔ اختیاری از این زبان، نمی‌تواند بدون خواندن تمام این حروف در ابتدا تجزیه شود، به این معنا که یک ماشین پشته‌ای باید حالت‌های گذار مختلف را برای جا دادن طول‌های ممکن مختلف از رشته‌های با تجزیهٔ مشابه، امتحان کند.
زبان‌های مستقل از متن قطعی می‌توانند با ماشین‌های تورینگ قطعی در یک زمان چند جمله‌ای و فضای O(log2 n)، تشخیص داده شود. به عنوان نتیجه، DCFL زیر مجموعه‌ای از کلاس پیچیدگی SC می‌باشد. مجموعهٔ زبانه‌ای مستقل از متن قطعی، نسبت به اجتماع بسته نیست ولی نسبت به تفاضل بسته است.
زبان‌های این گروه اهمیت کاربردی زیادی در علوم کامپیوتر دارند، از آنجا که آن‌ها می‌توانند به‌طور کاراتری نسبت به زبان‌های مستقل از متن غیر قطعی تجزیه شوند. پیچیدگی برنامه و زمان اجرای ماشین پشته‌ای قطعی به‌طور گسترده‌ای کمتر از حالت غیر قطعی است. در راه‌اندازی ساده دومی باید در هر زمان که یک مرحلهٔ غیر قطعی رخ می‌دهد، کپی‌هایی از پشته‌ها بسازد. بهترین الگوریتم شناخته شده برای آزمون عضویت در هر زبان مستقل از متن، الگوریتم ولینت می‌باشد که (O(n2.378 زمان می‌گیرد، که n طول رشته است. از طرف دیگر، زبان‌های مستقل از متن قطعی می‌توانند در زمان (O(n بوسیلهٔ تجزیه کنندهٔ (LR(k پذیرفته شوند. این برای ترجمه زبان برنامه نویسی بسیار مهم است زیرا بسیاری از زبان‌های کامپیوتری به این گروه از زبان‌ها تعلق دارند.
https://en.wikipedia.org/wiki/Deterministic_context-free_language
در نظریهٔ محاسبه، یک ماشین حالت متناهی غیر قطعی تعمیم یافته (GNFA)، که همچنین به عنوان ماشین بیان یا ماشین حالت متناهی غیر قطعی تعمیم یافته شناخته می‌شود، تغییری از NFA است، که در آن هر انتقال با هر عبارت منظم برچسب گذاری شده است. GNFA بلوک نمادهایی از ورودی را که از رشته‌ای که به عنوان عبارت منظم در انتقال تعریف شده است، می‌خواند. تفاوت‌های زیادی بین یک ماشین حالت متناهی استاندارد و یک ماشین حالت متناهی غیر قطعی تعمیم یافته وجود دارد.GNFA فقط باید یک وضعیت شروع و یک وضعیت پذیرش داشته باشد، و اینها نمی‌توانند وضعیت‌های یکسانی باشند. در حالیکه یک NFA یا DFA اجازه انتقال‌های زیادی بین وضعیت‌ها را می‌دهد. در GNFA بین هر دو وضعیت تنها یک انتقال می‌تواند وجود داشته باشد، اگر چه اغلب رایج است که در هنگام رسم ماشین‌های متناهی حالت غیر قطعی تعمیم یافته، به انتقال‌هایی که با مجموعهٔ تهی برچسب گذاری شده‌اند توجه نشود.
GNFA می‌تواند به عنوان یک ۵ تایی، (S, Σ, T, s, a) تعریف شود که از موارد زیر تشکیل شده است:
که R مجموعه‌ای از همهٔ اصطلاحات با قاعده تحت‌الفبای Σ است.
تابع انتقال، یک جفت از دو وضعیت را به عنوان متغیر ورودی خود می‌گیرد و یک اصطلاح با قاعده را خارج می‌کند. این با بقیهٔ ماشین‌های حالت متناهی متفاوت است، که یک وضعیت را به عنوان ورودی و یک ورودی از الفبا می‌گیرد (یا یک رشتهٔ تهی در مورد ماشین‌های حالت متناهی غیر قطعی) و وضعیت بعدی را خارج می‌کند (یا مجموعه‌ای از وضعیت‌های ممکن در مورد ماشینهای حالت متنهاهی غیر قطعی). یک DFA یا NFA می‌تواند به سادگی به یک GNFA تغییر یابد و سپس GNFA می‌تواند به راحتی با انداختن مکرر قسمت‌های آن در یک یال مجموعهٔ S = {s, a}، به یک عبارت منظم تغییر یابد. به طور مشابه GNFAها می‌توانند به NFAها کاهش یابند که این کار توسط تغییر عملگرهای بیان با قاعده، به یال‌های جدید تا زمانی که هر یال با یک بیان با قاعده که متناظر با رشته‌ای به طول حداکثر ۱ است برچسب گذاری شود، انجام می‌شود. NFA به نوبه خود می‌تواند به DFAهایی با استفاده از ایجاد مجموعهٔ توانی کاهش یابد. این نشان می‌دهد GNFA مجموعهٔ مشابهی از زبان‌های صوری را مانند DFAها و NFAها شناسایی می‌کند.
https://en.wikipedia.org/wiki/Generalized_nondeterministic_finite_automaton
در علم کامپیوتر نظری و تئوری زبان رسمی، یک گِرامر درخت منظم،
گرامر صوری است که مجموعه‌ای از درختان جهت دار یا جملات ( terms ) را توصیف می‌کند.
گرامر کلمه منظم می‌تواند به عنوان یک نوع خاص از گرامر درخت منظم که مجموعه‌ای از درختان تک مسیر را توصیف می‌کند بیان شود.
گرامر درخت منظم توسط چندتایی
("G" = ("N", Σ, "Z", "P"
("T"("N" جبر واژه همراه است، یعنی مجموعه‌ای از تمام درختان تشکیل شده از نمادها در Σ ∪ "N" با توجه به arities خود که در آن غیر پایانه‌ها nullary در نظر گرفته می‌شود.
دستور زبان G به‌طور ضمنی مجموعه‌ای از درختان تعرف می‌شود : هر درختی که می‌تواند از Z با استفاده از مجموعهٔ قوانین P مشتق شود ، گفته می‌شود که توسط G توصیف شده‌است .
این مجموعه از درختان به عنوان زبان G شناخته می‌شوند . به‌طور رسمی تر ، رابطهٔ ⇒ روی مجموعهٔ ("T"("N" به صورت زیر تعرف می‌شود :
درخت ("t"∈ "T"("N" می‌تواند در یک مرحله اشتقاق شود به درخت ("t"∈ "T"("N" اگر وجود داشته باشد : متن S و انتقال "A"→"t") ∈ "P") به طوری که
در اینجا یک بافت ( متن ) به معنی یک درخت با دقیقاً یک حفره در آن است و ["S"["t" نشان دهندهٔ نتیجهٔ پر کردن درخت T با حفره‌ای از S است .
زبان درخت تولید شده توسط T زبان { "L"("G") = { "t" ∈ "T" | "Z" ⇒ "t" است.
در اینجا "T" نشان دهندهٔ مجموعه‌ای از تمام درختان تشکیل شده از نمادهای Σ , درحالیکه ⇒ نشان دهندهٔ عملیات پی در پی از ⇒ است.
فرض کنید "G" = ("N",Σ) , "Z" , "P" که در آن
مثالی از اشتقاق گرامر "G" :
"BList"
⇒ "cons"("Bool","BList")
⇒ "cons"("false","cons"("Bool","BList"))
⇒ "cons"("false","cons"("true","nil"))
تصویر نشان می‌دهد که درخت اشتقاق مربوطه ، آن درخت از درختان (تصویر اصلی) است ، در حالیکه یک درخت اشتقاق در گرامر کلمه یک درخت از رشته (جدول بالا سمت چپ) است .
زبان درخت تولید شده توسط "G" مجموعه‌ای از تمام لیست‌های متناهی از مقادیر بولی است ، که ("L"("G" برابر با "T" شده‌است.
گرامر "G" مرتبط است با اظهارات نوع داده جبری .
در زبان برنامه نویسی استاندارد ML : هر عضو از "(L"("G" مرتبط است با مقدار استاندارد ML از نوع دادهٔ BList .
به عنوان مثال دیگر ، فرض کنید ("G" = ("N",Σ, "BList1" , "P" ∪ "P"
با استفاده از مجموعه‌ای از غیر پایانی‌ها و الفبای بالا ، گسترش تولیدات "P" , متشکل از تولیدات زیر است :
زبان "(L"("G" مجموعه‌ای از تمام لیست‌های متناهی از مقادیر بولی است که حداقل یکبار شامل مقدار «درست» ( true ) می‌باشند .
مجموعهٔ ("L"("G" هیچ همتای نوع داده‌ای نه در استاندارد ML و نه در هیج زبان تابعی دیگر ندارد . این یک زیرمجموعه مناسب از
("L"("G" است . ترم مثال بالا نیز در ("L"("G" است ، همانطور که اشتقاقزیر نشان می‌دهد :
"BList1"
⇒ "cons"("false","BList1")
⇒ "cons"("false","cons"("true","BList"))
⇒ "cons"("false","cons"("true","nil")).
اگر "L" و "L" هر دو زبان درخت منظم باشند ، مجموعهٔ درخت "L" ∩ "L" و "L" ∪ "L" و "L" \ "L" نیز درخت زبان منظم هستند ؛ و می‌توان نتیجه گرفت که آیا "L" ⊆ "L" یا "L" = "L" هست یا نه .
Rajeev Alur و Parthasarathy Madhusudan یک زیرکلاس از زبان درخت دودویی منظم را به کلمات تو در تو و زبان‌های پشته‌ای مشخصه ارتباط دادند .
زبان‌های درخت منظم همچنین شامل زبان‌های به رسمیت شناخته شدهٔ درخت‌های پایین به بالا و درخت‌های غیرقطعی بالا به پایین هستند .
گرامرهای درخت منظم کلیتی از گرامرهای کلمه منظم هستند .
آدیپونکتین () یک هورمون پپتیدی است که در انسان از بافت چربی ترشح می‌شود و بر متابولیسم چربی و گلوکز مؤثر است. آدیپونکتین با افزایش حساسیت کبد به انسولین، میزان خروجی گلوکز از کبد را کاهش می‌دهد، همچنین مصرف گلوکز در عضلات را افزایش داده و مانع افزایش قند خون می‌شود. آدیپونکتین در سایر جانوران نیز مشاهده می‌شود و در انسان از ۲۴۴ اسیدآمینه تشکیل شده است.تولید آدیپونکتین در چاقی و دیابت کاهش می یابد.
آدیپونکتین موجب کاهش گلوکونئوژنز، افزایش برداشت گلوکز، فروگشت چربی، افزایش حساسیت به انسولین و کاهش وزن می‌شود.
رزیستین
فیلم ۴۳ () فیلمی آنتولوژی کمدی محصول آمریکا است که در سال ۲۰۱۳ منتشر شد. فیلم چهارده خط داستانی متفاوت را روایت می‌کند که هر بخش توسط کارگردان‌های مختلفی مانند الیزابت بنکس، استیون بریل، استیو کار، راستی کاندیف، جیمز دافی، گریفین دان، پاتریک فورزبرگ، جیمز گان، برت راتنر، باب ادنکیرک، ویل گراهام و جاناتان ون تولکن کارگردانی می‌شود. الیزابت بنکس، کریستن بل، هلی بری، جرارد باتلر، کیت وینسلت، هیو جکمن، نائومی واتس، اوما تورمن، اما استون، آنا فاریس، لسلی بیب، ست مک‌فارلن، کلویی گریس مورتس، کریس پرت، کیت باسورث و جاستین لانگ از جمله بازیگران فیلم هستند. جولیان مور، تونی شالهوب، شین جاکوبسون و آنتون یلچین نیز در سکانسی که با نسخه دی‌وی‌دی عرضه شده‌بود، حضور دارند.
ساخت فیلم تقریباً یک دهه طول کشید، زیرا اکثر استودیوها فیلم‌نامه را رد می‌کردند تا اینکه توسط رلتیویتی مدیا به مبلغ ۶ میلیون دلار خریداری شد. فیلم در طول چندین سال فیلم‌برداری شد؛ زیرا انتخاب بازیگران برای تهیه‌کنندگان یک چالش بود. برخی از بازیگران، از جمله جورج کلونی، از شرکت در این فیلم خودداری کردند.
فیلم ۴۳ که در ۲۵ ژانویه ۲۰۱۳ منتشر شد، توسط برخی منتقدان از جمله ریچارد روپر به عنوان یکی از بدترین فیلم‌های تمام دوران لقب گرفت. این فیلم در سی و چهارمین دوره جوایز تمشک طلایی، برنده سه جایزه، از جمله جایزه بدترین فیلم شد.
فیلم ۴۳، مجموعه‌ای از فیلم‌های کوتاه و طرح‌های متفاوت و به‌هم پیوستهٔ دیوانه‌کننده‌ای است که برخی از بزرگ‌ترین ستاره‌های هالیوود در آن به ایفای نقش پرداخته‌اند.
آصف مندوی (؛ زادهٔ ) هنرپیشه اهل ایالات متحده آمریکا است. وی از سال ۱۹۹۵ میلادی تا کنون مشغول فعالیت بوده است.
از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به "آخرین بادافزار"، "خواستگاری"، "مرد عنکبوتی ۲"، "فیلم ۴۳"، "مارجین کال"، "محاصره"، "کارآموز"، "تحلیل این" و "فریدم لند" اشاره کرد.
راغب مصطفی غلوش (زادۀ ۵ ژوئیهٔ ۱۹۳۸ – درگذشتۀ ۴ فوریه ۲۰۱۶) قاری قرآن اهل مصر بود. وی یکی از اثرگذارترین قراء معاصر محسوب می شود.
مصطفی غلوش ۵ ژوئیهٔ ۱۹۳۸ در روستای برما در استان طنطا واقع در غرب کشور مصر متولد شد. او از سنین نوجوانی از حافظان قرآن بوده‌است.
"عبدالغنی الشرقاوی"، "ابراهیم الطبهیلی" و "ابراهیم سلام" از استادان او بوده‌اند. غلوش تا مدت‌ها از مقلدان مصطفی اسماعیل بود و صوت آن‌ها شباهت زیادی به‌هم دارد. او از ۲۴ سالگی در رادیو و تلویزیون رسمی مصر به‌عنوان قاری حضور یافت و از همان زمان رفته‌رفته سبک خودش در قرائت را دنبال کرد.
راغب مصطفی غلوش حدود ۳۰ سال برای قرائت به کشورهای مختلف از جمله آمریکا، بریتانیا، ایران، فرانسه و کانادا سفر کرد ولی در سال‌های پایانی زندگی‌اش بیشتر در مصر به سر می‌برد.
مصطفی غلوش ۴ بار در سال‌های ۱۳۶۸، ۱۳۷۴، ۱۳۷۹ و ۱۳۸۱ به ایران سفر کرد و تلاوت‌های مختلفی در این کشور اجرا کرد.
غلوش صبح روز پنجشنبه ۴ فوریه ۲۰۱۶ (۱۴۳۷ قمری) و در سن ۷۷ سالگی در مصر درگذشت. پیکر او پس از نماز عصر روز ۴ فوریه ۲۰۱۶ در زادگاهش، روستای برما در مصر دفن شد.
هل‌بلید: فداکاری سنوئا یک بازی ویدئویی خیال‌پردازی تاریک در سبک اکشن-ماجراجویی است که توسط استودیوی انگلیسی نینجا تئوری ساخته شده‌است و در اوت ۲۰۱۷، برای پلی‌استیشن ۴ و ویندوز منتشر شد. این بازی ابتدا قرار بود به صورت انحصاری برای کنسول پلی‌استیشن ۴ منتشر شود، اما مدتی بعد نینجا تئوری خبری مبنی بر عرضهٔ این عنوان بر روی رایانه‌های شخصی را نیز آشکار ساخت. نسخهٔ کنسول اکس‌باکس وان این عنوان در ۱۱ آوریل ۲۰۱۸، تنها به صورت توزیع دیجیتال و همچنین با پشتیبانی از گرافیک پیشرفته برای اکس‌باکس وان اکس در دسترس قرار گرفت. نسخهٔ کنسول‌های نینتندو سوئیچ در آوریل ۲۰۱۹، و اکس‌باکس سری اکس/اس در اوت ۲۰۲۱ عرضه شدند. "هل‌بلید" توسط توسعه‌دهندگان به عنوان یک بازی مستقل ای‌ای‌ای توصیف شده‌است، این بدین معنی است که بازی به‌طور مستقل توسعه و انتشار یافته، اما با تمام ارزش‌های کیفیت و ساختی که هر بازی ای‌ای‌ای در بازار دارد.
"هل‌بلید" همانند بازی "شمشیر آسمانی" پیچیده و شیطانی به نظر می‌رسد و همچنین نام بازی «هل‌بلید»، به‌طور مستقیم نقطهٔ مقابل آن است و در هر دو عنوان از شخصیت‌های مؤنث به عنوان شخصیت اصلی و ناجی سرنوشت استفاده شده‌است. این بازی با الهام از اساطیر اسکاندیناوی و فرهنگ سلت‌ها ساخته شده‌است و به دنبال شخصیت سنوئا، یک جنگجوی پیکت اهل اورکنی است که به منظور نجات و رهایی روح معشوق مرده خود از دست ایزدبانوی سرزمین مردگان هل، باید با شکست دادن موجوداتی از دنیای دیگر و مواجه با چالش‌های آن‌ها، راهی سرزمین هل‌هایم شود. در بازی ترکیب چندین سبک از بازی‌های ویدئویی شامل هک اند اسلش، معمایی و وحشت روان‌شناختی وجود دارد.
هل‌بلید یک موفقیت تجاری بود و با واکنش‌های مطلوبی از سوی منتقدان همراه بود که آن را به عنوان یک اثر هنری مورد ستایش قرار دادند، و همچنین تصمیمات غیرِمعمول حول محور روان‌پریشی، کیفیت و منحصربه‌فرد بودن رویکرد آن از شرایط، و داستان و شخصیت اصلی بازی نیز مورد تحسین قرار گرفت، اگرچه منتقدان از گیم‌پلی و اِلمان‌های دیگری در بازی انتقاداتی داشتند. همچنین نمایش کلی بازی، در کنار اجرای ملینا یورگنس، از نظر کیفیت چیزی بیش از آنچه در نظر گرفته می‌شود که اغلب در بازی‌های مستقل ارائه می‌دهند. دنبالهٔ این بازی تحت عنوان "" در مراسم جوایز بازی سال ۲۰۱۹ رونمایی شد.
داستان بازی در اواخر سدهٔ ۸ میلادی و بر اساس اساطیر سلتی بوده و شخصیت اصلی داستان یک دختر جنگجوی پیکت به نام سنوئا است که به منظور نجات روح معشوقه مرده‌اش از دست ایزدبانوی هل، اقدام به انجام سفری به دنیای مردگان (هل‌هایم) و عالم اموات می‌کند.
"هل‌بلید" برای اولین بار در تاریخ ۱۲ اوت ۲۰۱۴ و در طی نشست رسانه‌ای شرکت سونی در نمایشگاه گیمزکام به همراه تریلری رونمایی شد. خبر انتشار نسخهٔ ویندوز بازی نیز در ۹ ژانویهٔ ۲۰۱۵ اعلام شد. بر طبق گفته‌های نینجا تئوری نسخهٔ ویندوز بازی از وضوح ۴کی پشتیبانی خواهد کرد. کار توسعهٔ بازی توسط تیمی کوچک متشکل از ۱۵ نفر از اوایل سال ۲۰۱۵ و با بودجه‌ای محدود آغاز شد. عنوان رسمی بازی در مارس ۲۰۱۶، "هل‌بلید: پیشکش سنوئا" اعلام گردید.
کارِ صداپیشگی و ضبط حرکت شخصیت سنوئا توسط عکاس کارمزدی آلمانی، ملینا یورگنس صورت گرفته‌است که پیش از پروژهٔ هل‌بلید هیچ‌کدام از این کارها را انجام نداده بود.
"هل‌بلید" به‌طور کلی مورد تحسین منتقدین قرار گرفت و نسخهٔ پلی‌استیشن ۴ با میانگین امتیاز ۸۱ از ۱۰۰ بر اساس ۶۸ نقد، و نسخهٔ ویندوز با امتیاز ۸۳ بر اساس ۲۴ نقد در وبگاه متاکریتیک قرار دارند. وبگاه آی‌جی‌ان و گیم‌اسپات به ترتیب امتیاز ۹ و ۸ از ۱۰ را به این بازی تقدیم کردند. وبگاه گیم‌اسپات ترکیب گرافیک شگفت‌انگیز و طراحی نوآورانهٔ بازی را برای تقویت داستان و روند بازی، طراحی باورنکردنی صدا، مبارزات رضایت‌بخش و قوی و روایت داستانی بازی را مورد تقدیر قرار داد، و در طرف دیگر ساختار معماهای تکراری و دستورالعمل‌ها و مسیرهای بی‌شمار را که گاهی پیشروی در بازی را با اختلال مواجه می‌کرد، مورد انتقاد قرار داد.
"سرگذشت‌نامهٔ سنوئا: هل‌بلید ۲" در مراسم جوایز بازی سال ۲۰۱۹ رونمایی شد و قرار است برای ویندوز و کنسول جدید اکس‌باکس سری اکس منتشر شود.
«خانواده پواسونار» () یک تله‌فیلم درام و کمدی به کارگردانی «ادوارد مولینارو» است که در سال ۱۹۸۱ از شبکهٔ تی‌اف۱ فرانسه پخش شد. فیلم‌نامهٔ این فیلم ۲ قسمتی را «پیر پلگری» و «روژه هنن» بر پایهٔ رمانی به همین نام اثر «ژان دوتور» نگاشته‌اند.
لازم است ذکر شود که عنوان اصلی این فیلم که در زبان فرانسوی «اُ بُن بُق» خوانده می‌شود اصطلاحی است به معنیِ «از آب کره گرفتن»؛ اما در فیلم، این عبارت در واقع «نام یک فروشگاه» است که «خانواده پواسونار» در آن به فروش لبنیات و خواربار مشغول‌اند و چون نام خاص است، نباید ترجمه شود.
این فیلم، نخستین بار در مردادماه ۱۳۶۷ از شبکه ۱ سیمای جمهوری اسلامی ایران و با نام «خانواده پواسونار» پخش گردید.
وقایع این فیلم در سال ۱۹۴۱ میلادی و در خلال جنگ جهانی دوم در فرانسه رخ می‌دهد. «لئون» یک دانشجوی آرمانگرای رشته تاریخ است که از کمپ زندانیان جنگ می‌گریزد و به خانه مادرش در پاریس پناه می‌برد و در آنجا پنهان می‌شود. کمی بعد، سربازان آلمانی، با نامه‌ای بی نام و امضاء، از محل اختفای او آگاه شده و به خانه مادرش حمله می‌کنند، اما «لئون» موفق می‌شود بگریزد و به شهر لیون برود. او که می‌خواهد به کشورش خدمت کند، تصمیم می‌گیرد «پیر لاوال» را ترور کند، اما نقشه‌اش خوب پیش نمی‌رود و دوباره دستگیر شده و این بار، به ۱۰ سال زندان محکوم می‌شود.
در همین هنگام در پاریس، آقا و خانم پواسونار که صاحب یک مغازهٔ فروش محصولات لبنی هستند، از فرصت بدست‌آمدهٔ ناشی از جنگ، بیشترین استفاده را کرده و روز به روز، پولدارتر می‌شوند. مادر «لئون» هم از مشتریان همین مغازه است. آنها خانواده‌ای فرصت‌طلب هستند که به روش‌های مختلف و نامعلوم، اجناس مورد نیاز مردم را از بازار سیاه تهیه کرده و با چندین برابر قیمت به مردم می‌فروشند. خانواده پواسونار، آشکارا از سیاست‌های «مارشال پتن» حمایت می‌کنند.
کمی بعد «خانوادهٔ پواسونار» احساس می‌کنند شرایط سیاسی در حال تغییر است. در نتیجه رنگ عوض کرده و رفتار خود را تغییر می‌دهند. آنها جان یک یهودی را نجات داده و حتی یک گروه مقاومت درست می‌کنند و رهبری‌اش را خودشان بعهده می‌گیرند. در انتها و با پایان گرفتن جنگ، «خانواده پواسونار» بیش از گذشته پولدار شده‌اند و احترام و شهرت خاصی در جامعه برای خود کسب کرده‌اند. از طرفی «لئون» که اینک در دبیرستانِ قدیمی و مشهورِ «ژان باتیسته سه» یک معلم تاریخ است، مورد مؤاخذه واقع شده و او را بر خلاف میلش به جای دیگری منتقل می‌کنند، چرا که در درس تاریخ، به پسر آقای پواسونار، نمره خوبی نداده است.
در علوم کامپیوتر، در نظریه زبان‌های فرمال، لم تزریق برای زبان مستقل از متن که از آن با عنوان لم بار-هیلل نیز نام برده می‌شود، روشی است که ویژگی‌های مشترک زبان‌های مستقل از متن را ارائه داده و لم تزریق زبان‌های منظم (رگولار) را تعمیم می‌دهد.
اگر زبان L مستقل از متن باشد، آن‌گاه عدد صحیح P≥۱ موجود می‌باشد (که P طول تزریق می‌باشد) که هر رشته S در L که بلندتر یا مساوی نمادهای P است (برای مثال s|≥p|)، می‌تواند به صورت زیر نوشته شود:
S=uvwxy
که زیر رشته‌های u, v، w, x و y به این چنین هستند:
که مورد ۳ برای همه n≥۰ در L قرار دارد.
لم تزریق زبان‌های مستقل از متن که در ادامه مقاله تنها با عنوان لم تزریق نام برده می‌شود، بیانگر ویژگی مشترک از تمام زبان‌های مستقل از متن است که در واقع ویژگی تمام رشته‌هایی در زبان است که حداقل طول p را دارا هستند و p ثابتی است که طول تزریق نامیده می‌شود و بین انواع زبان‌های مستقل از متن متفاوت است.
s را رشته‌ای با حداقل طول p در زبان بنامید.
لم تزریق بیان می‌کند که s می‌تواند به ۵ زیر رشته تقسیم شود: s=uvwxy، که در آن vx غیرتهی است و طول vwx حداکثر p می‌باشد؛ بطوری‌که تکرار v و x در s، هر بار رشته‌ای را تولید می‌کند که خودش در زبان وجود دارد (این امکان وجود دارد تا رشته صفر بار تکرار شود که برای حذف v و x از رشته مفید می‌باشد). این فرایند تزریق کپی‌های اضافه v و x، همان چیزی است که از نام لم تزریق برمی‌آید.
زبان‌های متناهی (که منظم و در نتیجه مستقل از متن هستند)، با داشتن p، برابر با حداکثر طول رشته در L بعلاوه یک، بدیهی است که از لم تزریق پیروی کنند و چون رشته‌ای با این طول وجود ندارد، بنابراین لم تزریق نقض نمی‌شود.
لم تزریق گاهی برای اثبات این‌که زبان L داده شده مستقل از متن نیست، به‌کار می‌رود. بدین‌صورت که نشان می‌دهد رشته‌های بلند s دلخواهی در L هستند که بدون تولید رشته‌هایی خارج از L نمی‌توانند تزریق شوند.
برای مثال، زبان {L={aibici | i> 0، با استفاده از لم تزریق در برهان خلف ثابت می‌شود که مستقل از متن نیست. ابتدا فرض کنید که L مستقل از متن است، با بکارگیری لم تزریق، می‌گوییم عدد صحیح p وجود دارد که طول تزریق زبان L می‌باشد. رشته s=apbpcp را در L در نظر بگیرید. لم تزریق می‌گوید که می‌توانیم s را به صورت s=uvwxy بنویسیم که در آن u, v، w, x و y زیررشته هستند، چنانچه vwx|≤P| و vx| ≥ ۱| و uviwxiy برای هر عدد صحیح i ≥ ۰ در L قرار می‌گیرند. با انتخاب s و پیش‌فرض
vwx| ≤ p|، به آسانی مشاهده می‌شود که زیر رشته vwx نمی‌تواند بیش از دو نماد (symbol) مجزا داشته باشد؛ بنابراین، یکی از این ۵ احتمال زیر برای vwx وجود دارد.
در هر مورد کاملاً مشهود است که uviwxiy برای هر i≠۱ از تعداد برابری از هر حرف برخوردار است؛ بنابراین، uv2wx2y فرم aibici را ندارد و این با تعریف L مغایر است. از این‌رو فرض اولیه مبنی بر این‌که L مستقل از متن است، باید غلط باشد.
علی‌رغم این‌که لم تزریق اغلب برای این به کار می‌رود که اثبات کند زبان داده‌شده مستقل از متن نیست، هیچ‌گونه‌ای توصیفی از زبان‌های مستقل از متن ارائه نمی‌دهد و اگر زبانی شرایط لم تزریق را پوشش ندهد، می‌گوییم مستقل از متن نمی‌باشد.
از طرف دیگر، زبان‌هایی هستند که مستقل از متن نمی‌باشند، اما با این‌حال شرایط لم تزریق را در بر می‌گیرند؛ برای مثال، زبان {L = { bjckdl | j, k, l ∈ ℕ } ∪ { aibjcjdj | i, j ∈ ℕ, i≥۱ برای رشته s=bjckdl با مثلاً j≥۱، vwx را برای اینکه فقط شامل bها باشد، انتخاب می‌کند و برای رشته s=aibjcjdj، vwx را برای اینکه شامل فقط a باشد، انتخاب می‌کند. در هر دو مورد، هر دو رشته تزریق‌شده در L قرار دارند.
اگرچه روش‌های اثبات قوی‌تری مانند لم اوگدن (Ogden)، در دسترس می‌باشند اما حتی آن‌ها هم توصیف دقیقی از زبان‌های مستقل از متن ارائه نمی‌دهند.
عنکبوت زنبوری نام یک گونه از تیره عنکبوت‌های گردباف است که در سراسر مرکز اروپا، شمال اروپا، شمال آفریقا، بخش‌هایی از آسیا و مجمع الجزایر آزور زیست می‌کنند.
خاطرات خون‌آشام یک سریال یک ساعته آمریکایی به سبک ماورایی و درام است که در ۱۱ فوریه ۲۰۱۳ برای فصل پنجم تمدید شد."The CW Renews ARROW, SUPERNATURAL, And THE VAMPIRE DIARIES". Seat42f. February 11, 2013. Retrieved February 22, 2013. فصل پنجم در ۳ اکتبر ۲۰۱۳ به دنبال سریال اصیل‌ها، روی آنتن رفت.Kondolojy, Amanda (July 29, 2013). "The CW Moves Up 'The Originals' Premiere to Follow 'The Vampire Diaries' + 'Supernatural' Gets Earlier Start". TV By The Numbers. Retrieved July 29, 2013.
این سریال در ۱۱ فوریه ۲۰۱۳ برای فصل پنجم تمدید شد. اولین جلسه نویسندگان در ۱۵ آوریل ۲۰۱۳ برگزار شد.Plec, Julie (April 15, 2013). "Day 1 in the Writers Room". Twitter. Retrieved 22 May 2013. فیلمبرداری در ۱۰ ژوئیه ۲۰۱۳ آغاز شدMcGrath, Jenny (July 10, 2013). "The Vampire Diaries Season 5 Starts Filming Today!". Wetpaint. و در ۱۰ آوریل ۲۰۱۴ به پایان رسید.Plec, Julie (April 10, 2014). "That's a wrap! Much love to all. TVD Season 6 coming your way...". Twitter. Retrieved April 28, 2014.
طی سه قسمت ابتدایی، چهار شخصیت جدید معرفی شدند: نادیا، دختری انتقامجو که دور دنیا سفر می‌کند، جسی، پسری که به دانشگاه می‌رود. الگا فوندا و کندریک سمپسون به ترتیب بازیگران نقش نادیا و جسی بودند. در ۲ اوت ۲۰۱۳ اعلام شد که جانینا گاوانکار نقش تسا را بازی می‌کند.Gelman, Valda (August 2, 2013). "Vampire Diaries Exclusive: True Blood's Janina Gavankar Relocates to Mystic Falls". TV Line.
نینجا تئوری یک شرکت مستقل توسعه‌دهنده بازی‌های ویدئویی واقع در کمبریج، انگلستان است. این شرکت ابتدا با نام جاست اد مانسترز در مارس ۲۰۰۰ تأسیس شد، اما شرکت در نوامبر ۲۰۰۴ توسط جرمی سان، مؤسس سابق شرکت آرگونات گیمز خریداری گردید. سرانجام "نینجا تئوری" در سال ۲۰۰۴ با همکاری سه شریک، شامل مدیران فعلی مجموعه نینا کریستنسن (مدیر توسعه)، تمیم آنتونیادز (مدیر تولید) و جز سان (مدیر غیر اجرایی) تشکیل شد.
این شرکت در سال ۲۰۱۸ توسط اکس‌باکس گیم استودیوز خریداری شد.
اولین بازی این تیم به عنوان "جاست اد مانسترز"، «کونگ‌فو کی‌آس» نام داشت که در سال ۲۰۰۳ توسط استودیو مایکروسافت به طور انحصاری برای کنسول اکس‌باکس انتشار یافت.
"شمشیر آسمانی"، اولین عنوان استودیو "نینجا تئوری" در سال ۲۰۰۷ توسط سونی کامپیوتر انترتینمنت به طور انحصاری و بازی زمان عرضه برای کنسول پلی‌استیشن ۳ منتشر شد. نقش ناریکو، شخصیت اصلی و مو قرمز این بازی توسط بازیگر استرالیایی آنا تورو بازی شده‌است.
بازی "" توسط نامکو باندای گیمز در اکتبر ۲۰۱۰ برای هر دو کنسول اکس‌باکس ۳۶۰ و پلی‌استیشن ۳ منتشر شد. دی‌ام‌سی نسخهٔ بازسازی‌شده و پنجمین بخش از سری بازی‌های "شیطان هم می‌گرید" توسط کپ‌کام در ژانویه ۲۰۱۳ برای اکس‌باکس ۳۶۰، پلی‌استیشن ۳ و مایکروسافت ویندوز عرضه شد. "نینجا تئوری" همچنین با همکاری چیلینگو (یکی از بخش‌های شرکت آمریکایی الکترونیک آرتس) اولین بازی تلفن همراه خود را با نام "فایت‌بک" در سال ۲۰۱۳ روانه بازار کردند. آخرین بازی این استودیو با نام "" نیز در اوت ۲۰۱۷ برای پلی‌استیشن ۴ و مایکروسافت ویندوز عرضه شد، و نسخه کنسول‌های اکس‌باکس وان و نینتندو سوئیچ به ترتیب در سال ۲۰۱۸ و ۲۰۱۹ منتشر شدند.دربارهٔ شرکت نینجا تئوری. بازدید در ۲۰ ژانویه ۲۰۱۵ دنبالهٔ این بازی نیز تحت عنوان "" قرار است در تاریخی نامشخص برای اکس‌باکس سری اکس/اس و مایکروسافت ویندوز منتشر شود.
بتا اکسیداسیون () فرایندی است که در طی آن مولکول‌های اسید چرب در میتوکندری تجزیه و استیل کوآ تولید می‌کنند. بتا اکسیداسیون از روی کربنی به نام بتا آغاز می‌شود.
ابتدا در سیتوزول(غشای خارجی میتوکندری) آنزیم‌هایی مانند آسیل کوآ سنتتاز (تیوکیناز) اسید چرب را به آسیل چرب کوآ تبدیل می‌کند. در این واکنشATP به AMP و PPi تبدیل می‌شود. در ادامه آسیل کوآ با زنجیره کوتاه و متوسط (کمتر از ۱۰ کربن) به راحتی وارد میتوکندری می‌شوند. آسیل کوآ با زنجیره بلند (بیش از ۱۲ کربن) به راحتی از غشای خارجی میتوکندری عبور می‌کنند ولی قادر به عبور از غشای داخلی میتوکندری نیستند. عبور آسیل کوآی بلند زنجیره از غشای داخلی میتوکندری با استفاده از کارنیتین و در سه مرحله صورت می‌پذیرد
در ماتریکس میتوکندری طی واکنش‌هایی که طی چهار مرحله به صورت متوالی بر روی آسیل کوآ انجام می‌گیرد در هر چرخه دو مولکول کربن طی یک استیل کوآ از زنجیره اسید چرب جدا می‌شود تا بتدریج تمام اسید چرب تجزیه شود.
این چهار مرحله عبارتند از: دهیدروژناسیون (توسط آنزیم آسیل کوآ دهیدروژناز)؛ هیدروژناسیون (توسط آنزیم انوئیل کو آنزیم A هیدراتاز)؛ اكسيداسيون (آنزیم این مرحله بتا هیدروکسی اسیل کو آنزیم A دهیدروژناز است) و تیولیزاسیون (بوسیله آنزیم تیولاز) که یک مولکول استیل کو آنزیم A جدا می‌شود.
استیل کوآی تولید شده وارد چرخه اسید سیتریک می‌شود. در طول چرخه به ازای هر co۲ یک ATP و ۴H۲ در فرم ۳NADH۲ و یک FADH۲ تولید می‌شود. در این واکنش‌ها اکی والان‌های احیایی زنجیره آسیل به شکل FADH2 و NADH در می‌آیند و انرژی حاصله ذخیره می‌شود.
بتا اکسیداسیون اسیدهای چرب غیر اشباع بخاطر وجود پیوندهای دوگانه در ساختمانشان انرژی کمتری ایجاد می‌نمایند. واکنش‌ها مشابه است ولی دو آنزیم ایزومراز و اپیمراز نیز دخیل هستند.
بیشتر اسیدهای چرب شرکت‌کننده در ساختار تری گلیسریدها از نوع اسیدهای چرب غیر اشباع با یک یا چند پیوند دوگانه می‌باشند که شکل ایزومری پیوند، CIS می‌باشند و بنابراین نمی‌توانند توسط آنزیم انوئیل کوآ هیدراتاز تحت تأثیر قرار گیرند. دو آنزیم انوئیل کوآ ایزومراز و ۲و ۴ دی انوئیل کوآ ردوکتاز برای این مسیر علاوه بر آنزیم‌های بتا اکسیداسیون اسیدهای چرب اشباع مورد نیاز است.
دکتر آز عنوان یک برنامهٔ تلویزیونی است که دکتر محمت آز (مهمت آز) به‌عنوان مجری، دربارهٔ موضوعات پزشکی بدن انسان توضیحاتی داده و به سؤالات حاضرین و بینندگان تلویزیون پاسخ می‌دهد. این برنامه از سال ۱۳۹۳ خورشیدی از شبکهٔ فارسی۱ پخش می‌شود.
وزن دکتر آز قبل از رژیم موفقیت‌آمیز صد و بیست کیلو بود ولی پس از عمل جراحی به کاهش چشم‌گیری رسید به گفته سارا نیوز این مجری موفق هرگز تن به ورزش نداده‌است. شایعات حاکی از اعتیاد وی به مواد مخدر دارد که البته این شایعه هرگز مورد تأیید نبوده‌است این نمایش به وسیله جامعه پزشکی نکوهش شده، بر اساس یک مطالعه ۵۴ درصد از توصیه‌های بهداشتی این برنامه از نظر پزشکی پشتیبانی نمی‌شود.Televised medical talk shows—what they recommend and the evidence to support their recommendations: a prospective observational study
این برنامهٔ تلویزیونی برندهٔ دو جایزهٔ اِمی برای تولیدات تلویزیونی شده‌است.
سمورچه هوپی نام یک گونه از سرده سمورچه غربی است که در کلرادو، یوتا و آریزونا در جنوب غربی ایالات متحده یافت می‌شوند.
مِحْمِت جَنگیز آز ( ; ؛ زادهٔ ۱۱ ژوئن ۱۹۶۰) شخصیت تلویزیونی، نویسنده، کاندیدای سیاسی جمهوری‌خواه، و پزشک بازنشسته است. در سال ۲۰۰۳ اپرا وینفری نخستین مهمان مجموعه شبکه تلویزیونی دیسکاوری "نظر دوم با دکتر آز" بود، و آز میهمان ثابت "شوی اپرا، "بود که بیش از شصت بار در این برنامه ظاهر شد. در ۲۰۰۹ تولید برنامه روزانه تلویزیونی "دکتر آز" که برنامه‌ای دربارهٔ مسایل پزشکی و سلامت توسط هارپو پروداکشنز وینفری و تلویزیون سونی پیکچرز شروع شد. او جراح قلب و سینه سابق و استاد بازنشسته کالج پزشکان و جراحان دانشگاه کلمبیا است.
او باورهای شبه‌علمی، پزشکی جایگزین، درمان ایمانی، و فراهنجار را ترویج کرده و از سوی پزشکان، مقامات دولتی و نشریات محبوب، از جمله "بی‌ام‌جی"، "پاپیولار ساینس، "و "نیویورکر"، به دلیل حمایت از محصولاتی که کارکردشان اثبات نشده و توصیه‌های غیرعلمی مورد انتقاد قرار گرفته‌است. ژورنال پزشکی بریتانیا مطالعه‌ای در سال ۲۰۱۴ منتشر کرد که دریافت نیمی از توصیه‌ها در مجموعه‌های گفتگومحورِ پزشکی از جمله شوی دکتر آز، شواهدی نداشته‌اند یا با پژوهش‌های پزشکی در تناقض بوده‌اند. در سال ۲۰۱۸، دونالد ترامپ او را به عضویت در شورای رئیس‌جمهور برای آمادگی جسمانی، ورزش و تغذیه منصوب کرد.
در ۳۰ نوامبر ۲۰۲۱، آز اعلام کرد قصد دارد در انتخابات سنای ایالات متحده در پنسیلوانیا برای جانشینی سناتور مستقر جمهوری‌خواه پت تومی رقابت کند.
او به عنوان نامزد مدارک مالی به کمیسیون انتخابات ارائه کرد که نشان داد ثروت خالص او بین ۱۰۰ تا ۵۰۰ میلیون دلار است.
محمت آز (مهمت آز) در شهر کلیولند ایالت اوهایو به دنیا آمده‌است. پدرش، مصطفی آز، زادهٔ بوزکیر ترکیه و مادرش، سونا، اهل استانبول است. محمت دارای دو خواهر به نام‌های سه‌وال آز و نزلیم آز است.
دکتر آز در یک خانوادهٔ مسلمان بزرگ‌شده و اکنون هم مسلمان است.
آز از سال ۲۰۰۱ استاد دانشکده جراحی در دانشگاه کلمبیا بوده‌است. او مؤسسه قلبی-عروقی و برنامه طب مکمل را در بیمارستان نیویورک-پرسبیترین اداره می‌کند. علایق تحقیقاتی او شامل جراحی پیوند قلب، جراحی قلبی با حداقل تهاجم، و سیاست مراقبت سلامتی است.
آز به عنوان یک جمهوریخواه در رای‌گیری‌ها ثبت نام کرده، و از جان مک‌کین در انتخابات ریاست‌جمهوری ایالات متحده آمریکا سال ۲۰۰۸ حمایت کرده‌است.
آز در سال ۲۰۲۲ در انتخابات سنای ایالات متحده در پنسیلوانیا به عنوان یک جمهوری‌خواه محافظه کار شرکت کرد و در مقابل فرماندار دموکرات جان فترمن شکست خورد. آز اولین نامزد مسلمانی بود که توسط احزاب اصلی برای سنای ایالات متحده نامزد شده بود.
اوگنی سولومنوویچ گولود (زاده ۲۱ اکتبر ۱۹۳۵ در مسکو) ریاضیدان اهل روسیه است که در زمینه جبر فعالیت می‌کند. گولود از شاگردان ایگور شافارویچ در دانشگاه لومونوسف بود و پس از گرفتن مدرک دکترا در همان دانشگاه به کار مشغول شد. او در سال ۱۹۶۴ قضیه گولود-شافارویچ را دربارهٔ برج‌های میدان‌های کلاسی به اثبات رساند. از دیگر کارهای او ارائه مثال نقضی برای حدس برنساید در نظریه گروه ها بود. در واقع او بر پایه کارهایش با شافارویچ نشان داد که گروه‌های تابدار ولی متناهی-تولید وجود دارند.گولود در سال ۱۹۶۳ جایزه جامعه ریاضیات مسکو را دریافت کرد.
سمورچه آلپ نام یک گونه از سرده سمورچه است.
سورن یوریویچ آراکلوف (زاده ۱۶ اکتبر ۱۹۴۷ در خارکف) ریاضیدان اهل روسیه است که در زمینه هندسه جبری حسابی فعالیت می‌کند. او در سال ۱۹۷۴ تحت سرپرستی ایگور شافارویچ دکترای ریاضیات را از مؤسسه استکلوف به دست آورد و پس از آن به عنوان پژوهشگر در مؤسسه نفت و گاز مسکو مشغول به کار شد. در سال ۱۹۷۹ به خاطر بیماری شیزوفرنی ناچار شد که فعالیت پژوهشی را متوقف کند و از آن پس در مسکو به همراه همسر و فرزندانش زندگی می‌کند. آراکلوف بیشتر به دلیل نظریه اش در هندسه جبری حسابی که به نام خود او نظریه آراکلوف نامیده شده‌است نامبردار است. در نظریه آراکلوف بررسی معادلات دیوفانتی (نقاطی روی خم formula_1 با مختصات صحیح در formula_2) به کمک نظریه طرح‌ها ی گروتندیک و افزودن یک نقطه در بینهایت (کلاف‌های برداری formula_3 روی با متریک هرمیتی) تکمیل می‌شود. این نظریه سپس به وسیله گرد فالتینگز به نحو گسترده‌ای برای اثبات حدس مردل (که برای اثبات آن فالتینگز در سال ۱۹۸۶ مدال فیلدز را دریافت کرد) به کار گرفته شد.
در نظریه اتوماتا یک اتومات‌های قطعی پشته‌ای (Deterministic Pushdown Automaton) یک نمونه از تمامی اتومات‌ های پشته‌ای می‌باشد.
ماشین اتومات‌ های قطعی پشته‌ای زبان مستقل از متن قطعی را می‌پذیرد که زیرمجموعه‌ای از تمامی زبان‌های مستقل از متن است.
انتقال‌های ماشین براساس وضعیت موقعیت فعلی و نماد ورودی و نماد بر روی استک تعیین می‌شود و قابل ذکر است که نمادهای پایین‌تر در پشته قابل
رویت نبوده و همچنین اثر فوری ندارند. اقدامات ماشین شامل حل دادن، ظاهر یا یا جایگزینی پشته بالا می‌باشد.
اتوماسیون پشته‌های قطعی حد اکثر یک انتقال قانونی برای همان ترکیب از نماد ورودی، حالت و نماد بالایی پشته می‌باشد.
این همان نقطهٔ تفاوت (اتوماسیون پشته‌های قطعی) از پشته‌های غیر قطعی می‌باشد.
اگر (L(A یک زیان پذیرفته شده توسط ماشین پشته‌ای باشد A در صورتی می‌تواند توسط یک ماشین پشته‌ای قطعی پذیرفته شود اگر و تنها اگر یک محاسبات از پیکربندی اولیه انجام گیرد تا همهٔ رشته‌های متعلق به (L(A مورد پذیرش واقع شود.
اگر (L(A بتواند توسط یک ماشین پشته‌ای پذیرفته شود یک زبان مستقل از متن است و اگر بتواند توسط یک ماشین پشته‌ای قطعی پذیرفته شود یک گرامر
مستقل از متن قطعی می‌باشد.
همهٔ زبان‌های مستقل از متن قطعی نخواهند بود. این موضوع ماشین پشته‌ای قطعی را بسیار ضعیف تر از ماشین پشته‌ای نشان می‌دهد.
زبان مستقل از متن متقارن (palindrome) با طول زوج توسط ماشین پشته‌ای پذیرفته می‌شود اما توسط ماشین پشته‌ای قطعی پذیرفته نمی‌شود.
بستار زبان مستقل از متن قطعی کاملاً متفاوت از زبان مستقل از متن است.
به عنوان مثال آن‌ها تحت عمل مکمل بسته می‌باشد. اما تحت اجتماع بسته نمی‌باشد. اثبات این که زبان مستقل از متن قطعی تحت عمل مکمل بسته‌است سخت
و دشوار می‌باشد.
نتیجه‌ای که مستوان از یک مکمل گرفت این است که یک زبان توسط ماشین قطعی پشته‌ای پذیرفته می‌شود اگر تمام رشته‌های داخل آن زبان توسط مکمل ماشین پشته‌ای قطعی آن زبان پذیرفته شود.
«گراد شینای ژروژ» (Geraud Senizergues) ثابت کرده‌است که هم‌ارزی ماشین پشته‌ای قطعی تصمیم پذیر می‌باشد؛ که این کار را او در سال ۲۰۰۲ انجام داد.
پادشاهی متحد گرجستان یک پادشاهی قرون وسطایی بود که در سال ۱۰۰۸ میلادی توسط باگرات سوم بنیان نهاده شد. این پادشاهی در طول قرن‌های ۱۱ و ۱۲ میلادی به اوج شکوفایی تمدن خود رسید به‌طوری‌که این دوران «عصر طلایی» تاریخ گرجستان نامیده می‌شود که آغاز آن سال ۱۰۸۹ میلادی هم‌زمان با آغاز پادشاهی داویت چهارم و پایان آن سال ۱۲۳۶ میلادی و حمله مغول به گرجستان است. مغول‌ها پس از حمله به گرجستان در آن سلطه یافتند که با مبارزات گرجی‌ها مواجه شد و سرانجام در دههٔ ۱۳۴۰ میلادی گرجی‌ها موفق به اخراج مغول‌ها از گرجستان شدند.
تیمور لنگ با حملات هشت گانهٔ خود به گرجستان بین سال‌های ۱۳۸۶ تا ۱۴۰۳ میلادی باعث ویرانی آن شد و با حملهٔ امپراتوری عثمانی در سال ۱۴۶۶ میلادی پادشاهی متحد گرجستان به هرج و مرج کشیده شد و در نهایت بین سال‌های ۱۴۸۴ تا ۱۴۹۳ میلادی با تجزیه به سه پادشاهی مستقل کارتلی، کاختی و ایمرتی و پنج شاهزاده‌نشین دوران حکومتشان را به پایان بردند.مولیانی، جایگاه گرجی‌ها در تاریخ و فرهنگ و تمدن ایران، ۷۸–۹۸.
پادشاهی متحد گرجستان شامل تمامیت ارضی امروزهٔ کشورهای گرجستان و ارمنستان و همچنین بخشی از کشورهای روسیه، ترکیه، آذربایجان و ایران امروزی بوده‌است.
بنیان‌گذار پادشاهی متحد گرجستان باگرات سوم بود که از سال ۹۷۵ میلادی طعم حکمرانی در گرجستان را چشید و پس از بنیان‌گذاری پادشاهی متحد گرجستان در سال ۱۰۰۸ میلادی به مدت پنج سال بر آن حکومت کرد و در سال ۱۰۱۴ میلادی درگذشت. باگرات سوم فرزند گورگن دوم و از سلسلهٔ باگراتیونی‌ها بود. استیلای این سلسله را می‌توان از قرن ۸ میلادی ردیابی کرد، زمانی که آن‌ها به حکومت تائو کلارجتی (منطقه‌ای گرجی‌نشین در شمال شرقی ترکیه امروزی) رسیدند.دفتر مطالعات سیاسی و بین‌المللی، گرجستان، ۵۶.مارشال لانگ، گرجی‌ها، ۱۳۹.
در قرن ۱۱ میلادی وابستگی پادشاهی متحد گرجستان به امپراتوری سلجوقی کاملاً قطع شد. با به سلطنت رسیدن داویت چهارم در سال ۱۰۸۹ میلادی عصر طلایی گرجستان آغاز شد. داویت چهارم در طول حکومت خود به حضور بیست سالهٔ سلجوقیان در گرجستان پایان داد و پس از اخراج سلجوقیان از گرجستان، اقداماتی انجام داد که به لقب «سازنده» دست یافت.
در سال ۱۱۲۵ میلادی، داویت چهارم در گذشت. پس از درگذشت داویت چهارم، دمتری یکم به قدرت دست یافت. در طول حکومت‌های دمتری یکم (۱۱۲۵ تا ۱۱۵۶)، گیورگی سوم (۱۱۵۶ تا ۱۱۸۴) و ملکه تامار (۱۱۸۴ تا ۱۲۱۳) پادشاهی متحد گرجستان در مسیر پیشرفت قرار داشت.