open-index/open-wikipedia-markdown huggingface dataset:
هلرتاون، پنسیلوانیا

**هلرتاون، پنسیلوانیا** (به انگلیسی: Hellertown, Pennsylvania) یک سکونتگاه مسکونی در ایالات متحده آمریکا است که در شهرستان نورث‌همپتون، پنسیلوانیا واقع شده‌است.

## خصوصیات
**هلرتاون** ۵٬۶۰۶ نفر جمعیت دارد.

## جستارهای وابسته
* فهرست شهرهای ایالات متحده آمریکا

## منابع

رده:بنیان‌گذاری‌های ۱۷۴۲ (میلادی) در پنسیلوانیا
رده:مناطق مسکونی بنیان‌گذاری‌شده در ۱۷۴۲ (میلادی)
رده:مقاله‌های که ابهام‌زدایی آنها به‌اشتباه به‌جای پرانتز با کاما صورت گرفته
جان داوسون

**جان داوسون** () (زاده ۱۷۳۴ – درگذشته ۱۹ سپتامبر ۱۸۲۰) یک جراح و ریاضی‌دان اهل بریتانیا بود. تحقیقات او بر روی محاسبه فاصله زمین تا خورشید بود.

## کتابشناسی
* The Doctrine of Philosophical Necessity Briefly Invalidated (۱۷۸۱)

## منابع

* 

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

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

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

## منابع

* 

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

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

## منابع

* 
* 

رده:اعضای انجمن سلطنتی
رده:اهالی نورویچ
رده:آنالیز ریاضی‌دانان
رده:دارندگان کرسی ریاضیات لوکاسی
رده:دانش‌آموختگان کالج گانویل اند کیس، کمبریج
رده:درگذشتگان ۱۸۲۷ (میلادی)
رده:ریاضی‌دانان سده ۱۹ (میلادی) اهل انگلستان
رده:ریاضی‌دانان اهل انگلستان
رده:زادگان ۱۷۷۳ (میلادی)
رده:خاک‌سپاری در کمبریج‌شر
جاشوا کینگ (ریاضی‌دان)

**جاشوا کینگ** (؛  – ) ریاضی‌دان اهل بریتانیا بود. 

## منابع

* 
* 

رده:اهالی اولرستون
رده:درگذشتگان ۱۸۵۷ (میلادی)
رده:ریاضی‌دانان سده ۱۹ (میلادی) اهل انگلستان
رده:زادگان ۱۷۹۸ (میلادی)
رده:معاون چنسلرهای دانشگاه کمبریج
جان روبین بیتز

**جان روبین بیتز** (؛ زادهٔ ) یک هنرپیشه، و فیلم‌نامه‌نویس اهل ایالات متحده آمریکا است.

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

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

## منابع

* 

رده:استادان نیو اسکول
رده:افراد زنده
رده:اهالی منطقه لس آنجلس بزرگ
رده:بازیگران مرد اهل لس آنجلس، کالیفرنیا
رده:بازیگران مرد فیلم اهل ایالات متحده آمریکا
رده:تهیه‌کنندگان تلویزیونی اهل ایالات متحده آمریکا
رده:تهیه‌کنندگان تلویزیونی اهل کالیفرنیا
رده:تهیه‌کنندگان تلویزیونی اهل نیویورک
رده:دانش‌آموختگان دبیرستان بورلی هیلز
رده:دریافت‌کنندگان جایزه گوگنهایم
رده:افراد ال‌جی‌بی‌تی اهل کالیفرنیا
رده:زادگان ۱۹۶۱ (میلادی)
رده:فیلم‌نامه‌نویسان اهل ایالات متحده آمریکا
رده:فیلم‌نامه‌نویسان اهل کالیفرنیا
رده:فیلم‌نامه‌نویسان اهل نیویورک (ایالت)
رده:فیلم‌نامه‌نویسان مرد اهل ایالات متحده آمریکا
رده:نمایشنامه‌نویسان مرد اهل ایالات متحده آمریکا
رده:نمایشنامه‌نویسان یهودی‌تبار اهل ایالات متحده آمریکا
رده:نمایشنامه‌نویسان اهل ایالات متحده آمریکا
رده:نمایشنامه‌نویسان سده ۲۰ (میلادی) اهل ایالات متحده آمریکا
رده:نمایشنامه‌نویسان همجنس‌گرا
رده:نویسندگان اهل لس آنجلس، کالیفرنیا
رده:نویسندگان ال‌جی‌بی‌تی اهل ایالات متحده آمریکا
رده:نویسندگان مرد تلویزیونی
رده:نویسندگان مرد سده ۲۰ (میلادی)
رده:نویسندگان مرد سده ۲۰ (میلادی) اهل ایالات متحده آمریکا
رده:نویسندگان همجنس‌گرای مرد
رده:یهودیان ال‌جی‌بی‌تی
رده:نویسندگان تلویزیونی مرد اهل ایالات متحده آمریکا
رده:یهودیان آمریکایی سده ۲۱ (میلادی)
موزه بویمانس فان بنینگن

**موزهٔ بویمانس فان بِنینگن**  موزه‌ای در شهر رتردام هلند است که به‌ویژه برای آثار هنری هلندی و فلامانش مطرح می‌باشد.

## تاریخچه
موزه در سال ۱۸۴۷ با مجموعه‌ای از آثار متعلق به فرانس یاکوب اوتو بویمانس با نام «موزهٔ بویمانس» آغاز بکار کرد. در سال ۱۹۵۸ مجموعه‌ای از آثار متعلق به دانیل ژرژ فان بنینگن به گنجینهٔ موزه افزوده شد و نام موزه به موزهٔ بویمانس فان بنینگن تغییر یافت.

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

## نگارخانه

Pieter Bruegel the Elder - The Tower of Babel (Rotterdam) - Google Art Project - edited.jpg|*[[برج بابل (بروگل)|برج بابل]]*، پیتر بروگل، حدود ۱۵۶۳
Kandinsky, Lyrisches.jpg|*سوارکار*، واسیلی کاندینسکی، ۱۹۱۱، رنگ روغن روی بوم، ۱۳۰ x ۹۴ سانتیمتر
Vincent Willem van Gogh 087.jpg|تک‌چهرهٔ آرمان رولین، ونسان ون گوگ، ۱۸۸۸
Jan Havicksz. Steen - Easy come, easy go - Google Art Project.jpg|*راحت می‌آید و راحت می‌رود*۱۶۶۱ م.اثر یان استین


## یادداشت

## پانویس

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

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

## منابع

* 
* 

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

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

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

## مثال
ساختمان مجموعهٔ توانی یک الگوریتم برای ساخت یک ماشین متناهی قطعی از یک ماشین متناهی غیر قطعی داده شده‌است.

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

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

رده:اتوماتا (رایانش)
رده:ویکی‌سازی رباتیک
ماشین بوخی توسعه یافته

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

## تعریف رسمی
به طور رسمی یک ماشین بوخی توسعه یافته یک چند تاییA=(\phi, \Sigma, \Delta ,\phi _0,\left \{ F_1,... ,F_n \right \}) است که شامل اجزاء زیر است:
* φ یک مجموعهٔ متناهی است. مولفه‌های φ را حالتهای A می‌نامند.
* Σ یک مجموعهٔ متناهی است که آنرا الفبای A می‌نامند.
* \Delta :\phi *\Sigma \rightarrow 2^{\phi } یک تابع است که آنرا رابطه انتقال A می‌نامند.
* \phi_0  یک زیرمجموعه از φ است که حالتهای اولیه نامیده می‌شود.
* { F_1,... ,F_n } که برای هر 1\leq i \leq n  داریم F_{i}\subseteq \phi ، شرط پذیرش است.

A دقیقاً آن چرخه‌های اجرا را می‌پذیرد که در آن مجموعه حالتهای اتفاق افتاده که اغلب نامحدود است، شامل حداقل یک حالت از هر\left \{ F_1,... ,F_n \right \}باشد.
برای توضیح جامع تر ماشینωرا ببینید.

## ماشین بوخی توسعه یافته برچسب دار
ماشین بوخی توسعه یافته برچسب دار(LGBA)یک گونهٔ دیگر است که در آن ورودی به عنوان برچسب‌هایی با حالات به جای برچسب‌های با انتقال‌ها، همراه است. ماشین بوخی توسعه یافته برچسب دارتوسط گرس و همکارانش معرفی شد.
به طور رسمی، یک ماشین بوخی توسعه یافته برچسب دار یک چند تاییA=(\phi, \Sigma,L, \Delta ,\phi _0,\left \{ F_1,... ,F_n \right \}) است که شامل اجزاء زیر است:
* φ یک مجموعهٔ متناهی است. مولفه‌های φ را حالتهای A می‌نامند.
* Σ یک مجموعهٔ متناهی است که آنرا الفبای A می‌نامند.
* L:\phi \rightarrow 2^{\Sigma } یک تابع است که آنرا تابع برچسب A می‌نامند.
*  \Delta :\phi *\Sigma \rightarrow 2^{\phi }  یک تابع است که آنرا رابطه انتقال A می‌نامند.
* \phi_{0}یک زیرمجموعه از φ است که حالتهای اولیه نامیده می‌شود.
* \left \{ F_1,... ,F_n \right \} که برای هر 1\leq i \leq n  داریم F_{i}\subseteq \phi ، شرط پذیرش است.

فرض کنیدw=a_{1}a_{2}... یک ω-حرف روی الفبایΣباشد. حالr_{1},r_{2},... یک چرخهٔ اجرا از A روی حرفw است اگر r_{1}\in \phi _{0} و برای هرi\geq 0داشته باشیمr_{i+1}\in \Delta \left(r_{i} \right) و a_{i}\in L\left (r_{i} \right).

A دقیقاً آن چرخه‌های اجرایی را می‌پذیرد که در آن مجموعه حالتهای اتفاق افتاده که اغلب نامحدود است، شامل حداقل یک حالت از هر  F_1,... ,F_n باشد.

برای بدست آوردن مدل غیر برچسب دار آن، برچسب‌ها از گره‌ها به انتقالات واردشده حذف می‌شوند.

## جستارهای وابسته

ماشین بوخی توسعه یافته

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

## منابع

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

**تیموتی باتومز** (؛ زادهٔ ) هنرپیشه اهل ایالات متحده آمریکا است. وی از سال ۱۹۷۰ میلادی تاکنون مشغول فعالیت بوده است.

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

## منابع

* 
* 
## پیوند به بیرون
* 
* فهرست آثار تیماتی باتومز در موزیک‌برینز

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

[بندانگشتی|300px|چپ|پیانوی [لوئیس لاک در ورگس (Verges). در همین‌جا بود که او ترانهٔ اعتراضی لستاکا را نوشت و تنظیم کرد.]]
**لستاکا** ، (با تلفظ ɫəsˈtakə در زبان کاتالان)، نام ترانه‌ای اعتراضی است که لوئیس لاک، خواننده و آهنگساز کاتالان در سال ۱۹۶۸ ساخت و شعر آن به زبان کاتالان را نیز خود سروده‌است. این ترانه را یکی از اثرگذارترین ترانه‌های او می‌دانند.

این ترانه در دوران دیکتاتوری ژنرال فرانکو سروده شد و به سرعت در میان آزادی‌خواهان اسپانیا محبوب شد. بعدها جنبش‌های آزادی‌خواهانه در دیگر کشورهای اروپایی از این ترانه و آهنگ آن استفاده کردند. از جملهٔ این اقتباس‌ها می‌توان به آهنگ موری از یاتسک کاچمارسکی اشاره کرد که در دههٔ ۱۹۸۰ میلادی به آهنگ اصلی جنبش اتحادیه همبستگی سولیدارنوشچ در لهستان تبدیل شده بود.

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

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

## نسخه‌های دیگر آهنگ
* آهنگ اصلی جنبش اتحادیه همبستگی سولیدارنوشچ در لهستان دههٔ۱۹۸۰ میلادی که با صدای یاتسک کاچمارسکی خوانده شد.
* هواداران باشگاه راگبی USAP در شهر پرپینیان فرانسه از آهنگ این ترانه به عنوان سرود رسمی خود استفاده می‌کنند.
* این ترانه به عنوان آهنگ سرود انقلاب تونس (۲۰۱۱) بکار رفت.

## منابع

* 

## پیوند به بیرون
* آهنگ لستاکا با صدای لوئیس لاک
* متن این ترانه به زبان کاتالان  (برگردان انگلیسی ترانه لستاکا)
* این ترانه در یوتیوب

رده:ترانه‌های اعتراضی
رده:ترانه‌های کاتالان‌زبان
رده:زبان کاتالان
دیسپلی‌پورت

بندانگشتی|دیسپلی‌پورت (به انگلیسی: DisplayPort) نسل جدید پورت‌های ارتباطی است که در جدیدترین کامپیوترها، کارت‌های گرافیک و همچنین لپ‌تاپ‌ها، ممکن است جایگزین اچ‌دی‌ام‌آی شود.
**دیسپلی‌پورت**  نسل جدید پورت‌های ارتباطی است که در جدیدترین کامپیوترها، کارت‌های گرافیک و همچنین لپ‌تاپ‌ها، ممکن است جایگزین اچ‌دی‌ام‌آی شود. این پورت تحت نظر اتحادیه‌ی استانداردهای الکترونیکی ویدئو یا VESA توسعه‌یافته و توسط همین اتحادیه کنترل می‌شود. در سال ۲۰۰۶ دیسپلی‌پورت به عنوان جایگزینی برای پورت آنالوگ VGA (یا Video Graphic Array به معنی آرایه‌ی گرافیکی ویدئویی) که در سال ۱۹۸۷ معرفی شده بود و همچنین پورت DVI (یا Digital Video Interface به معنی رابط ویدئویی دیجیتال) که در سال ۱۹۹۹ معرفی شده بود، معرفی شده است. این دو پورت اصولاً برای کامپیوترها طراحی شده بودند. حق امتیاز دیسپلی‌پورت رایگان و مبلغی حدود دو میلیون دلار است.

## منابع

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

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

## تعریف
با توجه به گرامر مستقل از متن ، نماد غیرپایانی  x  تولید کننده یا مولد نامیده می‌شود به طوریکه برای بعضی از رشته‌های  w  از نمادهای پایانی وجود داشته باشد اشتقاق   *X* ⇒* *w* .  نماد پایانی  X  قابل دسترسی نامیده می‌شود اگر برای بعضی از رشته‌های  α  و  β  از نمادهای پایانی وجود داشته باشد اشتقاق   *S* ⇒* α*X*β    که در آن  S  نشان دهنده نماد شروع گرامر است . قانونی با نماد غیرقابل دسترس یا غیرمولد در سمت چپ آن ، می‌تواند از گرامر بدون تغییر دادن زبان پذیرفته شده ( با نام مستعار تولید ) حذف گردد . به همین ترتیب ، یک جایگزین حاوی چنین نمادی را می‌توان از سمت راست یک قانون ، بدون تغییر زبان حذف کرد .

چنین قوانین و جایگزین‌هایی را بی‌فایده می‌نامیم.

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

## مثال‌ها

با تخصیص نمادهای غیر پایانی و پایانی ، به ترتیب به حروف بزرگ و کوچک، در گرامر منظم زیر با نماد شروع S داریم:

S → Bb | Cc | Ee 

B → Bb | b

C → Cc | c

D → Bd | Cd | d

E → Ee

نماد غیرپایانی D (که برای سهولت با رنگ قرمز نشان داده شده) غیرقابل دسترس است و E (سبز) غیرمولد است. از این رو، حذف دو قانون آخر، زبان پذیرفته شده توسط گرامر را تغییر نمی‌دهد، همانطور که حذف جایگزین "| Ee" از سمت راست قانون S نیز گرامر را تغییر نمی‌دهد.

## پاک کردن قوانین بی فایده

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

آیکن و مورفی الگوریتم fixpoint ی برای تشخیص اینکه کدام نمادهای غیرپایانی از یک گرامر درخت منظم داده شده غیرمولد هستند ارائه دادند .

## منابع

* [//en.wikipedia.org/w/index.php?title=Useless_rules&oldid=620871818 ویکی‌پدیای انگلیسی]
رده:زبان‌های صوری
رده:قاعده‌ها
باونتی

چپ|بندانگشتی|300px

**باونتی**  نام تجاری شیرینی ساخته شده توسط شرکت مارس می‌باشد، که شامل پودر نارگیل ترکیب شده با شیر عسلی می‌باشد و از لایه‌ای مرکب از شکلات و شیر پوشیده شده‌است.

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

## منابع

* 

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

* وبگاه رسمی شرکت مارس

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

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

وایت وارد تالار مشاهیر ای‌وی‌ان و ایکس ار سی او شده و در سال ۲۰۲۰ به اولین فردی تبدیل شد که سه بار برنده جایزه بهترین بازیگر پورنوگرافی زن ای‌وی‌ان شده است.

## تحصیلات
وایت در سال ۲۰۱۰ از رشته مطالعات جنسیت در دانشگاه ملبورن فارغ‌التحصیل شد. او در دانشگاه، تحقیقاتی مبنی بر تجربیات زنان در صنعت پورن استرالیا انجام داد. پایان‌نامه او با نام «بازیگران پورن: پتانسیل رادیکالی لذت در پورنوگرافی» در سال ۲۰۱۷ در کتاب *راتلج همیار رسانه، سکس و روابط جنسی* چاپ شد. وایت در مصاحبه‌ای که در سال ۲۰۱۴ انجام داد، گفت که دوست دارد برگردد دانشگاه و مدرک دکترایش را بگیرد و تحقیقاتش را در سطح گسترده‌تری انجام بدهد.

## حرفه
وایت حرفه خود را در سال ۲۰۰۳ شروع کرد. اولین حضور او در این حرفه درست پس از تولد ۱۸ سالگی‌اش بود.

وایت اولین فیلم دختر/پسر خود را در سال ۲۰۱۱ بازی کرد. او در نوامبر ۲۰۱۳ وبگاه شخصی خود را راه اندازی کرد. یک ماه پس از آن وایت و جسا رودز مشترکاً به عنوان بهترین بازیگران زن ایکس‌بیز در سال ۲۰۱۴ انتخاب شدند و  او در سال ۲۰۲۵ توانست به تنهایی جایزه بهترین پاهای تمام ادوار پورن را برای بازی در صحنه های لاو هِر فیت بگیرد.

در اکتبر ۲۰۱۴، کمپانی فلشلایت او را به عنوان دختر سال خود انتخاب کرد. او اولین استرالیایی است که به عنوان دختر فلشلایت انتخاب می‌شود.

وایت در سپتامبر ۲۰۱۶ در مصاحبه با ایکس‌بیز گفت که برای بازیگری در فیلم‌های شرکت‌هایی همچون برزرز و نادی و لاو هِر فیت به آمریکا نقل مکان کرده است.

## سیاست
در سال ۲۰۱۰ وایت به عنوان نامزد حزب جنسی استرالیا در انتخابات ایالتی ویکتوریا شرکت کرد. شعار او در این انتخابات، رسیدگی به وضع شاغلان صنعت سکس بود.

## فیلم‌شناسی
* آنجلا
* آنجلا زن دوست دارد
* آنجلا مرد دوست دارد
* آنجلا سه‌نفره دوست دارد
* آنجلا ۲
* آنجلا گونزو را دوست دارد
* آنجلا زن دوست دارد ۲
* آنجلا مرد دوست دارد ۲
* آنجلا زن دوست دارد ۳
* آنجلا سه‌نفره دوست دارد ۲
* آنجلا از کون دوست دارد
* آنجلا ۳
* آنجلا وایت یک زن پستاندار است
* آنجلا زن دوست دارد ۴
* آنجلا از کون دوست دارد ۲
* آنجلا هشت نفره دوست دارد
* من آنجلا هستم
* آنجلا زن دوست دارد ۵
* خانه برارزس ۳
* آنجلا در لاس و گاس
* آنجلا در بانکوک
* چشم‌انداز
* آنجلا سه‌نفره دوست دارد ۳
* آنجلا از کون دوست دارد ۳

## منابع

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

* 
* 
* 
* 
* 
* 

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

در علم کامپیوتر نظری و تئوری زبان رسمی، **گرامر پیشوندی** نوعی از سیستم بازنویسی رشته است که شامل مجموعه‌ای از قوانین بازنویسی رشته می‌باشد که شبیه به دستور زبان رسمی یا یک سیستم Semi-Thue است.

چیزی که در مورد گرامر پیشوندی خاص است این است که به شکل قوانین آنها نیست ولی به طریقی که قوانین اعمال می‌شوند می‌باشد: تنها پیشوندها بازنویسی می‌شوند.

گرامرهای پیشوندی همهٔ زبان‌های منظم را شامل می‌شوند.

## تعریف رسمی

دستور زبان پیشوندی G یک سه تایی به شکل  (Σ, *S*, *P*)  است که در آن
* Σ  یک الفبای متناهی است.
* *S*  مجموعه‌ای متناهی از رشته‌های بیس روی Σ است.
* *P*  مجموعه‌ای از قواعد تولید به فرم  *u* → *v*  است که  *u* و  *v* رشته‌هایی رو  Σ است.

برای رشته‌های X و Y می‌نویسم  *x →<sub>G</sub> y*  ( بخوانید *G* نتیجه می‌گیرد *y* را از *x* در یک مرحله ) اگر رشته‌های  *u, v, w* وجود داشته باشند به طوری که  *x = vu ,  y = wu*  و  *v → w*  در *P* .

توجه کنید که *→<sub>G</sub>* یک رابطهٔ دوتایی روی رشته‌هایی از Σ ست.

زبان *G* که به صورت (*L(G* نشان داده می‌شود ، مجموعه‌ای از رشته‌های استخراج شده از *S* در صفر یا چند مرحله است : به طور رسمی مجموعه‌ای از رشته‌های *w* به طوریکه برای بعضی از *s*‌ ها در *S* و *s R w* که *R* بسته شدن انتقالی از *→<sub>G</sub>* است.

## مثال

دستور زبان پیشوندی زیر
* {Σ = {۰, ۱
* *{S* = {۰۱, ۱۰
* *{P* = {۰ → ۰۱۰, ۱۰ → ۱۰۰

زبان تعریف شده توسط عبارت منظم روبه رو را توصیف می‌کند :

: 01(01)^* \cup 100^* 

## جستارهای وابسته
## منابع

* [//en.wikipedia.org/w/index.php?title=Useless_rules&oldid=620871818 ویکی‌پدیای انگلیسی]
رده:زبان‌های صوری
رده:قاعده‌ها
رده:ویکی‌سازی رباتیک
آژانس بین‌المللی انرژی

**آژانس بین‌المللی انرژی** (**IEA**; ; )، یک سازمان مستقل بین‌دولتی است که در چارچوب سازمان همکاری اقتصادی و توسعه (OECD) در سال ۱۹۷۴ در پی بحران نفتی سال ۱۹۷۳ بنیان‌گذاری شده و دبیرخانهٔ آن در پاریس قرار دارد. این سازمان ابتدا در پاسخ به اختلالات فیزیکی عرضهٔ نفت، و همچنین به عنوان منبع اطلاعات آمار مربوط به بازار بین‌المللی نفت و دیگر شکل‌های انرژی بنیان نهاده شد.

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

کشورهای عضو آژانس بین‌المللی انرژی ملزم هستند که سطح مجموع انبار نفت را برابر با واردات خالص حداقل ۹۰ روز از سال پیش حفظ کنند. در پایان ماه ژوئیه سال ۲۰۰۹، ذخیرهٔ مشترک کشورهای عضو آژانس تقریباً  نفت بود.

## کشورهای عضو

تنها کشورهای عضو سازمان همکاری و توسعه اقتصادی (OECD) می‌توانند به عضویت آژانس بین‌المللی انرژی درآیند. همگی اعضای سازمان همکاری و توسعه اقتصادی به جز شیلی، ایسلند، اسرائیل، مکزیک و اسلوونی، عضو این آژانس نیز هستند:

## جستارهای وابسته

* سیاست انرژی
* آژانس بین‌المللی انرژی‌های تجدیدپذیر
* آژانس بین‌المللی انرژی اتمی

## منابع

* Wikipedia contributors, "International Energy Agency," Wikipedia, The Free Encyclopedia, http://en.wikipedia.org/w/index.php?title=International_Energy_Agency&oldid=634202312 (accessed January 19, 2015).

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

* International Energy Agency
* History and decision establishing an International Energy Agency 
* 

*
رده:اقتصاد انرژی
رده:سیاست انرژی
رده:سازمان‌های بنیان‌گذاری‌شده در ۱۹۷۴ (میلادی)
رده:سازمان‌های بین‌المللی انرژی
رده:سازمان‌های پاریس
رده:سازمان‌های میان‌دولتی بنیان‌گذاری‌شده بر پایه معاهده
رده:سیاست نفت
فلای‌بورد

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

## منابع

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

در علوم رایانه، یک **گرامر خطی**، گرامر مستقل از متنی است که حداکثر یک نماد غیرپایانی در سمت راست تولیدات خود دارد.
زبان خطی یک زبان تولید شده توسط چند گرامر خطی است.

## مثال
یک گرامر خطی ساده G که *{N* = {S}, Σ = {a, b و *P* با نماد شروع *S* و قواعد:
* S → aSb
* S → &epsilon;

که زبان \{ a^ib^i \; | \; i \geq 0\} را تولید می‌کند.

## ارتباط با گرامر منظم
دو نوع خاص از گرامر خطی به شرح زیر است:

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

نوع خاص دیگری از گرامر خطی به شرح زیر است:

گرامر خطی که در آن همه نمادهای غیرپایانی در طرف راست در پایان‌های راست یا چپ هستن، ولی نه لزوماً در یک انتهای یکسان.

با قرار دادن غیرپایانی‌های جدید، هر گرامر خطی را می‌توان بدون تحت تأثیر قرار دادن زبان تولید شده، به این فرم درآورد. به عنوان مثال قوانین G فوق را می‌توان جایگزین کرد با:
* S → aA
* A → Sb
* S → &epsilon;

از این رو، گرامر خطی با این فرم خاص می‌تواند تمامی زبان‌های خطی را تولید کند.

## قدرت بیان
دیدیم که همهٔ زبان‌های منظم خطی هستند؛ مثال بالا یک زبان غیر منظم خطی بود. طبق تعریف تمامی زبان‌های خطی مستقل از متن هستند؛ مثال ساده‌ای از زبان غیرخطی مستقل از متن زبان Dyck از جفت براکت‌های متعادل شده است. از این رو، زبان‌های منظم زیرمجموعهٔ مناسبی از زبان‌های خطی هستند که به نوبهٔ خود زیرمجموعهٔ مناسبی از زبان‌های مستقل از متن می‌باشند.

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

برای مثال، زبان پالیندروم با طول زوج، روی الفبای ۰ و ۱ گرامر خطی ای به صورت S → 0S0 | 1S1 | ε دارد. رشته دلخواه از این زبان نمی‌تواند بدون خواندن تمامی حروفش برای اولین بار تجزیه شود؛ به این معنی که یک اتومات پشته‌ای باید انتقال حالت‌های جایگزین را برای تطبیق دادن رشته‌های تجزیه طول‌های ممکن مختلف امتحان کند. این زبان غیرقطعی است. از آنجا که زبان مستقل از متن غیرقطعی نمی‌تواند در زمان خطی پذیرفته شود، در حالت کلی زبان خطی نمی‌تواند در زمان خطی پذیرفته شود.

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

## ویژگی‌های بسته بودن
اگر *L* یک زبان خطی و *M* یک زبان منظم باشد، در نتیجه اشتراک L \cap M نیز یک زبان خطی است. به عبارت دیگر، زبان‌های منظم تحت عمل اشتراک با مجموعه‌های منظم بسته هستند. علاوه بر این، زبان‌های خطی تحت همریختی و همریختی معکوس نیز بسته هستند.

این سه ویژگی بسته شدن نشان می‌دهد که زبان‌های خطی تشکیل یک گروه سه تایی کامل را می‌دهند. گروه‌های سه تایی کامل به طور کلی خانواده‌های زبانی هستند که از چند ویژگی ریاضی مطلوب استفاده می‌کنند.

## منابع

* [//en.wikipedia.org/w/index.php?title=Useless_rules&oldid=620871818 ویکی‌پدیای انگلیسی]
رده:زبان‌های صوری
رده:قاعده‌ها
نوفل‌لوشاتو (خیابان)

**نوفل‌لو شاتو** با شماره‌گذاری معابر **خیابان ۱۳۳۶ تهران** خیابانی در تهران هم‌نام روستای نوفل‌لوشاتو در پاریس است. سفارت بریتانیا، سفارت روسیه، سفارت فرانسه، سفارت ایتالیا و سفارت واتیکان در کنار این خیابان جای دارند. تا پیش از انقلاب ۱۳۵۷، نام بخشی از این خیابان (خیابان شمالی سفارت بریتانیا)، **خیابان چرچیل** بود و بخش دیگر (خیابان کناری سفارت فرانسه در تهران) **خیابان فرانسه** نام داشت.

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

## تجمع اعتراضی
در پی تیراندازی در دفتر شارلی ابدو و رویدادهای پس از آن، عده‌ای در ۲۹ دی ۱۳۹۳ در این خیابان تجمع کردند و تابلوی خیابان را پایین کشیدند.

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

## منابع

رده:خیابان‌های تهران
رده:خیابان‌ها در منطقه ۱۱ تهران
رده:خیابان‌ها در منطقه ۱۲ تهران
سفارت فرانسه در تهران

**سفارت فرانسه در تهران** سفارت رسمی دولت فرانسه در کشور ایران است و روابط دو جانبه ایران و فرانسه را پیگیری می‌کند. این سفارت در خیابان نوفل‌لوشاتو تهران قرار دارد. سفیر قبلی فرانسه در ایران به ترتیب برونو فوشه و فرانسوا سنمو بوده است. فیلیپ تیه بو به عنوان سفیر فرانسه در ایران انتخاب شده. سفارت فرانسه در تهران دارای چهار بخش سیاسی، بخش کنسولی، بخش همکاری‌ها و اقدامات فرهنگی، و بخش اقتصادی است.
* بخش سیاسی مسئول پیگیری تحولات سیاسی داخلی و خارجی ایران و روابط فرانسه و ایران است. گروه دیپلمات‌هایی که در این کار سفیر را یاری می‌کنند «شانسلری سیاسی» نام دارد.
* شعبه کنسولی با وزارت کشور کار می‌کند و روادید ورود به فرانسه یا ویزای شنگن (کشورهای عضو پیمان شنگن) را صادر می‌کند. کنسول‌گری فرانسه نماینده دولت فرانسه در برابر فرانسویان ایران است و سرشماری از آنان، ثبت احوال، صدور گذرنامه و اوراق هویت، تنظیم برخی اسناد دفترخانه‌ای و وکالت‌نامه برای رأی‌دهی، نمایندگی اتباع فرانسوی در برابر مراجع قضایی را بر عهده دارد و انتخابات برگزار می‌کند.
* بخش همکاری و اقدام فرهنگی مسئول روابط علمی، فنی و فرهنگی میان فرانسه و ایران است و به شناساندن فرهنگ فرانسه در ایران، کمک به آموزش زبان فرانسوی در مرکز زبان فرانسه تهران (Centre de Langue Française- Téhéran)، ترغیب تحصیل دانشجویان ایرانی در فرانسه در بخش کامپوس فرانس ایران (Campus France- Iran) و توسعه همکاری علمی و فنی میان دو کشور می‌پردازد.
* بخش اقتصادی نماینده منافع اقتصادی فرانسه نزد ادارات، نهادها و سازمانهای ایران بوده و همچنین مسئول مذاکره دربارهٔ مسایل دوجانبه و چندجانبه در زمینه‌های بازرگانی و مالی با مقامات ایرانی است. این بخش مأمور آماده‌سازی و هماهنگ‌سازی دیدارهای رسمی اقتصادی و کمک به توسعه روابط اقتصادی دوجانبه با همکاری «رایزنان بازرگانی خارجی فرانسه» و اتاق بازرگانی ایران و فرانسه است.

## جستارهای وابسته
* کنسولگری سابق فرانسه در تبریز

## منابع

## پیوند به بیرون
* فرانسه در ایران وبگاه رسمی سفارت فرانسه در ایران

رده:روابط ایران و فرانسه

فرانسه
آدلا هنوز شام نخورده

***آدلا هنوز شام نخورده*** () یک فیلم کمدی سیاه به کارگردانی «اولدریخ لیپسکی» است که در سال ۱۹۷۷ تولید و در سال ۱۹۷۸ منتشر شد.

این فیلم، در دههٔ شصت خورشیدی، چندین بار از شبکه ۲ سیمای جمهوری اسلامی ایران پخش شد.

## خلاصه داستان
داستان فیلم «آدلا هنوز شام نخورده» در مورد گُلی گوشت‌خوار به اسم «آدلا» است که عادت به خوردن گوشت و بلعیدن موجودات زنده دارد. در این میان، یک دانشمند گیاه‌شناس که این گیاه عجیب و غریب را در اختیار دارد و از آن مراقب می‌کند، قصد انتقام از استاد سابق خود را نیز دارد و هر بار با طرح نقشه‌های متعدد، قصد دارد تا به اهداف خود برسد. در این میان «کارآگاه نیک کارتر» و دستیارش به دعوت رئیس پلیس پراگ، از آمریکا به پراگ سفر می‌کند تا در مورد مفقود شدن غیرعادی و مرموز یک سگ، تحقیقاتی بعمل آورد و …

## جوایز
* ۱۹۸۰ - برندهٔ جایزه ساترن بابت بهترین فیلم خارجی
* ۱۹۸۰ - نامزد جایزه ساترن بابت بهترین فیلم تخیلی
* این فیلم همچنین یکی از گزینه‌های حضور در میان فیلم‌های خارجی برای «جایزه اسکار بهترین فیلم خارجی‌زبان»، در ۵۱مین دورهٔ جوایز اسکار در سال ۱۹۷۹ بود، که البته انتخاب نشد.

## منابع

## پیوند به بیرون
* 
* تصاویری از فیلم «آدلا هنوز شام نخورده»

رده:فیلم‌ها به زبان چک
رده:فیلم‌ها درباره گیاهان
رده:فیلم‌های ۱۹۷۷ (میلادی)
رده:فیلم‌های استیم‌پانک
رده:فیلم‌های اولدریش لیپسکی
رده:فیلم‌های جمهوری چک
رده:فیلم‌های چکسلواکی
رده:فیلم‌های فیلم‌برداری‌شده در پراگ
رده:فیلم‌های کمدی ۱۹۷۷ (میلادی)
رده:فیلم‌های کمدی جمهوری چک
رده:فیلم‌های کمدی چکسلواکی
رده:فیلم‌های کمدی چکی
رده:فیلم‌های کمدی دهه ۱۹۷۰ (میلادی)
رده:فیلم‌های کمدی سیاه دهه ۱۹۷۰ (میلادی)
رده:فیلم‌های کمدی سیاه
رده:فیلم‌های نقیضه دهه ۱۹۷۰ (میلادی)
رده:فیلم‌های نقیضه
رده:فیلم‌های واقع‌شده در پراگ
رده:فیلم‌های واقع‌شده در دهه ۱۹۰۰ (میلادی)
رده:ویکی‌سازی رباتیک
رده:یان شوانکمایر
کاتولیسیزم‌ستیزی

بندانگشتی|سوزاندن کلیسای سینت اگوستین در جریان شورشهای فیلادلفیا در ۱۸۴۴
**کاتولیسیزم ستیزی** () خصومت یا مخالفت با کاتولیسیزم، مخصوصاً علیه کلیسای کاتولیک، کشیش‌ها و روحانیت آن، و پیروان آن است. خاتمه دادن به مناسک مذهبی و مصادرهٔ زمین‌های کلیساها از جمله مصادیق این مسئله است. این لفظ همچنین به آزار دینی کاتولیک‌ها یا به «جهت گیری مذهبی مخالف با کاتولیسیزم» نیز گفته می‌شود.
در دوره مدرن اولیه، کلیسای کاتولیک تقلا می‌کرد تا نقش سنتی مذهبی و سیاسی خود را در مواجهه با قدرت‌های فزایندهٔ سکولار در اروپا حفظ کند. در نتیجهٔ این تقلاها، رویکرد خصمانه‌ای در خصوص قدرت سیاسی، اجتماعی، روحانی و مذهبی قابل ملاحظهٔ پاپ و روحانیت در آن زمان به صورت «ضدروحانی‌گری» بروز کرد. بحران مهم اقتدار روحانی کلیسا از سوی اصلاحات پروتستانی نیز به این اضافه شد، و بر منازعهٔ فرقه‌ای و موج جدیدی از کاتولیسیسم ستیزی افزود.

## در کشورهای عمدتاً پروتستان
[بندانگشتی|راست|پاپ در هیئت دجال در حال امضا و فروش [آمرزش‌نامه.]]

بسیاری از اصلاحگران پروتستان از جمله جان الیزابت وایکلیف، مارتین لوتر، ژان کالون، توماس کرنمر، جان ناکس, راجر ویلیامز، کاتم مدر، و جان وزلی، و همچنین اغلب پروتستانها قرون ۱۶-۱۹، پاپ را با دجال یکی می‌دانستند. در دور پنجم گفتگوی لوتری-کاتولیک آمده:

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

## جستارهای وابسته
** آزار دینی
* جان کرنول
* جیمز جی. بلین
* یهودستیزی
* اسلام‌هراسی
* الیزابت: دوران طلایی

## منابع

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

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

**شنگن** ممکن است در اشاره به موارد زیر باشد:
* توافق‌نامه شنگن موافقت نامهٔ برداشته شدن مرز بین چندین کشور اروپایی
* منطقه شنگن، شامل ۲۹ کشور اروپایی که قانون کنترل گذرنامه در بدو ورود شهروندان در این منطقه حذف شده
* شنگن لوکزامبورگ دهکده‌ای در لوکزامبورگ

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

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

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

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

## جستارهای وابسته
* پژوهشهای کاربردی‌سازی

## منابع
کیک لایه‌ای (فیلم)

**کیک لایه‌ای **() یک فیلم جنایی-درام و دلهره‌آور بریتانیایی محصول سال ۲۰۰۴ به کارگردانی متیو وان است که اولین تجربه کارگردانی او محسوب می‌شود. فیلمنامه این فیلم توسط جی.جی. کانلی از رمانی به همین نام که در سال ۲۰۰۰ منتشر شد، اقتباس شده است. عنوان فیلم به اقشار اجتماعی، به ویژه در دنیای زیرزمینی تبهکاران بریتانیا، اشاره دارد. داستان فیلم حول محور یک تبهکار ساکن لندن با بازی دنیل کریگ می‌چرخد که در تجارت کوکائین فعالیت می‌کند و آرزو دارد از این حرفه کناره‌گیری کند. در این فیلم همچنین تام هاردی، مایکل گمبون، کالم مینی و سیه‌نا میلر حضور دارند. شخصیت کریگ در فیلم بدون نام است و در تیتراژ با عنوان "XXXX" ذکر شده است.

فیلم «کیک لایه‌ای» در گیشه ۱۱٫۹ میلیون دلار فروش داشت و به‌طورکلی نقدهای مثبتی از منتقدان دریافت کرد. بازی کریگ در این فیلم اغلب به‌عنوان عامل اصلی انتخاب او به‌عنوان جیمز باند در سال ۲۰۰۵ ذکر شده است.

## بازیگران
* دنیل کریگ
* کالم مینی
* سینا میلر
* مایکل گمبون
* تام هاردی
* سالی هاوکینز
* بن ویشاو
* بورن گورمن
* فرانسیس مگی
* جیسون فلمینگ
* جورج هریس
* جیمی فورمن
* لوئیس امریک

## بازخوردها

* فیلم «کیک لایه‌ای» با امتیاز ۸۱٪ در سایت راتن تومیتوز و میانگین امتیاز ۷ از ۱۰ بر اساس ۱۴۲ نقد، نقدهای مثبتی دریافت کرد. اجماع منتقدان بر این است که این فیلم «یک تریلر جنایی بریتانیایی با سبک خاص و هیجان‌انگیز» است.
* در متاکریتیک، میانگین امتیاز ۷۳ از ۱۰۰ بر اساس ۳۰ نقد را دارد. 

## منابع

* 

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

* 
* 
* 
* 
* BBC interview with Matthew Vaughn

رده:فیلم‌ها به زبان انگلیسی
رده:فیلم‌ها به کارگردانی متیو وان
رده:فیلم‌ها درباره مواد مخدر
رده:فیلم‌های ۲۰۰۴ (میلادی)
رده:فیلم‌های اقتباس‌شده از رمان‌های بریتانیایی
رده:فیلم‌های اولین ساخته کارگردان ۲۰۰۴ (میلادی)
رده:فیلم‌های اولین ساخته کارگردان
رده:فیلم‌های بریتانیایی
رده:فیلم‌های به تهیه‌کنندگی متیو وان
رده:فیلم‌های جنایی دلهره‌آور ۲۰۰۴ (میلادی)
رده:فیلم‌های جنایی دلهره‌آور دهه ۲۰۰۰ (میلادی)
رده:فیلم‌های جنایی هیجانی بریتانیا
رده:فیلم‌های جنایی-درام ۲۰۰۴ (میلادی)
رده:فیلم‌های جنایی-درام بریتانیا
رده:فیلم‌های جنایی-درام دهه ۲۰۰۰ (میلادی)
رده:فیلم‌های درام ۲۰۰۴ (میلادی)
رده:فیلم‌های درام دلهره‌آور دهه ۲۰۰۰ (میلادی)
رده:فیلم‌های درباره قاتلان
رده:فیلم‌های سرقت بریتانیایی
رده:فیلم‌های سرقت
رده:فیلم‌های سونی پیکچرز کلاسیکس
رده:فیلم‌های فیلمبرداری‌شده در آمستردام
رده:فیلم‌های کلمبیا پیکچرز
رده:فیلم‌های گانگستری بریتانیایی
رده:فیلم‌های گانگستری
رده:فیلم‌های مستقل ۲۰۰۴ (میلادی)
رده:فیلم‌های واقع‌شده در لندن
رده:فیلم‌های انگلیسی‌زبان دهه ۲۰۰۰ (میلادی)
رده:فیلم‌های مستقل بریتانیا
رده:فیلم‌های درباره تجارت غیرقانونی مواد مخدر
رده:فیلم‌های واقع‌شده در آمستردام
تیم آ

**«تیم آ»** () فیلمی در ژانر اکشن و مهیج به کارگردانی جو کارنهان است که در سال ۲۰۱۰ منتشر شد.

## بازیگران
* لیام نیسون
* بردلی کوپر
* شارلتو کوپلی
* جسیکا بیل
* پاتریک ویلسون
* برایان بلوم
* درک بندیکت
* دوایت شولتز
* هنری چرنی
* جان هم
* کوئینتون جکسون
* تام باتلر

## منابع

* 

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

رده:فیلم‌ها به آهنگسازی آلن سیلوستری
رده:فیلم‌ها به زبان انگلیسی
رده:فیلم‌های ۲۰۱۰ (میلادی)
رده:فیلم‌های اقتباس‌شده از مجموعه‌های تلویزیونی
رده:فیلم‌های اکشن دلهره‌آور دهه ۲۰۱۰ (میلادی)
رده:فیلم‌های اکشن مهیج آمریکایی
رده:فیلم‌های اکشن-ماجراجویی آمریکایی
رده:فیلم‌های اکشن-ماجراجویی
رده:فیلم‌های انتقام‌جویانه
رده:فیلم‌های تعقیب و گریزی دهه ۲۰۱۰ (میلادی)
رده:فیلم‌های تعقیب و گریزی
رده:فیلم‌های جنگ عراق
رده:فیلم‌های جو کارنهان
رده:فیلم‌های درباره تروریسم
رده:فیلم‌های درباره سوءاستفاده از عدالت
رده:فیلم‌های رت‌پک انترتینمنت
رده:فیلم‌های زوج هنری آمریکایی
رده:فیلم‌های زوج هنری دهه ۲۰۱۰ (میلادی)
رده:فیلم‌های زوج هنری
رده:فیلم‌های سرقت آمریکایی
رده:فیلم‌های سرقت
رده:فیلم‌های فاکس قرن بیستم
رده:فیلم‌های فیلمبرداری‌شده در ونکوور
رده:فیلم‌های کمدی جنایی دهه ۲۰۱۰ (میلادی)
رده:فیلم‌های کمدی-اکشن ۲۰۱۰ (میلادی)
رده:فیلم‌های کمدی-اکشن آمریکایی
رده:فیلم‌های گروه‌های تبهکار ایالات متحده آمریکا
رده:فیلم‌های گروه‌های تبهکار دهه ۲۰۰۰ (میلادی)
رده:فیلم‌های گروه‌های تبهکار دهه ۲۰۱۰ (میلادی)
رده:فیلم‌های گروه‌های تبهکار
رده:فیلم‌های ماجراجویی دهه ۲۰۱۰ (میلادی)
رده:فیلم‌های ماجرایی کمدی آمریکایی
رده:فیلم‌های واقع‌شده در آلمان
رده:فیلم‌های واقع‌شده در عراق
رده:فیلم‌های واقع‌شده در کلرادو
رده:فیلم‌های واقع‌شده در لس آنجلس
رده:فیلم‌های واقع‌شده در مکزیک
رده:فیلم‌های آمریکایی دهه ۲۰۱۰ (میلادی)
رده:فیلم‌های انگلیسی‌زبان دهه ۲۰۱۰ (میلادی)
رده:فیلم‌های کمدی-اکشن انگلیسی‌زبان
رده:فیلم‌های اکشن مهیج انگلیسی‌زبان
پنج دقیقه از بهشت

***پنج دقیقه از بهشت*** () فیلمی به کارگردانی الیور هیرشبیگل است که در سال ۲۰۰۹ منتشر شد. از بازیگران آن می‌توان به لیام نیسون و جیمز نسبیت اشاره کرد.

## منابع

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

* Official website
* 
* 

رده:فیلم‌های الیور هیرشبیگل
رده:فیلم‌ها به زبان انگلیسی
رده:فیلم‌های ایرلندی
رده:فیلم‌های تلویزیونی ۲۰۰۹ (میلادی)
رده:فیلم‌های تلویزیونی ایرلند
رده:فیلم‌های تلویزیونی بریتانیا
رده:فیلم‌های فیلم‌برداری‌شده در ایرلند شمالی
رده:فیلم‌های واقع‌شده در ایرلند شمالی
رده:نمایش‌نامه‌های تلویزیونی بی‌بی‌سی
مایکل کولینز (فیلم)

***مایکل کولینز*** () فیلمی در ژانر زندگی‌نامه‌ای به کارگردانی نیل جردن است که در سال ۱۹۹۶ منتشر شد.

## بازیگران
* لیام نیسون
* آیدان کوئین
* استیون ری
* آلن ریکمن
* جولیا رابرتز
* یان هارت
* برندن گلیسون
* چارلز دنس
* جاناتان ریس میرز

## منابع

* 

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

***دوئت برای یکی*** () فیلمی به کارگردانی آندری کونچالوفسکی است که در سال ۱۹۸۶ منتشر شد. از بازیگران آن می‌توان به جولی اندروز، آلن بیتس، ماکس فون سیدو، روپرت اورت و لیام نیسون اشاره کرد.

## منابع

* 

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

رده:آثار دوشخصیتی
رده:فیلم‌ها به زبان انگلیسی
رده:فیلم‌ها به کارگردانی آندری کونچالوفسکی
رده:فیلم‌های ۱۹۸۶ (میلادی)
رده:فیلم‌های استودیو الستری
رده:فیلم‌های اقتباس‌شده از نمایشنامه
رده:فیلم‌های آمریکایی
رده:فیلم‌های بریتانیایی اقتباس‌شده از نمایشنامه
رده:فیلم‌های بریتانیایی
رده:فیلم‌های درام ۱۹۸۶ (میلادی)
رده:فیلم‌های درام آمریکایی
رده:فیلم‌های درام بریتانیایی
رده:فیلم‌های درباره موسیقی کلاسیک و موسیقی‌دانان کلاسیک
رده:فیلم‌های مستقل ۱۹۸۶ (میلادی)
رده:فیلم‌های مستقل آمریکایی
رده:فیلم‌های واقع‌شده در لندن
رده:فیلم‌های آمریکایی دهه ۱۹۸۰ (میلادی)
رده:فیلم‌های بریتانیایی دهه ۱۹۸۰ (میلادی)
شخص سوم

***شخص سوم*** () فیلمی در ژانر درام و رمانتیک به کارگردانی پل هگیس است که در سال ۲۰۱۳ منتشر شد.

## بازیگران
* لیام نیسون
* میلا کونیس
* جیمز فرانکو
* آدرین برودی
* اولیویا وایلد
* ماریا بیلو
* کیم بسینگر
* کارولین گودال
* جیزلا مارنگو
* وینسنت ریوتا

## طرح
این فیلم سه داستان مرتبط به هم را در پاریس، نیویورک و روم به تصویر می‌کشد.

## پانویس
* 

## منابع

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

رده:آثار موسیقی داریو ماریانلی
رده:فیلم‌نامه‌های پل هگیس
رده:فیلم‌ها به زبان انگلیسی
رده:فیلم‌های ۲۰۱۳ (میلادی)
رده:فیلم‌های آلمانی به زبان انگلیسی
رده:فیلم‌های آلمانی
رده:فیلم‌های آمریکایی
رده:فیلم‌های بریتانیایی
رده:فیلم‌های بلژیکی
رده:فیلم‌های به تهیه‌کنندگی مایکل نازیک
رده:فیلم‌های پل‌های هگیس
رده:فیلم‌های درام ۲۰۱۳ (میلادی)
رده:فیلم‌های درام آلمان
رده:فیلم‌های درام بریتانیایی
رده:فیلم‌های درام بلژیک
رده:فیلم‌های درام رمانتیک ۲۰۱۳ (میلادی)
رده:فیلم‌های درام رمانتیک آمریکایی
رده:فیلم‌های درام رمانتیک بریتانیایی
رده:فیلم‌های درام رمانتیک دهه ۲۰۱۰ (میلادی)
رده:فیلم‌های درباره اهالی کسب و کار
رده:فیلم‌های درباره بازیگران
رده:فیلم‌های درباره بی‌وفایی
رده:فیلم‌های درباره خانواده‌های ازهم‌گسیخته
رده:فیلم‌های درباره نویسندگان
رده:فیلم‌های رمانتیک آلمان
رده:فیلم‌های رمانتیک آمریکایی
رده:فیلم‌های رمانتیک بریتانیا
رده:فیلم‌های رمانتیک بلژیک
رده:فیلم‌های سونی پیکچرز کلاسیکس
رده:فیلم‌های عاشقانه دهه ۲۰۱۰ (میلادی)
رده:فیلم‌های فیلمبرداری شده در پاریس
رده:فیلم‌های فیلم‌برداری شده در رم
رده:فیلم‌های فیلم‌برداری‌شده در نیویورک (ایالت)
رده:فیلم‌های مستقل ۲۰۱۳ (میلادی)
رده:فیلم‌های مستقل آلمان
رده:فیلم‌های مستقل آمریکایی
رده:فیلم‌های مستقل بریتانیا
رده:فیلم‌های مستقل بلژیک
رده:فیلم‌های مستقل دهه ۲۰۱۰ (میلادی)
رده:فیلم‌های مستقل
رده:فیلم‌های مهیج آمریکایی
رده:فیلم‌های واقع‌شده در پاریس
رده:فیلم‌های واقع‌شده در رم
رده:فیلم‌های واقع‌شده در نیویورک سیتی
رده:فیلم‌های واقع‌شده در نیویورک
رده:فیلم‌های آمریکایی دهه ۲۰۱۰ (میلادی)
رده:فیلم‌های بریتانیایی دهه ۲۰۱۰ (میلادی)
رده:فیلم‌های انگلیسی‌زبان دهه ۲۰۱۰ (میلادی)
رده:فیلم‌های بلژیکی به زبان انگلیسی
دستپاچه (فیلم)

***دستپاچه*** () فیلمی در ژانر کمدی، جنایی و رمانتیک به کارگردانی اریک بلیکنی است که در سال ۲۰۰۰ منتشر شد.

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

## منابع

* 

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

رده:فیلم‌ها به زبان انگلیسی
رده:فیلم‌های ۲۰۰۰ (میلادی)
رده:فیلم‌های اولین ساخته کارگردان ۲۰۰۰ (میلادی)
رده:فیلم‌های اولین ساخته کارگردان
رده:فیلم‌های آمریکایی
رده:فیلم‌های به تهیه‌کنندگی ساندرا بولاک
رده:فیلم‌های کمدی جنایی آمریکایی
رده:فیلم‌های درباره روان‌پزشکی
رده:فیلم‌های واقع‌شده در نیویورک سیتی
رده:فیلم‌های آمریکایی دهه ۲۰۰۰ (میلادی)
رده:فیلم‌های انگلیسی‌زبان دهه ۲۰۰۰ (میلادی)
مشاور امنیت ملی (آمریکا)

**دستیار رئیس‌جمهور در امور امنیت ملی**، که معمولاً به آن **مشاور امنیت ملی** می‌گویند، مقامی ارشد در دفتر اجرایی رئیس‌جمهور است که به عنوان مشاور اصلی رئیس‌جمهور ایالات متحده آمریکا در زمینهٔ مسایل امنیت ملی فعالیت می‌کند. این فرد در جلسات شورای ملی امنیت ایالات متحده آمریکا هم شرکت می‌کند و ریاست کمیته سران این شورا را که وزیر دفاع و وزیر امور خارجه معمولاً در آن شرکت می‌کنند بر عهده دارد. دفتر مشاور امنیت ملی در بال غربی کاخ سفید واقع شده‌است.

## فهرست مشاوران امنیت ملی

## منابع

* 

رده:دستیارهای رئیس‌جمهور ایالات متحده آمریکا
رده:دیپلماسی ایالات متحده آمریکا
رده:ستاد کارکنان ریاست‌جمهوری ایالات متحده آمریکا
رده:شورای امنیت ملی ایالات متحده آمریکا
گاستون شرو

بندانگشتی|150px|آرامگاه شرو

**گاستون شرو**  (زاده ۱۸۷۲ در نیور - درگذشته ۱۹۳۷ در بوستون)، یک نویسنده و روزنامه‌نگار اهل فرانسه بود

گاسترو شرو عضو فرهنگستان گنکور بود

## کتابشناسی
* مرداب حبشه (ترجمه صادق هدایت ۱۳۱۰)

## منابع

* 
* 
* 

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

***سن‌میکله یک خروس داشت*** () یک فیلم درام به کارگردانی برادران تاویانی است که در سال ۱۹۷۱ ساخته و در سال ۱۹۷۲ منتشر شد.

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

این فیلم در سال ۱۹۷۲ در بخش «دوهفتهٔ کارگردانان» در ۲۵مین دوره جشنواره فیلم کن برگزیده شد.

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

## منابع

* 

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

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

**تلخون حمزوی** (زادهٔ ۱۹۷۹ تهران) یک کارگردان ایرانی - سوئیسی است. وی برای فیلم پروانه، به همراه اشتفان ایشنبرگر نامزده دریافت جایزه اسکار بهترین فیلم کوتاه از هشتادو هفتمین دوره این مراسم شده‌است.

## زندگی و فعالیت حرفه ای

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

## منابع

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

رده:افراد زنده
رده:اهالی تهران
رده:برندگان جایزه آکادمی برای دانشجویان فیلم‌ساز
رده:زادگان ۱۹۷۹ (میلادی)
رده:کارگردانان زن فیلم اهل ایران
زبان مستقل‌ازمتن قطعی

در نظریهٔ زبان صوری،**زبان مستقل از متن قطعی (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

رده:زبان‌های صوری
رده:ویکی‌سازی رباتیک