payamvha/North_RAG huggingface dataset:
شبگرد (به انگلیسی: Nightcrawler) فیلمی در ژانر هیجان‌انگیز، روان‌شناختی، نئو نوآر و درام جنایی به نویسندگی و کارگردانی دان گیلروی است که در سال ۲۰۱۴ منتشر شد. این فیلم نخستین تجربهٔ کارگردانی گیلروی محسوب می‌شود و نقدی تند بر رسانه‌های تصویری، اخلاق حرفه‌ای و فرهنگ مصرف‌گرایانه در ایالات متحده ارائه می‌دهد. "شبگرد" در تاریخ ۵ سپتامبر ۲۰۱۴ در جشنواره بین‌المللی فیلم تورنتو اکران شد. این فیلم در رشته بهترین فیلمنامه اورجینال یا غیر اقتباسی در هشتاد و هفتمین دوره جوایز اسکار نامزد شده است. داستان. «لوئیس
دوره جوایز اسکار نامزد شده است. داستان. «لوئیس بلوم»، مردی منزوی و بیکار در لس‌آنجلس، پس از مشاهدهٔ یک فیلم‌بردار آزاد که از صحنه‌های تصادف و جنایت برای شبکه‌های خبری فیلم تهیه می‌کند، تصمیم می‌گیرد وارد این حرفه شود. او با خرید یک دوربین و اسکنر پلیس، شب‌ها در شهر پرسه می‌زند تا تصاویر خشونت‌بار و تکان‌دهنده ضبط کند. لوئیس به‌تدریج با شبکهٔ خبری محلی به رهبری «نینا رومینا» همکاری می‌کند و برای جلب توجه بیشتر، مرزهای اخلاقی را زیر پا می‌گذارد. او حتی در صحنه‌های جرم دخالت می‌کند تا تصاویر «دراماتیک‌تر» خلق
جرم دخالت می‌کند تا تصاویر «دراماتیک‌تر» خلق کند. فیلم به‌تدریج شخصیت ضدقهرمان لوئیس را به‌عنوان نمادی از رسانهٔ بی‌رحم و سودمحور معرفی می‌کند. بازیگران. فیلم دارای گروهی از بازیگران برجسته است: تولید. فیلم‌نامهٔ «شبگرد» توسط دان گیلروی نوشته شده و تولید آن توسط شرکت Bold Films با همکاری جنیفر فاکس، تونی گیلروی، میشل لیتواک و خود جیک جیلنهال انجام شده‌است. فیلم‌برداری توسط رابرت السویت انجام شد و تدوین آن بر عهدهٔ جان گیلروی بود. موسیقی متن فیلم توسط جیمز نیوتن هاوارد ساخته شد. فیلم در لس‌آنجلس و در
جیمز نیوتن هاوارد ساخته شد. فیلم در لس‌آنجلس و در لوکیشن‌های واقعی شبانه فیلم‌برداری شد. جیک جیلنهال برای ایفای نقش لوئیس بلوم حدود ۱۰ کیلوگرم وزن کم کرد تا ظاهر نحیف و وسواسی شخصیت را به‌درستی نمایش دهد. تولید فیلم در مدت ۲۸ روز انجام شد و با بودجه‌ای نسبتاً پایین به پایان رسید. بودجه و فروش. بودجهٔ تولید فیلم حدود ۸٫۵ میلیون دلار بود. فروش جهانی آن به حدود ۵۰٫۳ میلیون دلار رسید که شامل ۳۲٫۳ میلیون دلار در ایالات متحده و ۱۸ میلیون دلار در بازارهای بین‌المللی بود. فیلم با توجه به بودجهٔ محدود، موفقیت تجاری
بود. فیلم با توجه به بودجهٔ محدود، موفقیت تجاری قابل‌توجهی کسب کرد. نقدها و واکنش‌ها. فیلم «شبگرد» نقدهای بسیار مثبتی دریافت کرد. در وب‌سایت Rotten Tomatoes، امتیاز فیلم ۹۵٪ بود و در Metacritic امتیاز ۷۶ از ۱۰۰ را کسب کرد که نشان‌دهندهٔ استقبال گستردهٔ منتقدان است. منتقدان از بازی خیره‌کنندهٔ جیک جیلنهال، فیلمنامهٔ تیزبین دان گیلروی، و فضای سرد و بی‌رحم فیلم تمجید کردند. فیلم به‌دلیل نقد صریح رسانه‌های تصویری، اخلاق حرفه‌ای و شخصیت‌پردازی ضدقهرمان، مورد توجه قرار گرفت. برخی منتقدان آن را با آثار کلاسیک نئو
قرار گرفت. برخی منتقدان آن را با آثار کلاسیک نئو نوآر مقایسه کردند. سبک و مضامین. فیلم «شبگرد» در سبک نئو نوآر و هیجان‌انگیز روان‌شناختی ساخته شده‌است. دان گیلروی با استفاده از نورپردازی شبانه، قاب‌های سرد و تدوین پرتنش، فضای بی‌رحم و بی‌احساس رسانه‌ها را به تصویر می‌کشد. شخصیت لوئیس بلوم نمادی از فردی است که در جامعهٔ سرمایه‌داری، اخلاق را قربانی موفقیت می‌کند. فیلم به مضامینی چون سودجویی رسانه‌ای، اخلاق حرفه‌ای، تنهایی شهری، روان‌پریشی و قدرت تصویر می‌پردازد. جوایز و افتخارات. فیلم «شبگرد» در مجموع نامزد
جوایز و افتخارات. فیلم «شبگرد» در مجموع نامزد دریافت بیش از ۱۲۰ جایزه شد و موفق به کسب ۴۶ جایزه گردید. از جمله، نامزدی اسکار بهترین فیلمنامهٔ غیراقتباسی برای دان گیلروی، و جایزهٔ بفتا بهترین تدوین برای جان گیلروی. جیک جیلنهال نیز برای بازی در نقش لوئیس بلوم در چندین جشنواره و مراسم منتقدان نامزد دریافت جایزهٔ بهترین بازیگر نقش اول مرد شد.
گرفتار در کاباره فیلمی کوتاه و صامت، به کارگردانی میبل نورماند با بازی چارلی چاپلین و تولید سال ۱۹۱۴ می‌باشد. داستان. چارلی شاگرد کاباره‌ای است که روزی دختری را از دست دزدها نجات می‌دهد و دختر با او دوست می‌شود، اما دختر وقتی چارلی را در حال شاگردی در کاباره می‌بیند، او را رها می‌کند.
خسرو شمشیرگران متولد ۱۳۲۳ تهران است. وی فعالیت دوبله را از سال ۱۳۴۹ آغاز کرد. خسرو شمشیرگران بیشتر به گویندگی آنونس و عنوان‌بندی فیلم‌ها و سریال‌ها از جمله سریال ارتش سری پرداخته‌است. همچنین وی راوی سریال امام علی بود.
در نظریهٔ محاسبه، یک ماشین پشته‌ای مشبک، یک ماشین متناهی است که می‌تواند از پشته ی شامل داده‌هایی که ممکن است پشته‌های اضافی باشند، استفاده کند. مانند یک ماشین پشته‌ای، یک ماشین پشته‌ای مشبک ممکن است، در پشته، بالا یا پایین رود و نماد جاری را بخواند؛ علاوه بر این، ممکن است در هر مکانی یک پشتهٔ جدید بسازد، در آن عمل کند، در نهایت آن را خراب کند، و اجرا در پشتهٔ قدیمی را ادامه بدهد. بدین طریق، پشته‌ها می‌توانند به‌طور بازگشتی، تا یک عمق دلخواه مشبک شوند، اگرچه ماشین همیشه فقط در درونی‌ترین پشته عمل می‌کند. یک
ماشین همیشه فقط در درونی‌ترین پشته عمل می‌کند. یک ماشین پشته‌ای مشبک قادر به شناسایی زبان شاخص دار است و در حقیقت مجموعهٔ زبان‌های شاخص دار، دقیقاً مجموعهٔ زبان‌های پذیرفته شده بوسیلهٔ ماشین پشته‌ای مشبک غیر قطعی یک طرفه است. ماشین پشته‌ای مشبک نباید با ماشین پشته‌ای محاط اشتباه گرفته شود، که توان محاسباتی کمتری دارد. تعریف رسمی. ماشین. یک ماشین پشته‌ای مشبک غیر قطعی دو طرفه، چندتایی ‹"Q",Σ، Γ,δ،"q"0,"Z"0,"F",[،],]› است که در آن: پیکره بندی. یک پیکره بندی یا توصیف آنی از چنین ماشینی، از ۳ تایی "q",
بندی یا توصیف آنی از چنین ماشینی، از ۳ تایی "q", ["a"1"a"2..."a""i"..."a""n"-1], ["Z"1"X"2..."X""j"..."X""m"-1] تشکیل شده‌است که در آن: مثال. یک مثال اجرا می‌شود( رشتهٔ ورودی نشان داده نشده‌است ) ویژگی‌ها. وقتی که به ماشین اجازهٔ خواندن مجدد ورودی‌های خود داده می‌شود، پشته‌های مشبک در مقایسه با پشته‌های ساده، منجر به توانایی‌های شناسایی زبان‌های دیگر نمی‌شود. گلیمن و شاپیرو از ماشین پشته‌ای مشبک برای حل مشکل کلمه در گروه‌های خاص استفاده کردند. منابع. Wikipedia contributors, "Nested stack automaton,"
Wikipedia contributors, "Nested stack automaton," Wikipedia, The Free Encyclopedia, http://en.wikipedia.org/w/index.php?title=Nested_stack_automaton&amp;oldid=617539076 (accessed January 20, 2015).
سادات میرلوحی ساداتی هستند مقیم اصفهان که از نوادگان سید محمد موسوی سبزواری مشهور به میرلوحی، عالم دینی و شاعر قرن یازدهم هجری اند. این نام توسط شاه عباس به سید محمد موسوی سبزواری اصفهانی که از مجتهدین سرشناس ساکن سبزوار بوده‌است پس از قبول دعوت و مهاجرت به اصفهان به دلیل تخصص وی در خواندن الواح تاریخی ملقب می‌شود. قبر جد سادات میرلوحی به نام سید محمد میرلوحی در امامزاده اسماعیل اصفهان واقع در خیابان هاتف نزدیک درب ورودی بین دو ضریح قرار دارد. منابع. تاریخ غنی بازارگاه به قلم جناب اقای استاد علیرضاحسینی
غنی بازارگاه به قلم جناب اقای استاد علیرضاحسینی بزرگ
اگزیستنز () فیلمی در ژانر ترسناک و علمی-تخیلی به نویسندگی، تهیه‌کنندگی و کارگردانی دیوید کراننبرگ فیلمساز کانادایی است که در سال ۱۹۹۹ منتشر شد. در این فیلم جنیفر جیسن لی و جود لا به ایفای نقش پرداخته‌اند. داستان در مورد آلگرا گلر از شرکت آنتنا ریسرچ است که با طراحی یک بازی کامپیوتری مرز میان واقعیت و خیال را از بین برده و باعث درگیری شرکت آنتنا ریسرچ با شرکت رقیب خود یعنی کورتیکال سیستمز در زمینه تولید بازی‌های کامپیوتری می‌شود. از سوی دیگر گروهی یه نام واقع‌گرایان در تلاشند تا مانع تغییر شکل واقعیت شوند.
در تلاشند تا مانع تغییر شکل واقعیت شوند. خلاصه داستان. فیلم با سوء قصد به جان آلگرا گلر آغاز می‌شود. سپس وظیفه محافظت از او به شخصی به نام تد پیکول واگذار می‌گردد. آنان برای نجات جان خود وارد هتلی در آن نزدیکی می‌شوند و … تحلیل فیلم. "اگزیستنز" اختلاط واقعیت و توهم تا سرحد ممکن را به تصویر می‌کشد. نحوه قرار گرفتن دوربین نیز درهم ریختگی مرز جهان واقعی و بازی‌های کامپیوتری را مورد تأکید قرار می‌دهد. عنوان فیلم بی‌اختیار سارتر را به یاد می‌آورد. کراننبرگ گفته است که به نظر او تمامی واقعیت، مجازی است. در این
است که به نظر او تمامی واقعیت، مجازی است. در این زمینه با ناباکف نیز اشتراک دارد. ناباکوف می‌گوید که دنیای جدید واقعی دنیایی است که هنرمند خلق می‌کند و واقعیت ابژکتیو و پایدار خودفریبی است. ویژگی دیگری در فیلم وجود دارد که آن را نشانه‌ای از جامعه‌ای پست مدرن می‌نمایاند — یعنی تمایززدایی دال و مدلول و مرجع دلالت — به این معنا که زندگی روزانه آکنده از واقعیتی شده است که به‌طور روزافزونی مرکب از بازنمودهاست. واقعیت در تلویزیون و تبلیغات و ویدیو و کامپیوتر و غیره.
بوریس مویشزون (زاده ۲۶ اکتبر ۱۹۳۷ در اودسا -درگذشته ۲۵ اوت ۱۹۹۳ در نیوجرسی) ریاضیدان اوکراینی اهل شوروی سابق بود. زمینه کاری مویشزون هندسه جبری بود و او به ویژه به دلیل خمینه‌هایی که به نام خود او خمینه‌های مویشزون نامیده شده اند نامدار است. مویشزون شاگرد ایگور شافارویچ در مؤسسه استکلوف در مسکو بود. و تخت سرپرستی ایلیا شاپیروف دکترای ریاضی خود را در دانشگاه لومونوسف به دست آورد. او در سال ۱۹۷۲ نامه‌ای اعتراضی را امضا کرد که در آن استادان یهودی به خاطر مخارج بالایی که دارندگان مدرک دکترا می باید برای سفر به
بالایی که دارندگان مدرک دکترا می باید برای سفر به خارج از کشور پرداخت می‌کردند شکایت کرده بودند. در همان سال او شوروی را ترک گفت و نخست در دانشگاه تل آویو و از سال ۱۹۷۷ در دانشگاه کلمبیا در نیویورک به عنوان استاد حضور داشت. در سالهای دهه ۱۹۶۰ او خمینه‌های مویشزون را معرفی نمود. این خمینه ها، خمینه‌های مختلط فشرده همبندی هستند که میدان تابع‌های مرومورف روی آن‌ها دارای درجه تعالی برابر با بُعد این خمینه‌ها است. در سال ۱۹۶۷ مویشزون ثابت کرد که یکی خمینه مویشزون، یک چندگونای تصویری است اگر و تنها اگر پذیرای یک
یک چندگونای تصویری است اگر و تنها اگر پذیرای یک متریک کلر باشد. مویشزون به دلیل یک حمله قلبی در هنگام کوه پیمایی در سال ۱۹۹۳ در گذشت.
در ریاضیات، یک منیفلد مویشزون یک منیفلد مختلط همبند فشرده است که میدان تابع‌های مرومورفیک روی هر مؤلفه آن دارای درجۀ تعالی برابر با بُعد این منیفلد است. به زبان دیگر: formula_1 در این برابری، formula_2 میدان تابع‌های مرومورفیک روی formula_3 و formula_4 نشان‌گر بُعد formula_3 است. این منیفلدها به افتخار ریاضی‌دانِ اوکراینی، بوریس مویشزون، نام‌گذاری شد که نخستین بار آن‌ها را معرفی کرد. چندگوناهای مختلطِ جبری همۀ دارای این ویژگی هستند. به‌سخن دیگر، هر واریته جبری مختلط یک خمینۀ مویشزون است، ولی وارونِ این قضیه
مختلط یک خمینۀ مویشزون است، ولی وارونِ این قضیه درست نیست. هیروناکا مثالی از یک خمینۀ مویشزون از بُعد سه ارائه کرده است که چندگونای جبری یا اسکیم نیست. مویشزون در سال ثابت کرد که یک خمینۀ مویشزون یک چندگونایِ تصویری جبری است اگر و تنها اگر یک متریک کهلر بپذیرد. در سال ۱۹۷۰، آرتین نشان داد که هر منیفلد مویشزون پذیرای ساختار یک فضای جبری است.
در نظریهٔ محاسبه، یک ماشین متناهی متغیر، یک ماشین متناهی غیر قطعی است که انتقال‌های آن به انتقال‌های وجودی و عمومی تقسیم می‌شود. به‌طور مثال، فرض کنید A یک ماشین متغیر باشد. "A"به‌طور غیر قطعی، با خواندن a تغییر به یکی از حالتهای یا را انتخاب می‌کند؛ بنابراین مانند یک ماشین غیر قطعی منظم رفتار می‌کند. "A" به formula_3 و formula_4 حرکت می‌کند، در حالی که a را می‌خواند و رفتار ماشین موازی را شبیه‌سازی می‌کند. توجه کنید که به دلیل کمی سازی سراسری، یک اجرا بوسیلهٔ درخت اجرا نمایش داده می‌شود. اگر یک درخت اجرا
درخت اجرا نمایش داده می‌شود. اگر یک درخت اجرا در "w" وجود داشته باشد که هر مسیر به یک حالت پذیرش ختم شود "A" کلمهٔ "w" را قبول می‌کند. یک قضیهٔ پایه‌ای می‌گوید که هر AFA با اجرای نوع مشابهی از ساختار مجموعهٔ توانی همانطور که برای انتقال از NFA به یک ماشین متناهی قطعی استفاده می‌شود، معادل یک ماشین متناهی غیر قطعی است. این ساختار، یک AFA با "k" وضعیت را به NFA با بیش از formula_5 وضعیت تغییر می‌دهد. یک مدل دیگر که به‌طور رایج استفاده می‌شود، آن است که ترکیبات بولی به عنوان عبارات نشان داده می‌شوند. به‌طور
بولی به عنوان عبارات نشان داده می‌شوند. به‌طور مثال می‌توان فرض کرد که ترکیبات دارای فرم نرمال فصلی هستند، به طوری که formula_6 formula_7 را نشان می‌دهد. وضعیت tt (درست) با formula_8 و وضعیت ff (نادرست) با formula_9 نشان داده می‌شود. این نمایش عبارت معمولاً کاراتر است. تعریف رسمی. یک ماشین متناهی متغیر، ۶ تایی formula_10 است، که درآن
سه برادر () فیلمی به کارگردانی فرانچسکو روزی است که در سال ۱۹۸۱ منتشر شد. از بازیگران آن می‌توان به فیلیپ نوآره، میکله پلاچیدو، سیمونتا استفانلی و چارلز وانل اشاره کرد. خلاصه داستان. زنی سالخورده در مزرعه‌ای در جنوب ایتالیا از دنیا می‌رود. همسر او سه فرزندش را از شهرهای مختلف دعوت می‌کند. همه آنها با گذشته خود روبرو شده و آینده خود را تصور می‌کنند… جوایز. این فیلم کاندیدای ۱ اسکار (کاندیدای اسکار بهترین فیلم غیر انگلیسی زبان) در سال ۱۹۸۲ شد.
منطقه مرده () فیلمی در ژانر ترسناک و تریلر سیاسی به کارگردانی دیوید کراننبرگ است که در سال ۱۹۸۳ منتشر شد. داستان. جانی (کریستوفر واکن) معلم مدرسه و در آستانه ازدواج است. او در سانحه اتوموبیل به شدت مجروح و به مدت پنج سال در بیمارستان در کُما می‌مانَد. پس از به هوش آمدن متوجه می‌شود که دچار یک حالت ماوراء طبیعه شده و در پی تماس فیزیکی با افراد، رویدادهایی در رابطه با گذشته، حال یا آینده آنها را در ذهنش می‌بیند. این حالت در بیمارستان موجب می‌شود که فرزند یکی از پرستاران را از مرگ نجات دهد. این موضوع کم‌کم او
پرستاران را از مرگ نجات دهد. این موضوع کم‌کم او را معروف می‌کند و توانایی او به کشیده شدن پایش به مسایل پلیسی و سیاسی در آمریکا می‌انجامد.
دیاسپورای گرجی به جمعیت‌هایی از مردم گرجی گفته می‌شود که چه در طول تاریخ و چه در دوران معاصر از گرجستان مهاجرت کرده و خارج از مرزهای آن زندگی می‌کنند. افراد برجسته. از سرشناس‌ترین افراد برجسته از دیاسپورای گرجی می‌توان به افراد زیر اشاره کرد:
در نظریهٔ زبان صوری، یک گرامر، مجموعه‌ای از قوانین تولید برای رشته‌ها در زبان صوری است. این قوانین، چگونگی تولید رشته‌ها را از الفبای زبان، که با توجه به ترکیب زبان معتبرند، توضیح می‌دهند. یک گرامر، معنی رشته‌ها یا چگونگی استفاده از آنها را در متن نشان نمی‌دهد، بلکه فقط نشان‌دهندهٔ فرم رشته‌هاست. نظریهٔ زبان صوری، نظمی که گرامرهای صوری و زبان‌ها را مطالعه می‌کند، شاخه‌ای از ریاضیات کاربردی است. کاربرد آن در علوم نظری رایانه، زبان‌شناسی نظری، ، منطق ریاضی، سایر حوزه‌های مشاهده می‌شود. یک گرامر صوری،
سایر حوزه‌های مشاهده می‌شود. یک گرامر صوری، مجموعه‌ای از قوانین برای بازنویسی رشته‌ها همراه با «نماد شروع» است که بازنویسی با آن آغاز می‌شود. به همین دلیل یک گرامر معمولاً به عنوان مولد زبان گماشته می‌شود. اگرچه این می‌تواند گاهی به عنوان پایه‌ای برای شناسنده (تابعی در محاسبه که مشخص می‌کند یک رشته متعلق به زبان است یا از نظر گرامر اشتباه است) استفاده شود. برای توضیح چنین شناسنده‌هایی، نظریه زبان صوری، از صورت‌های مجزا که به نام نظریه اتوماتا شناخته می‌شوند، استفاده می‌کند. یکی از نتایج جالب نظریه اتوماتا،
استفاده می‌کند. یکی از نتایج جالب نظریه اتوماتا، این است که امکان طراحی یک شناسنده برای زبان‌های رسمی صوری وجود ندارد. تجزیه، فرایندی برای شناسایی یک گفتار (رشته‌ای در زبان طبیعی) با شکستن آن به مجموعه‌ای از نمادها و تحلیل هرکدام از آنها دربرابر گرامر زبان است. بیشتر زبانها، معنی ساختار گفتارشان را با توجه به ترکیبشان دارند. در نتیجه گام اول برای توضیح معنی یک گفتار در زبان، بخش بخش کردن آن و توجه به فرم تحلیل شده آن (نمودار درختی در علوم کامپیوتر و در دستور زایشی) است. مثال مقدماتی. یک گرامر، اساساً شامل
زایشی) است. مثال مقدماتی. یک گرامر، اساساً شامل مجموعه‌ای از قوانین برای انتقال رشته‌هاست. برای تولید یک رشته در زبان، با یک رشته شامل تک نماد آغازین شروع می‌کنیم. سپس قواعد تولید در هر دستور اعمال می‌شوند تا رشته‌ای که نه شامل نماد آغازین و نه نماد طراحی شده غیرپایانی باشد، تولید شود. یک قاعده تولید روی یک رشته، با جابجا کردن یک رخداد سمت چپ قاعده تولید در رشته، با سمت راست آن قاعده، اعمال می‌شود. زبان تشکیل شده توسط گرامر شامل تمام رشته‌های مجزا که می‌توانند بدین شکل تولید شوند می‌باشد. هر دنباله مشخص از
بدین شکل تولید شوند می‌باشد. هر دنباله مشخص از قواعد تولید در نماد آغازین، یک رشته مجزا در زبان را ایجاد می‌کند. اگر راه‌های مختلف برای تولید یک رشته وجود داشته باشد، گرامر را مبهم می‌نامیم. برای مثال، الفبای a و b، با نماد آغازین S و قواعد تولید زیر را در نظر بگیرید: با S شروع می‌کنیم و می‌توانیم یک قاعده برای اعمال روی آن انتخاب کنیم. اگر قاعدهٔ ۱ را انتخاب کنیم، رشتهٔ aSb را به‌دست می‌آوریم. سپس اگر دوباره قاعدهٔ ۱ را برگزینیم، با جایگزینی aSb به‌جای S، رشتهٔ aaSbb را به‌دست می‌آوریم. حال اگر قاعدهٔ ۲
رشتهٔ aaSbb را به‌دست می‌آوریم. حال اگر قاعدهٔ ۲ را انتخاب کنیم، با جایگزینی ba به‌جای S، رشتهٔ aababb به‌دست می‌آید و کار به اتمام می‌رسد. می‌توانیم به نوشتن سری انتخاب‌ها با استفاده از نمادها، آن را واضح‌تر بیان کنیم: S =&gt; aSb =&gt; aaSbb =&gt; aababb زبان گرامر، مجموعه نامتناهی {... ,anbabn | n≥۰} = {ba, abab, aababb, aaababbb} است که ak، تکرار k مرتبه از a است. تعریف رسمی. نحوهٔ گرامر. در تعریف رسمی کلاسیک گرامر مولد، که برای اولین بار توسط نوآم چامسکی مطرح شد، گرامر G شامل اجزاء زیر: یک گرامر به
مطرح شد، گرامر G شامل اجزاء زیر: یک گرامر به طور رسمی توسط یک چهارتایی (N, Σ, P, S) نشان داده می‌شود به طوری که یک گرامر رسمی در ادبیات، اغلب سیستم بازنویسی یا ساختار عبارت گرامر نامیده می‌شود. معناشناسی گرامر. عملیات یک گرامر می‌تواند از نظر رابطه‌ها روی رشته‌ها تعریف شود: سلسله مراتب چامسکی. وقتی نوآم چامسکی اولین بار گرامرهای مولد را در ۱۹۵۶ رسمی کرد، او آنها را در انواعی طبقه‌بندی کرد که امروزه به نام سلسله مراتب چامسکی شناخته شده هستند. تفاوت بین این انواع، روند فزاینده سخت قواعد تولید است و می‌تواند
روند فزاینده سخت قواعد تولید است و می‌تواند تعداد کمتری از زبانهای رسمی را بیان کند. دو نوع مهم، گرامرهای مستقل از متن (نوع ۲) و گرامرهای منظم (نوع ۳) هستند. زبان‌هایی که بتوانند توسط چنین گرامری توصیف شوند، به ترتیب زبان‌های مستقل از متن و زبان‌های منظم نام دارند. اگرچه از گرامر نامحدود (نوع ۰) که می‌تواند هر زبانی که توسط ماشین تورینگ پذیرفته می‌شود را بیان کند، بسیار کم قدرت ترند، ولی به دلیل اجرای مؤثر تجزیه کننده‌ها بر آنها، این دو نوع گرامر بیشتر استفاده می‌شوند. برای مثال، همهٔ زبان‌های منظم
استفاده می‌شوند. برای مثال، همهٔ زبان‌های منظم می‌توانند توسط یک ماشین حالات متناهی شناخته شوند و الگوریتم‌های شناخته شده‌ای برای زیرمجموعه‌های مفید از گرامرهای مستقل از متن برای تولید تجزیه‌کننده ال‌ال و تجزیه‌کننده ال‌آر برای به رسمیت شناختن زبان‌های متناظر با گرامرهای تولید شده، وجود دارند. گرامرهای مستقل از متن. یک گرامر مستقل از متن گرامریست که سمت چپ هر قاعده تولید آن شامل یک نماد غیر پایانیست. این محدودیت بیهوده نیست، چرا که همه زبان‌ها را نمی‌توان توسط گرامرهای مستقل از متن تولید کرد، آنهایی که
توسط گرامرهای مستقل از متن تولید کرد، آنهایی که توسط این گرامرها تولید می‌شوند زبان‌های مستقل از متن نام دارند. زبان {L(G) = {anbncn|n≥۱ که در بالا تعریف شد، یک زبان مستقل از متن نیست و این می‌تواند توسط لم تزریق برای زبان‌های مستقل از متن ثابت شود اما برای مثال زبان {anbn|n≥۱} مستقل از متن است از آنجا که می‌تواند آن را توسط گرامر G2 با {N={S و {Σ= {a,b که S نماد آغازین و قوانین تولید به صورت زیرمیباشند، تولید کرد. یک زبان مستقل از متن می‌تواند در زمان (O(n3 با یک الگوریتم مانند شناخته شود. به همین دلیل،
با یک الگوریتم مانند شناخته شود. به همین دلیل، برای هر زبان مستقل از متن ماشینی می‌تواند ساخته شود که یک رشته را به عنوان ورودی بگیرد و در زمان (O(n3 تشخیص دهد که این رشته عضو زبان است یا خیر که n طول آن رشته می‌باشد. زبان مستقل از متن قطعی زیر مجموعه‌ای از زبان‌های مستقل از متن است که می‌تواند در زمان خطی تشخیص داده شود. الگوریتم‌های متعددی با هدف تشخیص این مجموعه از زبان‌ها یا زیر مجموعه از آنها وجود دارد. گرامرهای منظم. در گرامرهای منظم هم سمت چپ یک نماد غیر پایانیست با این تفاوت که سمت راست هم محدودیت
غیر پایانیست با این تفاوت که سمت راست هم محدودیت دارد. سمت راست ممکن است یک رشته تهی یا یک نماد پایانی یا یک نماد پایانی که با یک نماد غیر پایانی همراه است باشد. زبان {anbn|n≥۱} که در بالا تعریف شد منظم نیست اما زبان {anbm|m,n≥۱} منظم است زیرا می‌تواند توسط گرامر G3 با N = {S,A,B}, و{Σ= {a,b نماد آغازین S و قواعد تولید زیر تولید شود: همه زبان‌هایی که توسط یک گرامر مستقل از متن تولید می‌شوند می‌توانند در زمان خطی توسط ماشین حالات متناهی شناخته شوند. اگر چه در عمل گرامرهای منظم عموماً با استفاده از عبارتهای
عمل گرامرهای منظم عموماً با استفاده از عبارتهای منظم توضیح داده می‌شوند، بعضی شکل‌های عبارت منظم که در عمل استفاده می‌شوند قویا زبان‌های منظم تولید نمی‌کنند و تشخیص خطی از اجرای آن اشتقاق‌ها نشان نمی‌دهند. گرامرهای بازگشتی. یک گرامر بازگشتی، گرامری است شامل قواعد تولیدی که بازگشتی می‌باشند. برای مثال، یک گرامر برای زبان مستقل از متن، بازگشتی چپ است اگر یک نماد غیر پایانی A وجود داشته باشد که بتوان آنرا میان قواعد تولید طوری قرار داد که رشته‌ای تولید کند که در آن A، چپ‌ترین نماد است. همهٔ انواع گرامرهای
که در آن A، چپ‌ترین نماد است. همهٔ انواع گرامرهای سلسله مراتب چامسکی می‌توانند بازگشتی باشند.
کونستهاوس زوریخ یک موزهٔ هنری در شهر زوریخ است که از سال ۱۹۱۰ در ساختمان طراحی شده توسط کارل موزر مستقر است. موزهٔ کونستهاوس زوریخ شامل آثار نقاشی اروپایی از رنسانس تا دورهٔ مدرن است. این موزه به‌ویژه برای کارهای نقاشان سوئیسی و پیکره‌های چوبی و سنگی موجود در آن برجسته می‌باشد. در موزهٔ کونستهاوس زوریخ تندیس‌هایی از پیکره‌سازانی چون آلبرتو جاکومتی، هنری مور و آگوست رودن نگهداری می‌شود.
سربرو و نام یک گروه موسیقی روسی می‌باشد که توسط مدیر گروه ماکسیم فِدِو تشکیل شده. معنی اسم گروه به فارسی نقره می‌شود. اعضای فعلی گروه لیزا کورنیلووا و ماریانا کوچورووا هستند. آن‌ها در مسابقه آواز یوروویژن ۲۰۰۷ نماینده روسیه بودند. تاریخچه. تشکیل و شرکت در مسابقه آواز یوروویژن ۲۰۰۷. در اوایل سال ۲۰۰۷ میلادی تهیه‌کننده گروه ماکسیم فِدِو دنبال هدفی برای تشکیل گروهی به اسم سربرو بود. در ابتدا گروه برای Channel One Russia و شرکت در مسابقه آواز یوروویژن ۲۰۰۷ تشکیل شد. با این که در ابتدا قرار بود گروه یک خواننده
شد. با این که در ابتدا قرار بود گروه یک خواننده داشته باشد ولی این گروه با سه خواننده آغاز به کار کرد؛ النا تمنیکوا که عضو سابق Star Factory روسیه بود که با دو تازه‌کار ماریانا لیزورکینا و اولگا سیرابکینا جفت شده بود اعضای اولیه گروه بودند. در ۸ مارس ۲۰۰۷ اعضای خبرهٔ Channel One Russia گروه سربرو و آهنگ «آهنگ#۱» این گروه را برای مسابقه آواز یوروویژن ۲۰۰۷ از طرف روسیه انتخاب کردند. در ۱۲ می ۲۰۰۷، سربرو در مسابقه شرکت کرد و به رتبهٔ سوم با ۲۰۷ امتیاز رسید. اجرای گروه در هلسینکی اولین اجرای رسمی آهنگ و اولین
گروه در هلسینکی اولین اجرای رسمی آهنگ و اولین کنسرت گروه برای تعداد زیادی تماشاچی بود.
لوک ایلوزی (زاده ۱۹۴۰) ریاضیدان اهل فرانسه است. ایلوزی دکترای خود را تحت سرپرستی الکساندر گروتندیک در اکول نرمال سوپریور به دست آورد و هم‌اکنون پروفسور بازنشسته در دانشگاه پاریس جنوبی ۱۱ می‌باشد. او سهم بسزایی در گسترش هندسه جبری داشته‌است و شاگردان بسیاری در این زمینه تربیت کرده‌است. در سال ۲۰۱۲ او به خاطر فعالیت‌های علمی اش برنده مدال امیل پیکار شد. پیوند به بیرون. برگه شخصی در دانشگاه پاریس ۱۱
یک ماشین پشته‌ای جاسازی‌شده () یا EPDA یک مدل محاسباتی برای تجزیه زبان‌هایی که به وسیلهٔ گرامر درخت مجاور (TAG) تولید می‌شوند است. آن شبیه گرامر مستقل از متن ماشین پشته‌ای را تجزیه می‌کند به جز اینکه به جا استفاده از ماشین یک پشتهٔ ساده برای ذخیره سمبل‌ها، یک پشته از پشته‌های تأثیری که نمادها را ذخیره می‌کنند دارد، دادن گرامرهای درخت مجاور یک ظرفیت تولیدی بین گرامر مستقل از متن و گرامر حساس به متن، یا یک زیرمجموعه از گرامرهای حساس به متن ملایم است و ماشین پشته‌ای جاسازی شده نباید با ماشین پشته‌ای تودرتو که
جاسازی شده نباید با ماشین پشته‌ای تودرتو که قدرت محاسباتی بیشتری دارد اشتباه گرفته شود. تاریخچه و کاربرد. EPDAها ابتدا توسط K. Vijay-Shanker و در پایان‌نامه دکترایش تعریف شدند. آن‌ها برای تعریف‌های کامل تر از کلاس‌های گرامرهای حساس به متن ملایم درخواست شده‌اند و نقش مهمی در پالایش سلسله مراتب چامسکی داشته‌اند؛ بنابراین زیرگرامرهای متنوع، به‌طور مثال linear indexed grammar می‌تواند تعریف شود. EPDAها همچنین شروع‌کننده و ایفاکنندهٔ نقش مهمی در پردازش زبان طبیعی هستند. در حالی که زبان‌های طبیعی به‌طور سنتی به
هستند. در حالی که زبان‌های طبیعی به‌طور سنتی به وسیلهٔ گرامرهای مستقل از متن تجزیه و تحلیل می‌شده‌اند. transformational-generative grammar) وcomputational linguistics (این مدل برای زبان‌های با وابستگی ضربدری خوب کار نمی‌کند، از قبیل Dutch وضعیت‌ها برای یک EPDA خیلی مناسب است. یک تحلیل دقیق زبانی در دسترس است. نظریه. یک EPDA یک ماشین با وضعیت‌های متناهی و یک مجموعه از پشته‌ها که از طریق پشته جاسازی شده به همدیگر دسترسی دارند، است. هر پشته شامل عناصری از الفبای پشته formula_1 است و بنابراین ما یک عنصر از
پشته formula_1 است و بنابراین ما یک عنصر از پشته را با formula_2 (که بستار کلینی است) تعریف می‌کنیم. هر پشته سپس می‌تواند به لحاظ عناصرش تعریف شود؛ بنابراین ما پشتهٔ jام را با استفاده از نماد دو خنجر معنی می‌کنیم. formula_3,جایی که نماد بعدیformula_4 قابل دستیابی در پشته است. پشته جاسازی شده از پشته می‌تواند به شکل زیر معنی شود. formula_5 ما یک EPDA را به وسیلهٔ یک ۷تایی تعریف می‌کنیم. مجموعهٔ محدودی از وضعیت‌ها است. formula_7 یک مجموعهٔ محدود از الفبای ورودی است. formula_8 formula_1 مجموعهٔ متناهی از
ورودی است. formula_8 formula_1 مجموعهٔ متناهی از الفبای پشته است. formula_10 وضعیت شروع است. مجموعهٔ وضعیت‌های پایانی است. formula_11 نماد شروع پشته است. formula_12 formula_13تابع انتقال است که در آن formula_14 یک زیرمجموعهٔ متناهی از formula_15 است. بنابراین تابع انتقال یک وضعیت را با نماد بعدی از رشتهٔ ورودی و نماد روی پشتهٔ جاری می‌گیرد و وضعیت بعدی را تولید می‌کند. پشته‌ها داخل پشتهٔ جاسازی شده نشانده و برداشته می‌شوند، نشاندن و برداشتن از پشتهٔ جاری صورت می‌گیرد و پشته‌ها، پشتهٔ جار ی را در انتقال بعد
می‌گیرد و پشته‌ها، پشتهٔ جار ی را در انتقال بعد در نظر می‌گیرند. به عبارت دقیق تر پشتهٔ جاسازی شده نشانده و برداشته می‌شود، پشته جاری به‌طور اختیاری داخل پشتهٔ جاسازی شده نشانده می‌شود و هر یک از گشته‌های دیگر بالای آن نشانده می‌شوند و در بازگویی بعدی از آخرین پشته می‌خوانیم؛ بنابراین پشته‌ها می‌توانند بالا و پایین پشتهٔ جاری نشانده شوند. یک وضعیت داده شده به صورت زیر تعریف می‌شود: که در آن formula_17 وضعیت جاری و formula_18ها پشته‌های داخل پشتهٔ جاسازی شده هستند و formula_19 پشتهٔ جاری است و برای یک رشتهٔ