mainkilora/Persian-Wikipedia-Corpus huggingface dataset:
شرکت دارویی زردبند

شرکت دارویی زردبند یک شرکت تولید و فرآوری گیاهان دارویی در ایران است. این شرکت در سال ۱۳۷۲، در روستای زردبند، واقع در ۲۰ کیلومتری شمال شرق تهران، شروع به فعالیت کرد. وجه تسمیه این شرکت نیز نام همین روستا می‌باشد. هم اکنون باغ گیاهشناسی این شرکت، با بیش از ۲۰۰ گونه گیاهان دارویی در نزدیکی روستای زردبند واقع شده‌است. واحد کشت و صنعت این شرکت نیز یک سال پس از تاسیس شرکت در شهرستان یاسوج در استان کهگیلویه و بویراحمد فعال شد. مواد اولیه مورد نیاز برای تولید داروهای گیاهی شرکت دارویی زردبند از طریق کشت در ۳۰ هکتار زمین در یاسوج و ۳۰۰ هکتار در سطح کشور به صورت پیمانکاری تامین می‌شود.
شرکت دارویی زردبند بیش از ۷۰ پروانه دارویی از وزارت بهداشت، درمان و آموزش پزشکی در زمینه تولید انواع اسانس‌ها، عصاره‌ها و روغن‌های گیاهی جهت استفاده در صنایع مختلف دارویی، آرایشی و بهداشتی، غذایی، دام و تولید داروهای دامپزشکی دارد.
محصولات
در این شرکت ۸۰ نوع دارو، عصاره و اسانس با استفاده از بیش از ۴۰۰ گونه گیاهی کشور تولید می‌شود. این شرکت سالانه ۸۰۰ تن عصاره و یک تن اسانس تولید می‌کند.
محصولات تولیدی این کارخانه علاوه بر توزیع در داخل ایران، به کشورهای عراق و مالزی نیز صادرات می‌شود.
افتخارات
«کارآفرین نمونه» استان کهگیلویه و بویراحمد، سال ۱۳۸۵
دریافت عنوان «صنعت سبز» کشور از سازمان حفاظت محیط زیست ایران، سال ۱۳۸۶
انتخاب طرح تحقیقاتی تولیدی شرکت در صنعت طیور به عنوان برگزیده بیست و دومین جشنواره بین‌المللی خوارزمی، سال ۱۳۸۷
دریافت مدال برگزیده سازمان خواروبار جهانی (FAO) به دلیل نوآوری در ساخت داروی گیاهی پیشگیری و معالجه‌کننده بیماری‌های طیور، سال۱۳۸۷
اخذ گواهی GMP از وزارت بهداشت و درمان آموزش پزشکی، سال ۱۳۹۱
دریافت «تندیس مشتری مداری» از انجمن حقوق مصرف‌کنندگان، سال ۱۳۹۴
دریافت گواهی ۲۰۰۸:ISO ۹۰۰۱، سال ۱۳۹۴
حذف عبارت‌های مشترک

حذف عبارت‌های مشترک ( انگلیسی:Common subexpression elimination)
در نظریه کامپایلر، حذف عبارت‌های مشترک یک بهینه‌سازی کامپایلر است که نمونه‌هایی از عبارت‌های یکسان را جستجو می‌کند و تجزیه و تحلیل می‌کند که آیا جایگزین کردن عبارت‌ها با یک متغیر نگهدارنده مقدار آن ارزش دارد یا نه.
نمونه
در کد زیر:
;a = b * c + g
;d = b * c * e
ممکن است ارزش داشته باشد که اینطور تغییر دهیم:
؛tmp = b * c
;a = tmp + g
;d = tmp * e
اگر هزینه‌های ذخیره‌سازی و بازیابی "tmp" کمتر از هزینه محاسبه "b * c" باشد.
اصل
امکان انجام CSE بر اساس تجزیه و تحلیل عبارت در دسترس است. در یک برنامه عبارت b*c در نقطه p در دسترس است اگر:
هر مسیر از شروع برنامه تا نقطه p, ارزیابی b*c قبل از رسیدن به p انجام دهد.
مقادیر b یا c پس از آخرین ارزیابی b*c نباید تغییر کند.
تجریه و تحلیل هزینه/سود انجام شده توسط یک بهینه‌ساز بیان می‌کند که آیا هزینه ذخیره‌سازی در tmp کمتر از هزینه ضرب است یا نه؛ در عمل عوامل دیگر مانند اینکه مقادیر در چه ریجسترهایی نگه‌داری می‌شوند نیز قابل توجه است.
نویسندگان کامپایلر بین دو نوع CSE تمایز قایل‌اند:
حذف عبارت‌های مشترک محلی در یک بلوک پایه انجام می‌شود.
حذف عبارت‌های مشترک سراسری در کل رویه انجام می‌شود.
در هر دو نوع، بر تجزیه و تحلیل جریان داده‌ها تکیه می‌شود که کدام عبارات در کدام نقاط یک برنامه در دسترس هستند.
مثال‌های حذف عبارت‌های مشترک محلی و سراسری
کد سی‌پلاس‌پلاس زیر را در نظر بگیرید:
int main() {
int x;
int y;
int z;
y = 137;
if (x == 0)
z = y;
else
x = y;
برنامه بالا را به کد ماشین تبدیل می‌کنیم:
main:
_t0 = 137;
y = _t0;
IfZ x Goto _L0;
_L1:
_t2 = y;
x = _t2;
Goto end;
_L0:
_t1 = y;
z = _t1;
end:
endFunc;
با حذف عبارت‌های مشترک محلی داریم:
main:
y = 137;
IfZ x Goto _L0;
_L1:
x = x;
Goto end;
_L0:
z = y;
end:
endFunc;
همچنین با حذف عبارت‌های مشترک سراسری داریم:
main:
y = 137;
IfZ x Goto _L0;
_L1:
x = 137;
Goto end;
_L0:
z = 137;
end:
endFunc;
لاتاری (فیلم)

لاتاری فیلمی با کارگردانی محمدحسین مهدویان، نویسندگی ابراهیم امینی و محمدحسین مهدویان و به تهیه‌کنندگی سید محمود رضوی محصول سال ۱۳۹۶ است. این فیلم به سبک اجتماعی-عاشقانه (درام-رمانتیک) و دارای فضای حماسی و تلخ می‌باشد.
این فیلم در تاریخ ۲۳ اسفند ۱۳۹۶ در سینماهای ایران اکران شده‌است؛ و پرمخاطب‌ترین فیلم سی و ششمین جشنواره فجر است. لاتاری اکنون دومین فیلم پرفروش غیر کمدی در تاریخ سینمای ایران (پس از فروشنده) و پر مخاطب‌ترین فیلم اکران نوروزی ۱۳۹۷ می‌باشد. این فیلم به دلیل موضوع خاصی که دارد ماه‌ها در انتظار گرفتن پروانه ساخت بوده‌است.
خلاصه فیلم
امیرعلی و نوشین دو جوان بیست و یکی دوساله قصد ازدواج با یکدیگر را دارند. خانواده‌ها چندان موافق نیستند. آنها صبر پیشه کرده‌اند تا به مرور زمان رضایت خانواده‌هایشان را جلب کنند. آن دو یک رویای مشترک دارند؛ برنده شدن در لاتاری و دریافت گرین کارت آمریکا، اما نوشین به واسطه دوست پدرش به دبی می‌رود. پس از مدتی امیرعلی خبر دار می‌شود نوشین خودکشی کرده و او برای پی بردن به راز خودکشی به دبی می‌رود و می‌فهمد نوشین گرفتار باندهای قاچاق جنسی شده بوده.
بازیگران
ساعد سهیلی در نقش امیرعلی
هادی حجازی‌فر در نقش موسی
حمید فرخ‌نژاد در نقش مرتضی
زیبا کرمعلی در نقش نوشین بیگی
جواد عزتی در نقش نیما بیگی (برادر نوشین)
نادر سلیمانی در نقش نعیم (دوست موسی)
علیرضا استادی در نقش رضا بیگی (پدر نوشین)
مهدی زمین‌پرداز در نقش سامی
حمیدرضا هدایتی در نقش پدر امیرعلی
مهسا باقری در نقش نسرین بیگی (خواهر نوشین)
ابراهیم امینی در نقش هلال
جوایز و افتخارات
سال
جشنواره
قسمت
نامزد
جایزه
نتیجه
۱۳۹۶
سی و ششمین دوره جشنواره فیلم فجر
بهترین جلوه ویژه بصری
سینا قویدل
سیمرغ بلورین
۱۳۹۷
هجدهمین دوره جشن دنیای تصویر
جایزه ویژه هیئت داوران
محمدحسین مهدویان
تندیس حافظ
بهترین فیلم
سید محمود رضوی
بهترین کارگردانی
محمدحسین مهدویان
بهترین بازیگر مرد
ساعد سهیلی
هادی حجازی‌فر
جواد عزتی
بهترین تدوین
حسین جمشیدی گوهری و سجاد پهلوان زاده
بهترین موسیقی متن
حبیب خزایی فر
بهترین قطعه
روزبه بمانی برای قطعه کجا باید برم
لاتاری همچنین به عنوان پرمخاطب‌ترین فیلم جشنواره فیلم فجر دست یافت.
فهرست پرفروش‌ترین فیلم‌های سینمای ایران
ساعد سهیلی
محمدحسین مهدویان
پادشکنندگی

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

در نظریه اتوماتا، شاخه‌ای از علوم کامپیوتر نظری، اتوماتای نخی (به انگلیسی: Thread automata) ماشینی قدرمتند است، که اولین بار در سال ۲۰۰۲ توسط اریک کلرگری (به انگلیسی: Eric Clergerie) معرفی شد. این ماشین، طیف گسترده‌ای از زبان‌های نیمه حساس به متن (به انگلیسی: Mildly context-sensitive languages) را می‌پذیرد. به طور خاص، اتوماتای نخی دسته‌ی سیستم‌های بازنویسی مستقل از متن خطی (به انگلیسی: Linear Context-free Rewriting Systems) را به طور کامل می‌پذیرد و حتی قدرت پذیرش زبان‌هایی فراتر از این دسته را نیز دارد. اتوماتای نخی، نسخه‌ای گسترده‌تر و ساده‌تر از ماشین‌هایی است که قبل از آن برای تجزیه زبان‌های نیمه حساس به متن پیشنهاد شده بودند. از این قبیل ماشین‌ها می‌توان به اتوماتای دو پشته‌ای (به انگلیسی: Two-stack automata) که برای گرامرهای درخت مجاورت (به انگلیسی: Tree-adjoining grammars) پیشنهاد شده بود، اشاره کرد.
ایده کلی
اتوماتای نخی غیرقطعی می‌باشد، و اگر تمام حالات ممکن، مستقل از یکدیگر دنبال شوند، پیچیدگی محاسباتی آن‌ها نمایی خواهد شد. اما به همراه نمایش فشرده‌ی زیراشتقاق‌ها و نیز تکنیک‌های جدول‌بندی، پیچیدگی محاسباتی آن‌ها چندجمله‌ای می‌شود. ایده‌ی کلی اتوماتای نخی بر این اساس است که در هر لحظه مجموعه‌ای از نخ‌ها وجود دارند که یکی از آن‌ها فعال است. حرکات در اتوماتا نیز به این صورت است که نخ‌ها ممکن است یک زیرنخ جدید را ایجاد کنند، تمام شوند، و یا معلق شده و کنترل را به پدر و یا یکی از فرزندان خود بازگردانند.
تعریف رسمی
اتوماتای نخی به یک نه‌تایی گفته می‌شود، بدین صورت که:
مجموعه‌ی متناهی از نمادهای غیر-پایانه است.
مجموعه‌ی متناهی از نمادهای پایانه است.
غیر-پایانه‌ی ابتدایی است.
غیر-پایانه‌ی انتهایی است.
یک تابع راه اندازی (به انگلیسی: Triggering function) است که یک تابع جزیی (به انگلیسی: Partial function) از به یک مجموعه‌ی متناهی را تعریف می‌کند، که برای دریافت کردن اطلاعاتی که در یک نخ به‌دست آمده در جهت راه اندازی درخواست برای نوعی از انتقال‌ها (به انگلیسی: Transitions) استفاده می‌شود.
مجموعه‌ی متناهی از برچسب‌ها است که برای شناسایی نخ‌ها از آن استفاده می‌شود. علاوه بر این، مجموعه‌ی متناهی توسط تابع جزیی نیز استفاده می‌شود.
یک تابع جزیی از به است که برای مشخص کردن نخ‌هایی که ممکن است در زمانی ساخته شوند و یا ادامه یابند استفاده می‌شود.
مجموعه‌ای متناهی از انتقال‌ها است.
حال اگر یک اتوماتای نخی باشد:
یک نخ عبارت است از یک جفت که در آن یک مسیر نخ (به انگلیسی: Thread path) است که می‌تواند خالی باشد، و نیز یک نماد غیر-پایانه از است که محتوای آن نخ می‌باشد.
یک انبار نخ (به انگلیسی: Thread store)، مجموعه‌ای از نخ‌ها است که نمایان‌گر تابعی از به است که نسبت به پیشوند بسته است و یا در واقع .
یک پیکربندی (به انگلیسی: Configuration) از یک سه‌تایی است که در آن مکان فعلی در رشته‌ی ورودی را مشخص می‌کند، یک انبار نخ است و یک مسیر نخ در است.
عمل جابه‌جایی (به انگلیسی: SWAP) محتوای یک نخ فعال را تغییر می‌دهد.
عمل PUSH یک زیرنخ جدید را ایجاد کرده و پدر آن‌را معلق می‌کند.
عمل POP نخ فعال را پایان داده و کنترل را به پدر آن نخ بازمی‌گرداند.
عمل SPUSH یک زیرنخ معلق شده از نخ فعال فعلی را، دوباره فعال می‌کند.
عمل SPOP پدر نخ فعال فعلی را، دوباره فعال می‌کند.
زبان یک اتوماتای نخی، مجموعه‌ای از کلمات است که می‌توان با شروع از مجموعه نخ و بعد از خواندن تمام ورودی به مجموعه نخ رسید.
نظریه اتوماتا
زبان‌های نیمه حساس به متن
گرامرهای درخت مجاورت
سیستم‌های بازنویسی مستقل از متن خطی
فینال جام باشگاه‌های آسیا ۱۹۹۱

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

دیدار نهایی جام باشگاه‌های آسیا ۹۹–۱۹۹۸ بازی نهایی انجام شده در جام باشگاه‌های آسیا ۹۹–۱۹۹۸ است که در تاریخ ۳۰ آوریل ۱۹۹۹ در ورزشگاه آزادی شهر تهران بین دو تیم استقلال ایران و جوبیلو ایواتا ژاپن برگزار شد.
بازی
این دیدار با نتیجه ۲-۱ به سود تیم حوبیلو ایواتا به پایان رسید تا این تیم برای نخستین بار عنوان قهرمانی جام باشگاه‌های آسیا را کسب کند. برای تیم ژاپنی هیدتو سوزوکی و ماساشی ناکایاما در دقایق ۳۶ و ۴۵ و برای تیم استقلال سیروس دین‌محمدی در دقیقه ۶۶ گل‌زنی کردند.
تماشاگران
۱۲۱۰۰۰ طرفدار استقلال از ساعت‌ها قبل ورزشگاه آزادی را پر کردند این در حالی‌ست که در حدود ۵۰۰۰۰ هوادار این تیم نیز بیرون ورزشگاه ماندند و راهی به استادیوم نیافتند. این بازی پرتماشاگرترین بازی در تاریخ بازی‌های باشگاهی در آسیاست.
در سایت یوتیوب
جام باشگاه‌های آسیا ۱۹۹۱لیگ قهرمانان آسیا
إسراء عبدالفتاح

اسراء عبدالفتاح (؛ زاده ) فعال اینترنت و وبلاگ‌نویس اهل مصر است.
تاسیس جنبش جوانان ششم آوریل
اسراء درسال ۲۰۰۸ جنبش جوانان ششم آوریل مصر را تاسیس کرد. این گروه برای حمایت از کارگران محله الکبری یک شهر صنعتی که قصد داشت در ششم آوریل دست به اعتصاب بزند تاسیس شد. این گروه به تدریج به یک جنبش سیاسی مردمی تبدیل شد.
دستگیری
او در سال ۲۰۰۸ توسط نیروهای امنیتی مصر دستگیر شد. او توجه تعدادی از رسانه‌های مصری را که علیه سیاست سانسور دولت مبارزه می‌کردند را جلب کرد و به نماد مقاومت در برابر فساد و بی‌عدالتی تبدیل شد.
پس از گذراندن دو هفته در زندان او آزاد شد و در اطلاعیه‌ای اعلام کرد که دست از فعالیت سیاسی برمی‌دارد.
اعتراضات سال ۲۰۱۱ در مصر
اسرا عبدالفتاح مجددا در اعتراضات سراسری و انقلاب ۲۰۱۱ مصر که برای برکناری رژیم حسنی مبارک برگزار شده بود فعال شد. او در اینترنت فعالیت می‌کرد و نیز شبکه خبری الجزیره را با آخرین اخبار اپوزیسیون مصر روزآمد می‌کرد.
هنگامی که ساختمان‌های امنیتی دولت در مارس ۲۰۱۱ مورد حمله قرار گرفتند، به موجب نشانه‌هایی از پرونده‌ها که در آن تخریب شده بود، یک پرونده ده صفحه‌ای از اسراء پیدا شد که حاوی ده صفحه از اسناد و مدارک مربوط به سه سال کار اینترنتی و هک ایمیل، و اطلاعات شخصی در مورد او بود.
او گفت: «احساسش در این رابطه متناقض و غیرقابل توصیف است.»
افتخارات
نام او بعنوان کاندید جایزه صلح نوبل پیشنهاد شد.
در ۳۱ اکتبر ۲۰۱۱ توسط گلامور بعنوان زن سال نامیده شد.
انقلاب ۲۰۱۱ مصر
اسماء محفوظ
ایستادگی مدنی
مقاومت بدون خشونت
ماشین حالت یو.ام.ال

ماشین حالت یو.ام. ال (UML state machine) ماشین حالتی است که از نماد گذاری زبان مدلسازی یکپارچه استفاده می‌کند تا حالت‌های مختلف یک فرایند را نمایش دهد.
اجزا ماشین حالت یو.ام. ال
حالت
هر حالت، ممکن است ساده یا مرکب باشد. حالت مرکب، از یک یا چند ناحیه تشکیل شده است که هر ناحیه، خودش یک ماشین حالت یو.ام. ال است و حالت شروع و پایان دارد و وقتی وارد این حالت شدیم، ماشین، از حالت شروع درون این حالت، شروع به کار می‌کند و زمانی که به حالت پایانی رسید، بر اساس یال‌های خروجی آن، به حالت‌های دیگر می‌رود.
هر حالت ساده، از ۲ بخش تشکیل شده است. یک بخش، به نام این حالت اختصاص دارد و دیگری، شامل ۳ اطلاع است:
- در زمان ورود به این حالت، چه اتفاقاتی باید رخ دهد که به این صورت نمایش داده می‌شود: عمل / entry
- در زمان خروج از این حالت، چه اتفاقاتی باید رخ دهد که به این صورت نمایش داده می‌شود: عمل / exit
- در زمانی که در این حالت هستیم، چه اتفاقاتی باید رخ دهد که به این صورت نمایش داده می‌شود: عمل / do
پیوند=بندانگشتی
یال
همچنین، یال‌های این گراف که نشان‌دهنده انتقال‌های بین حالت‌ها هستند، شامل شرط و عمل هستند که به این‌گونه برروی یال قرار می‌گیرند: عمل / شرط
حالت شروع و پایان
حالت شروع این ماشین حالت، با یک دایره توپر نمایش داده می‌شود و حالت پایان آن، با دایره توپری که دور آن یک حلقه وجود دارد، نشان داده می‌شود.
اجرای همزمان چند ناحیه
همان‌طور که بالاتر ذکر شد، در حالت‌های مرکب، ممکن است چند ناحیه داشته باشیم و این ناحیه‌ها بخواهند همزمان اجرا شوند. در این صورت، بین یال‌های ورودی به آن ناحیه‌ها، یک خط عمودی رسم کنیم و بین یال‌های خروجی از آن‌ها نیز یک خط عمودی رسم می‌کنیم.
حالت تاریخ
این حالت برای زمانی استفاده می‌شود که از یک حالت مرکب خارج شویم و بخواهیم دوباره به آن وارد شویم و بخواهیم اطلاعات مرحله قبل حفظ شود. برای این منظور، هنگام ورود مجدد به درون حالت مرکب، ابتدا به حالتی به نام "H" یا "*H" می‌رویم و سپس به حالت مدنظر منتقل می‌شویم.
"H" برای زمانی استفاده می‌شود که بخواهیم فقط اطلاعات خود حالت مرکب را ذخیره کنیم اما "*H" برای زمانی است که بخواهیم اطلاعات تمام ماشین را ذخیره کنیم.
تأثیر رنگ بر انسان

تاثیرات رنگ‌ها بر حالات مختلف روحی و روانی انسان از دو طریق امکان‌پذیر می‌باشد. تاثیر اولیه رنگ به دریافت احساسی رنگ (فامداری) مربوط می‌شود که از طیف نور مرئی رنگ ناشی شده و از آن به احساس ذهنی تعبیر شده‌است. به عنوان نمونه فشار ملایم بر پلک‌ها و قرارگیری انسان تحت شوک الکتریکی در یک محیط تاریک احساس رنگ را برای انسان ایجاد می‌نماید که این احساس اثر مرئی، از خارج چشم نیست. دلیل این امر تحریک سلسله اعصاب شبکیه توسط الکتریسیته یا فشار ملایم می‌باشد. تاثیر دیگر رنگ‌ها اثرات ذهنی رنگ‌های عینی می‌باشد و احساس‌های معینی را شامل می‌گردد که رنگ‌ها در بیننده ایجاد می‌نماید. در این شکل از تاثیر فامها به دو دسته پیش آینده و پس رونده تقسیم‌بندی می‌گردند که به ترتیب نزدیک بودن و دور بودن اشیا را در ذهن تداعی می‌نماید. بر همین اساس فام‌های دارای طول موج بلندتر (مثل قرمز و نارنجی) گرمتر از فام‌های طول موج کوتاه‌تر (مثل آبی و سبز) احساس می‌شوند. احساس گرمی و سردی، پیش آیندگی و پس روندگی در واقع اثرات ذهنی رنگ‌های عینی هستند که از جنبه روان‌شناسی رنگ نه از جنبه فیزیولوژیک رنگ، مورد بحث قرار می‌گیرد. (Erdogan، 2008: 2129-2139)
تاثیر رنگ‌ها علاوه بر روان و روح بر عملکرد و فیزیولوژیک انسان نیز تاثیر می‌گذارد. تاثیر رنگ بر فشار خون، میزان تنفس و زمان از نمونه این تاثیرات می‌باشد. پاسخ‌های فیزیولوژیکی و بیو مکانیکی فعال و دقیق از تشعشعات خورشیدی و محیط‌های مصنوعی بر روی بدن انسان اثبات این موضوع می‌باشد. انطباق ریتم‌های هورمونی بدن با شبانه روز و تاریکی و روشنی از پاسخ‌های بدن به رنگ‌ها می‌باشد. (موعدی، 1379: 56)
در سال ۱۹۷۱ دکتر یوگن شورل ۱۴ در یک کلینیک در سوئیس با تحقیقاتی در زمینه رنگ درمانی تاثیر رنگ‌ها بر فشار خون، ضربان قلب، سرعت تنفس، حواس جسمانی، اثرات درد و واکنش‌های روانی مورد آزمایش قرار داد که به نتایج قابل ملاحظه‌ای در این زمینه دست یافت. تحقیقات مشابه دیگر از سوی فرانک گبرت برروی دانشجویان ۲۰ تا ۴۰ ساله صورت گرفت. در این آزمایش‌ها رنگ قرمز و زرد به عنوان رنگ‌های محرک و رنگ‌های سبز و آبی آرام کننده بودند؛ بنابراین رنگ هابا طول موج بلند محرک‌تر از رنگ‌ها با طول موج کوتاه هستند. (بختیاری فرد، 1388: 85-88)
نکته حائز توجه به این رنگ‌ها در ارتباط با طبیعت، فرهنگ، باورهای دینی و تجربه‌های زندگی، هر یک معنایی ویژه به خود اختصاص می‌دهند. این ادراک رنگ در میان ملل و اقوام گاه متفاوت و گاه مشابه است. اما به هر حال تابع موقعیت‌های زمانی، مکانی و جغرافیایی بوده یا از فرهنگ، دین و آیین مردم نشات گرفته‌است. از سوی دیگر مفاهیمی که زمانی توسط افرادی برای رنگ‌ها برگزیده شده، در همان دوره اعتبار داشته‌است. (باخزری، 1345: 34-37)
در یک دسته‌بندی کلی رنگ‌ها به دو دسته رنگ‌های اصلی شامل زرد، آبی، قرمز و رنگ‌های فرعی نظیر سبز، بنفش، نارنجی، زرد مایل به سبز، سبز مایل به آبی، آبی مایل به سبز، بنفش مایل به قرمز و… که از ترکیب رنگ‌های دیگر بوجود می‌آیند تقسیم‌بندی شده‌است. (لوشر، 1379: 264).
بر این اساس هر رنگ ویژگی‌های منحصر به فردی را در طبیعت دارا بوده و بنا به این ویژگی‌ها استفاده از هر رنگ در معماری و محیط شهری جایگاه ویژه‌ای را به خود اختصاص داده‌است (ولان، 1387: 194).
فهرست رنگ‌ها
رنگ‌های وب
فام‌داری
آکرلیک
رنگ تصفیه کننده هوا
سوفیک سارگسیان

سوفیک سارگسیان (؛ ؛ زاده ) یک هنرپیشه اهل ارمنستان است. وی از سال ۱۹۷۴ میلادی فعالیت می‌کند.
از فیلم‌ها یا برنامه‌های تلویزیونی که وی در آن نقش داشته است می‌توان به ناهاپت، گمشده و پیداشده در ارمنستان، فرشته دیوانه، باغ سیب اشاره کرد.
ماشین الگوریتم حالت

روش ماشین الگوریتمی(انگلیسی: Algorithmic state machine) یا (ASM) یک روش برای طراحی ماشین‌ها است. این ماشین برای نشان دادن نمودارهایمدارهای دیجیتال یکپارچه شده استفاده می‌شود. نمودار ASM، مانند نمودار حالت است اما غیررسمی‌تر و در نتیجه درک آن آسان‌تر است. یک نمودار ASM یک روش توصیف عملیاتی پی در پی و متوالی یک سیستم دیجیتال است.
روش ASM
روش ASM از مراحل زیر تشکیل شده‌است.
ایجاد الگوریتم با استفاده از شبه کد برای توصیف عملکرد مورد انتظار دستگاه
تبدیل شبه کد به نمودار ASM
طراحی مسیر داده (datapath) براساس نمودار ASM
ایجاد یک نمودار دقیق ASM براساس مسیر داده
طراحی کنترل منطقی براساس جزئیات نمودار ASM
نمودار ASM
نمودار ASM، شامل چهار عنصر اساسی است. نام واحد، واحد، چک کردن واحد، خروجی‌های شرطی. یک ASM به صورت یک مستطیل نشان داده می‌شود که حالت‌ها از یک نمودار منظم می‌باشد. خروجی از نوع ماشین مور در درون مستطیل نشان داده شده‌است.
نام واحد: نام یک واحد در داخل دایره نشان داده شده‌است؛ و دایره در گوشه سمت چپ قرار دارد یا نام بدون دایره قرار دارد.
باکس واحد
خروجی واحد در داخل مستطیل نشان داده شده‌است.
باکس تصمیم‌گیری
یک لوزی نشان می‌دهد که شرط بیان شده مورد آزمایش قرار گرفته و مسیر خروجی به ترتیب انتخاب می-شود. شرایط بیان شامل یک یا چند ورودی به FSM می‌باشد. برای وضعیت ASM نشان داده شده توسط یک لوزی یا یک ورودی و دو خروجی است و به شرط انتقال بین دو حالت یا یک حالت و خروجی مشروط استفاده می‌شود. باکس تصمیم‌گیری حاوی شرایط بیان شده برای آزمایش بوده و این بیان شامل ورودی برای FSM می‌باشد.
باکس خروجی شرطی: باکس خروجی شرطی به شکل بیضی نشان داده می‌شود که سیگنال خروجی از نوع میلی می‌باشد. این خروجی‌ها نه تنها به واحد بلکه همچنین به ورودی‌های FSM نیز بستگی دارد.
مسیر داده
هنگامی که عملیات مورد نظر در یک مدار با استفاده از عملیات RTL توصیف شده‌است، اجراهای مسیر داده می‌توانند مشتق شوند. هر متغیر منحصر به فرد که یک مقدار در برنامه RTL را به خود اختصاص داده‌است که می‌تواند به عنوان یک واحد ثبت شده اجرا شود، وابسته به عملیات عملکردی که هنگام اختصاص یک مقدار به یک متغیر انجام می‌شود، ثبت برای آن متغیر ممکن است به صورت ساده بوده و متغیر در آن دیده شود و یک شمارنده پیش از بلوک منطقی به صورت ترتیبی قرار بگیرد. بلوک منطقی ترتیبی با یک ثبت مرتبط است؛ و می‌تواند یک کامپایلر را از طریق تابع منطقی ترکیبی اجرا کند.
جزئیات نمودار ASM
هنگامی که مسیر داده طراحی شد، نمودار ASM به یک نمودار دقیق تبدیل می‌شود. نماد RTL با سیگنال‌های تعریف شده در مسیر داده جایگزین می‌شود.
ماشین مور
ماشین میلی
روندنما
رودولف قوندیان

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

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

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

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

سان بازیله (به ایتالیایی: San Basile) یک کومونه در ایتالیا است که در استان کزنتزا واقع شده‌است. سان بازیله ۱۸ کیلومتر مربع مساحت و ۱،۲۸۳ نفر جمعیت دارد و ۵۴۰ متر بالاتر از سطح دریا واقع شده‌است.
فهرست شهرهای ایتالیا
کانا (کالابریا)

کانا (به ایتالیایی: Canna) یک کومونه در ایتالیا است که در استان کزنتزا واقع شده‌است. کانا ۲۰ کیلومتر مربع مساحت و ۸۲۸ نفر جمعیت دارد و ۴۱۷ متر بالاتر از سطح دریا واقع شده‌است.
فهرست شهرهای ایتالیا
چیکالا

چیکالا (به ایتالیایی: Cicala) یک کومونه در ایتالیا است که در استان کاتانزارو واقع شده‌است. چیکالا ۹ کیلومتر مربع مساحت و ۹۶۴ نفر جمعیت دارد و ۸۳۷ متر بالاتر از سطح دریا واقع شده‌است.
فهرست شهرهای ایتالیا
کاسانا آلیونیو

کاسانا آلیونیو (به ایتالیایی: Cassano allIonio) یک کومونه در ایتالیا است که در استان کزنتزا واقع شده‌است. کاسانا آلیونیو ۱۵۴ کیلومتر مربع مساحت و ۱۸،۶۵۲ نفر جمعیت دارد و ۲۵۰ متر بالاتر از سطح دریا واقع شده‌است.
فهرست شهرهای ایتالیا
چینش باد

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

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

چنتولا (به ایتالیایی: Centola) یک کومونه در ایتالیا است که در استان سالرنو واقع شده‌است. چنتولا ۴۷ کیلومتر مربع مساحت و ۵،۰۷۳ نفر جمعیت دارد و ۳۳۶ متر بالاتر از سطح دریا واقع شده‌است.
فهرست شهرهای ایتالیا
چروینو (کامپانیا)

چروینو (به ایتالیایی: Cervino) یک کومونه در ایتالیا است که در استان کسرتا واقع شده‌است. چروینو ۸٫۰ کیلومتر مربع مساحت و ۵،۱۳۷ نفر جمعیت دارد.
فهرست شهرهای ایتالیا
ساککو

ساککو (به ایتالیایی: Sacco) یک کومونه در ایتالیا است که در استان سالرنو واقع شده‌است. ساککو ۲۳ کیلومتر مربع مساحت و ۵۸۲ نفر جمعیت دارد و ۵۰۰ متر بالاتر از سطح دریا واقع شده‌است.
فهرست شهرهای ایتالیا
ارریا

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

کنتورسی ترمه (به ایتالیایی: Contursi Terme) یک کومونه در ایتالیا است که در استان سالرنو واقع شده‌است. کنتورسی ترمه ۲۸٫۹۰ کیلومتر مربع مساحت و ۳،۲۸۱ نفر جمعیت دارد و ۲۵۰ متر بالاتر از سطح دریا واقع شده‌است.
خواهرخوانده
شهر مورو لوکانو خواهرخوانده کنتورسی ترمه هست.
فهرست شهرهای ایتالیا
چرازو

چرازو (به ایتالیایی: Ceraso) یک کومونه در ایتالیا است که در استان سالرنو واقع شده‌است. چرازو ۴۵٫۹۵ کیلومتر مربع مساحت و ۲،۵۱۰ نفر جمعیت دارد و ۳۴۰ متر بالاتر از سطح دریا واقع شده‌است.
فهرست شهرهای ایتالیا
مسئله تناظر پست

مسئله تناظر پست (به انگلیسی: Post correspondence problem) یک مساله تصمیم‌ناپذیر بر روی رشته‌ها است که در سال ۱۹۴۶ میلادی به‌وسیله امیل پست معرفی و اثبات شد. با نگاشت این مسئله بر روی مسائل تصمیم‌ناپذیر دیگر می‌توانیم تصمیم‌ناپذیری آن‌ها را نیز اثبات کنیم (مانند تصمیم‌ناپذیری ماشین‌های تورینگ).
علاوه بر این که یکی از دلایل اهمیت این مسئله اثبات دیگر مسائل تصمیم‌ناپذیر به‌وسیله آن است، می‌توان به این موضوع نیز اشاره نمود که درک و اثبات این مسئله بسیار ساده‌تر از دیگر مسائل تصمیم‌ناپذیر، مانند مساله توقف در ماشین تورینگ است.
تعریف مسئله
یک نمونه از مساله تناظر پست را این‌گونه تعریف می‌کنیم:
هر نمونه از این مسئله شامل دو لیست از رشته‌هایی است که بر روی الفبای تعریف شده‌اند. فرض کنید این دو لیست و نام دارند که برای یک مقدار این‌گونه تعریف می‌شوند:
برای هر جفت را یک جفت تناظر می‌گویند.
جواب مساله تناظر پست را نیز این‌گونه تعریف می‌کنیم:
برای یک نمونه از مسئله جواب وجود دارد اگر دنباله‌ای از اعداد صحیح مانند ، ، … و وجود داشته باشد که شرط زیر را ارضاء کند:
پس به‌طور کلی مساله تناظر پست این‌گونه تعریف می‌شود:
«آیا برای یک نمونه از مساله تناظر پست جوابی وجود دارد یا خیر؟»
مثال
فرض کنید و دو لیست و را این‌گونه در نظر بگیرید:
list A
list B
a
aaa
۱
abaaa
ab
۲
ab
b
۳
یک جواب برای این نمونه با ، این‌گونه است: ؛ زیرا در این صورت:
که این دو شرظ را ارضاء می‌کنند.
اثبات تصمیم ناپذیری مساله تناظر پست
ایده کلی برای اثبات تصمیم ناپذیری مساله تناظر پست این است که آن را بر روی یک مساله تصمیم ناپذیر معروف دیگری نگاشت کنیم و بهترین گزینه مساله توقف است. این نگاشت را این‌گونه در نظر بگیرید: «یک مساله تناظر پست می‌تواند یک ماشین تورینگ دلخواه را با یک ورودی خاص اجرا کند. مساله تناظر پست در صورتی جواب دارد اگر و فقط اگر ماشین تورینگ ورودی‌اش را قبول و توقف کند.
دختر دشت آرارات

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

تادئوس ساریان
کارپ خاچوانیان
متاکسیا سیمونیان

. 
گورگن گابریلیان (بازیگر)

آرام آمیربکیان
مسئله ارتفاع ستاره

مسئله ارتفاع ستاره
مسئله ارتفاع ستاره که توسط Eggan مطرح شده‌است، مسئله‌ای در تئوری زبان صوری است که سعی در پاسخ به این پرسش دارد که آیا می‌توان همه زبان منظم را به کمک عبارات منظمی که ارتفاع ستاره محدودی دارند بیان کرد ۱؟
ارتفاع ستاره یک عبارت منظم، بیشینه عمق ستاره‌های تو در تویی است که در آن عبارت وجود دارد.
به‌طور مشخص‌تر، این مسئله بیان می‌کند که آیا همیشه عمق تو در توی یک کافی است و امکان‌پذیر است که همه زبان‌های منظم را با عبارات منظم به عمق یک نشان داد؟ اگر پاسخ این سوال منفی است، آیا الگوریتمی وجود دارد که عمق مورد نیاز را مشخص کند؟
مسئله اولیه، نخستین بار توسط Eggan پاسخ داده شد ۱. او با ارائه مثالی نشان داد که پاسخ این پرسش منفی است. او برای هر عدد طبیعی مانند n، یک زبان منظم با ارتفاع ستاره n ارائه داد. ساخت این عبارات به صورت بازگشتی است و به این ترتیب صورت می‌گیرد که عبارت ، از کنار هم قرار دادن دو نسخه و تغییر نام نسخه دوم با نام‌های جدید و پس از آن اضافه کردن یک نشانه جدید در انتها و اضافه کردن پرانتز و ستاره در اطراف عبارت ساخته شده تا اینجا، صورت می‌گیرد.
گل‌میخی
با به‌کارگیری تنظیم «چپ» تصویر در سمت چپ متن ظاهر می‌شود.
Eggan ثابت کرد که هیچ عبارت منظمی با ارتفاع ستاره کمتر از n وجود ندارد که معادل با باشد ۱. هرچند مثال ارائه شده توسط او از الفبای بزرگی استفاده می‌کند که برای زبانی با ارتفاع ستاره n، اندازه آن 2 n -۱ است. به همین دلیل، سوال دیگری که مطرح کرد این بود که آیا مثال‌هایی روی الفبای دودویی وجود دارد که به این شکل باشند؟ این سوال به سرعت توسط Dejean و Schützenberger پاسخ داده شد ۳. آن‌ها مثالی بازگشتی از چنین عباراتی به ازای هر n ارائه دادند. در هر گام به این صورت ساخته می‌شود که ابتدا به تعداد 2 n نشانه اول و سپس و پس از آن به تعداد 2 n نشانه دوم و در انتها نیز قرار می‌گیرد. در نهایت پرانتز دور این عبارت قرار گرفته و ستاره اضافه می‌شود.
Dejean و Schützenberger و Salomaa نشان دادند که هیچ عبارت منظمی با ارتفاع ستاره کمتری نمی‌تواند n را توصیف کند ۳،۴.
سوال مطرح شده دوم، پاسخ به نسبت پیچیده‌تری نسبت به سوال اول دارد و برای حدود دو دهه به عنوان یکی از مسائل معروف حل نشده حوزه زبان‌های صوری شناخته می‌شد 2. Hashiguchi در سال ۱۹۸۸ الگوریتمی برای تعیین ارتفاع ستاره هر عبارت منظمی ارائه داد. اما این الگوریتم عملی نیست و به محاسباتی می‌انجامد که حتی برای مثال‌های کوچک نیز امکان‌پذیر نیست.
الگوریتم بهینه‌تری توسط Kirsten در سال ۲۰۰۵ ارائه شد، اما حتی این الگوریتم هم فاصله زیادی با آنچه که قابل انجام است، دارد ۵.
این الگوریتم توسط Colcombet و Löding در سال ۲۰۰۸ کلی‌سازی و بهینه‌سازی شده‌است ۶ و در سال ۲۰۱۷ در ابزار Stamina پیاده‌سازی شده‌است ۷.
گسل‌های ایران

هر ناپیوستگی ثانویه زمین‌ساختی که بعد از ایجاد شکستگی در آن جابجایی رخ داده باشد به عنوان گسل شناخته می‌شود.
بر این اساس هم گسله‌های کوچک در حد چند میلی‌متر و هم گسل‌هایی با طول چندین کیلومتر در این تعریف می‌گنجند.
تعداد گسل‌های شناخته شده ایران ۵۷۵ عدد است. تعداد گسل‌های خطرناک ایران ۱۲۰ عدد است. میزان شهرهای لرزان ایران یعنی شهرهای با ریسک خطر بالا ۷۸ درصد می‌باشد.
اصلی‌ترین گسل‌های تهران عبارتند از گسل مشا فشم، گسل شمال تهران، گسل جنوب تهران، گسل پارچین، گسل شمال ری، گسل جنوب ری، گسل کهریزک، گسل اشتهارد و گسل ایپک.
امن‌ترین استان‌ها و مناطق ایران از نظر خطر گسل‌ها همدان اصفهان کردستان، مرکزی، مناطقی از خوزستان زنجان یزد و کرمان هستند.
خطرناک‌ترین گسل‌های ایران
تهران:البرز - مشا، ایوانکی، کهریزک، پیشوا، رباط کریم
تبریز - شمال تبریز
گسل کوه خضر - از میان بخشی از شهر قم عبور می‌کند
گسل اصلی جوان زاگرس - از کنار شهر مریوان عبور می‌کند
گسل غربی فروافتادگی دریاچه ارومیه - از کنار شهر ارومیه عبور می‌کند
گسل بافران - از جنوب شهر نایین عبور می‌کند
گسل هیرمند - از نزدیکی شهر زاهدان عبور می‌کند
گسل مکران - از نزدیکی شهرهای جاسک و چابهار عبور می‌کند
گسل ساحلی بندرعباس - از شهر بندرعباس عبور می‌کند
درخت رونده اتوماتا

یک درخت رونده اتوماتا یک نوع اتوماتا متناهی است که به جای رشته‌ها درخت‌ها را تحلیل می‌کند. این مفهوم توسط Aho و Ullman پیشنهاد شده‌است.
این درخت بسیار شبیه درخت گرامر درخت منظم و ماشین درختی به عبارتی می‌توان گفت این درخت نمایشی متفاوت از دو درخت یاد شده‌است.
تعریف
تمام درخت‌های به این شکل دودویی هستند و دارای برچسب‌هایی با الفبای ثابت هستند در واقعیت این درخت‌ها دارای تعدادی حالت هستند که با آمدن حروف جدید مانند اتومات‌های واقعی از حالتی به حالت دیگر حرکت می‌کند و در نهایت اگر در حالت تایید به کار خود پایان داد که آن درخت تایید می‌شود و اگر در حالت رد یا حلقه بی‌نهایت به کار خود پایان داد آن درخت رد می‌شود.
اگر بخواهیم به صورت ریاضی‌تر آن را بگوییم هر درخت غیر قطعی رونده اتوماتا یک شش‌تایی A = (Q, , I, F, R, ) است که  الفبایی ثابت بوده، Q مجموعه حالت‌ها ،I حالت‌های شروع، F حالت‌های تایید و R حالت‌های رد است.
همان‌طور که در تمامی اتومات‌ها رابطه‌هایی وجود دارد که با دیدن یک حرف از حالی به حالت دیگر می‌رود.
⊆ (Q × { root, left, right, leaf ×  × { up, left, right × Q)
Q اول به معنای حالت فعلی است که در حالت فعلی یکی از چهار حالت مشخص شده را داریم. منظور از  حرف دیده شده‌است و مورد بعدی به معنای حرکتی است که می‌کنیم که یکی از بالا، راست و چب است و Q آخر نیز به معنای حالتی است که در آن می‌رویم. پس رابطه‌های به صورت ۵ تایی‌هایی درین اتوماتا نمایان می‌شوند.
مثال
یک مثال ساده از این درخت برای اجرا کردن الگوریتم جستجوی عمق اول بر روی درخت ورودی است. طبعا برای هر مثال باید پارامترهای تعریف را مشخص کنیم. این اتومات‌های ۳ حالت دارد، .
در ابتدا از ریشه که حالت ۰ است شروع می‌کنیم. حال با آمدن هر راس جدید به حالت چپ وارد می‌شویم و در صورتی که در برگ درخت باشیم به بالا می‌رویم که متناظر با همان حرکت بالا بود که در تعریف از آن یاد کرده بودیم. همان‌طور که گفتیم درین درخت می‌توان مشخص کرد که آیا زیر درختی پردازش شده‌است یا نه در این‌جا هم هر جا که زیر درخت سمت چپ پردازش شده باشد باید به حالت سمت راست برویم.
خواص
بر خلاف ماشین درختی، درخت رونده اتوماتا به سختی قابل تجزیه و تحلیل است و حتی خواص ساده آن نیز به سختی اثبات می‌شود و بعضا اثبات‌های بسیار پیچیده و غیر بدیهی دارند.
درین به برخی از خواص آن که اثبات شده‌است اشاره می‌کنیم
توسط Bojańczyk و Colcombet ثابت شده‌است که درخت قطعی رونده اتوماتا زیر مجموعه درخت رونده اتوماتا است.
درخت قطعی رونده اتوماتا تحت عمل متمم‌گیری بسته‌است اما هنوز مشخص نیست که درخت‌های غیرقطعی آن نیز تحت عمل متمم گیری بسته باشند
مجموعه‌ای از زبان‌هایی که توسط این درخت تشخیص داده می‌شود زیرمجموعه درخت‌های زبان منظم هستند.
چرخان‌تاژک‌داران

چرخان‌تاژک‌داران یا داینوفلاژله‌ها نام یک شاخه از superphylum حبابچه‌داران است که تک‌یاخته و اکثرا دریازی هستند.
ین جانوران پلانکتونی‌اند و در آن‌ها کپسول مشخصی از جنس سلولز وجود دارد. کپسول دو قسمتی است و شیاری در آن وجود دارد که در برگیرنده دو تاژک است، یکی از تاژک‌ها رو به عقب امتداد دارد و دیگری تقریبا افقی است. معمولا دارای لکه چشمی و تعدادی زیاد کلروپلاست قهوه‌ای، زرد یا مایل به سبز هستند. هسته درشت و یکی است. حضور تعدادی کیسه بزرگ که توسط کانال‌ها یا مجاری به بیرون راه دارند، از مشخصات این جانوران است. این حجم‌های غیر انقباضی که پوسول (pusule) نام گرفته‌اند، گرچه به سیستم کریچه‌ای شباهت ندارند ولی احتمالا درگرفتن آب و در عمل هیدرواستاتیک نقش ایفا می‌کنند.
دسته‌ای از چرخان‌تاژک‌داران فاقد رنگیزه‌اند و به طریق جانوران تغذیه می‌کنند. از نظر ریخت‌شناسی شبه آمیب‌ها هستند.
تولید مثل در چرخان‌تاژک‌داران تا حدودی شبیه تقسیم دوتایی طولی تاژکداران است و در امتداد یک صفحه مورب صورت می‌گیرد. این نوع تقسیم حتی در کیست نیز اتفاق می‌افتد. حتی در حالت کیستی تقسیم می‌تواند از نوع چندتایی باشد. افراد حاصل از تقسیمات متوالی دوتایی گاهی به‌طور موقت به هم چسبیده می‌مانند (مانند زنجیر). شواهد کافی از ممزوج شدن گامت‌ها یا یاخته‌های جنسی وجود ندارد.
یک نمونه معروف از تاژک‌داران چرخان، سراتیوم (Ceratium) است که نمونه‌ای زره دار و دارای خار و دو تاژک است و به روش گیاهان تغذیه می‌کند. زره یا تک(Theca)، ضخیم و غیرقابل انعطاف است. خارها از امتداد بخش‌هایی از صفحات سازنده زره ایجاد شده‌اند و راست یا خمیده‌اند. خار جلویی، خار راسی (Apical spine) و خار یا خارهای عقبی (تا ۴ خار عقبی می‌تواند وجود داشته باشد)، خار یا خارهای مقابل راسی (Anapical spine) نامیده می‌شوند. طبق معمول بین صفحات سازنده زره دو شیار وجود دارد. شیار در مو قعیت استوایی یا افقی به نام حلقه یا انولوس (Annulus) نیز نامیده می‌شود که معمولا با یک صفحه به نام سینگولوم (Cingulum) پوشیده شده‌است. از میان منافذ زره برجستگی‌ها یا پاپیلاهای سیتوپلاسمی متعددی خارج و به شبکه‌ای از پاهای کاذب منتهی می‌شوند. این پاها باعث صید موجودات ریز می‌شوند، تغذیه گاهی از این نوع است. انواع آب شیرین دارای کلروپلاست‌های سبز و انواع دریایی زرد یا قهوه‌ای هستند.
نمونه دیگر نوکتیلوکا (Noctiluca)است که همچون یک کره بزرگ (ژلاتینی) به قطر 1mmیا بیشتر است. شناور بر سطح دریا و معمولا نزدیک ساحل یافت می‌شود. بی‌رنگ و بیگانه خوار است. یک تاژک کوتاه ضخیم و یک تاژک ظریف دارد. این موجود دارای خاصیت زیست‌تابی و مسئول فسفرسانس آب‌های ساحلی دریاها است.
رده:مقاله‌های ویکی‌پروژه نسخه آفلاین درباره compiler optimization

مقاله‌های ویکی‌پروژه نسخه آفلاین درباره compiler optimization
سرعت نور (اتوماتای سلولی)

در بازی زندگی کانوی (و اتوماتای سلولی مربوط) سرعت نور یک نرخ انتشار در سراسر شبکه از دقیقا یک گام (به صورت افقی عمودی و یا مورب) در هر نسل است. در یک نسل یک سلول تنها می‌تواند همسایه‌های نزدیکش را تحت تاثیر قرار دهد و بنابراین سرعت نور (در قیاس با سرعت نور در فیزیک) حداکثر نرخی که با آن اطلاعات می‌توانند منتشر شوند. از این رو یک حد بالا برای سرعتی که با آن هر الگوی حرکت می‌کند داریم.
نماد
همان‌طور که در فیزیک سرعت نور با حرف . این در عوض مرجعی است برای توصیف میانگین سرعت انتشار هر سفینه فضایی. برای مثال یک گلایدر گفته می‌شود که سرعتی برابر توسط یک سلول ترجمه شود. به طور مشابه «سفینه فضایی سبک» گفته شده است که سرعتی برابر هر حالت داده شده ۴ نسل طول می‌کشد تا توسط دو سلول ترجمه شود.
انتشار با سرعت نور
در حالی که یک کران بالای مطلق برای سرعت انتشار است حداکثر سرعت یک سفینه فضایی در بازی زندگی کانوی در واقع . دلیل این امر آن است که ساخت یک سفینه فضایی که بتواند در هر نسل حرکت کند غیرممکن است. (هر چند این موضوع در حالت کلی برای اتوماتای سلولی درست نیست؛ به عنوان مثال بسیاری از سفینه‌های فضایی با سرعت نور در دانه‌ها وجود دارند) با این حال این برای اشیاء ممکن است که با سرعت نور سفر کنند اگر آن‌ها به جای فضای خالی از مدیوم حرکت کنند. چنین رسانه‌ای شامل مسیرهای کهیر و خطوط سلول‌های زنده و مرده است.
انتشار سریع‌تر از نور
الگوهای خاص می‌توانند به نظر برسند که با سرعت بیشتر از یک سلول در هر نسل حرکت می‌کنند اما مانند پدیده‌های سریع‌تر از نور در فیزیک این امر گمراه کننده است.
به عنوان مثال "Star Gate", ترتیبی از سه گلایدر همگرا که متقابلا در برخورد نابود می‌شوند. اگر یک سفینه فضایی سبک (LWSS) با گلایدرهای همگرا برخورد کند به نظر می‌رسد که در ۶ نسل ۱۱ حرکت رو به جلو انجام داده و در نتیجه سفری سریع‌تر از نور داشته است. این توهم به این خاطر اتفاق می‌افتد که واکنش حاصل از نابودی گلایدر با ایجاد و به زودی تخریب یکی دیگر از LWSSها همراه است. هنگامی که LWSS ورودی با گلایدرهای همگرا برخورد می‌کند به جای دیگر منتقل نمی‌شود اما به جای آن واکنش را به طوری که LWSS به تازگی ایجاد شده می‌تواند زنده بماند تغییر می‌دهد. تنها سیگنالی که منتقل می‌شود این است که تعیین کند آیا LWSS خروجی باید زنده بماند یا نه. این نیازی به رسیدن به مقصد خود ندارد تا بعد از اینکه LWSS منتقل شده است و بنابراین هیچ اطلاعاتی نیاز به سفر سریع‌تر از نور ندارد.
جایگشت شهر (رمان)
نظریه پاریک

قضیه پاریک یکی از قضایای علوم کامپیوتر نظری است که در سال ۱۹۶۱ توسط روهیت پاریک(Rohit Parikh) اثبات شده‌است و در سال ۱۹۶۶ اثبات ساده‌تری برای آن ارائه شده‌است.3 اثبات می‌کند که یک زبان مستقل از متن روی یک الفبای تک حرفی باید منظم باشد. از قضیه پاریک می‌توان در اثبات مستقل از متن بودن یا نبودن یک زبان استفاده کرد. علاوه بر این از این قضیه برای اثبات این که یک زبان حاوی رشته‌ای با تعداد برابری از دو پایانه داده شده هست یا خیر.1 این قضیه بیان می‌کند که اگر توالی نشانه‌ها در نظر گرفته نشود آنگاه زبان‌های مستقل از متن از نظر مجموعه‌های منظم و نشان دادن وجود یک زبان مستقل از متن ذاتا مبهم غیر متمایزاند.
تعاریف مهم
اگر مجموعه یک الفبا باشد، بردار پاریک یک کلمه به صورت یک تابع در قالب خواهد بود به‌طوری‌که و نشان دهنده تعداد حرف در کلمه است.
می‌گوییم زیرمجموعه‌ای از خطی است اگر به ازای بردارهای این زیر مجموعه به صورت باشد.
می‌گوییم یک زیرمجموعه از شبه‌خطی است اگر اجتماعی از چند زیرمجموعه خطی باشد.
فرض کنید یک زبان مستقل از متن و مجموعه بردارهای پاریک کلمات در باشد که . آنگاه یک مجموعه شبه خطی است.
می‌گوییم دو زبان جابه‌جایی‌پذیرند اگر دارای مجموعه بردارهای پاریک برابر باشند. اگر یک مجموعه‌ی شبه‌خطی باشد، زبان شامل کلماتی که بردارهای پاریک آن‌ها در است با بعضی از زبان‌های منطم جابه‌جایی‌پذیرند. در نتیجه هر زبان مستقل از متنی با بعضی از زبان‌های منظم جابه‌جایی‌پذیرند.
اهمیت آن
در قضیه پاریک اثبات می‌شود که بعضی از زبان‌های مستقل از متن فقط میتوانند گرامرهای مبهم داشته باشند که به این زبان‌ها، زبان‌های ذاتا مبهم گفته می‌شود. به عبارتی دیگر بعضی از گرامرهای مستقل از متن را نمی‌توان به گرامر مستقل از متن غیر مبهمی تبدیل کرد.
نگاشت پاریک
فرض کنید الفبای یک زبان باشد که و ترتیب دلخواه ولی ثابت است. برای تصویر پاریک معادل است با:
\begin{align
\Psi(w) = (m_1,…,m_n)
\end{align
که هر تعداد‌ها در hsj.
نگاشت پاریک روی یک زبان به صورت مقابل تعریف می‌شود:
برای یک زبان دلخواه مانند که قرار دهید
مثال: (نگاشت پاریک کلمات یک گرامر مستقل از متن)
گرامر مستقل از متن را با قواعد زیر در نظر بگیرید:
\begin{align
S \longrightarrow ASB | BSA | ab
\end{align
\begin{align
A \longrightarrow a
\end{align
\begin{align
B \longrightarrow b
\end{align
این بدین معناست که زبان تولید شده توسط دارای رشته‌هایی است که a و b‌ها میتوانند در آن به صورت درهم آمیخته ظاهر شوند. اما از آنجایی که از تعریف زبان پیداست تعداد آن‌ها در رشته برابر خواهد بود. علاوه بر این همیشه از هر حرف حداقل یکی وجود دارد.
حال اگر و را با توجه به تعریف بالا به ترتیب و بگیریم و رشته‌های و فرض کنیم. هر دو این رشته‌ها دارای نگاشت پاریک یکسان هستند؛ که داریم
اثبات
این قضیه با استقرا روی یک مجموعه از درخت‌های اشتقاق و با استفاده از نگاشت‌های پاریک به دست آمده از مجموعه‌ی درخت‌های اشتقاق پایانه‌ها و امکان بزرگ کردن آن‌ها در طول اشتقاق اثبات می‌شود.
محمدخان ایروانی

محمد خان ایروانی از فرماندهان نظامی ایران در دوره محمدشاه قاجار بود که درجه امیرتومانی داشت و بخشی از سپاه ایران را در جنگ هرات فرماندهی می‌کرد.
او در سال ۱۲۵۲ قمری به دستور محمدشاه قاجار به حکومت عراق عجم منصوب شد.
محمدخان در سال ۱۲۵۴ قمری با زینت‌الدوله دختر فتحعلی‌شاه قاجار ازدواج کرد و یک سال بعد در زمان محاصره شهر هرات درگذشت.
اردوگاه پناهندگان خان‌یونس

اردوگاه پناهندگان خان‌یونس (به عربی: مخیم خان یونس)؛ (انگلیسی: Khan Yunis Camp) یک منطقه مسکونی در فلسطین است، که در خان یونس واقع در غرب شهر خان یونس و ۲ کیلومتری شرق ساحل مدیترانه که در نوار غزه جنوبی قرار دارد. اردوگاه پناهندگان خان‌یونس ۳۷،۷۰۵ نفر جمعیت دارد.
آمار جمعیت
در حالی که آژانس امداد و اقدام سازمان ملل متحد برای آوارگان فلسطینی در خاور نزدیک UNRWA اعلام کرده‌است در سال ۲۰۱۰ که حدود ۷۲۰۰۰ پناهنده فلسطینی در اردوگاه زندگی می‌کنند، اداره مرکزی آمار فلسطین در سرشماری سال ۲۰۰۷ آمار جمعیت خان یونس را ۳۷۷۰۵ نفر ثبت کرده‌است.
تاریخچه
اردوگاه خان یونس پس از جنگ شش روزه ۱۹۴۸-اعراب- اسرائیل احداث شد و حدود ۳۵٫۰۰۰ پناهنده فلسطینی در آن اسکان داده شدند. در ۳ نوامبر ۱۹۵۶، اردوگاه و شهر خان یونس توسط نیروهای ارتش اسرائیل اشغال شد و در عملیات تهاجمی که صورت گرفت حدود ۲۷۵ نفر کشته شدند که ۱۴۰ پناهنده از اردوگاه را در بر می‌گرفت. ساکنان اردوگاه تصریح کردند که بیشتر تلفات پس از پایان جنگ‌ها رخ داد و آن هنگامی بود که ارتش به خانه‌هایی که مظنون به حضور شورشیان مسلح می‌دید تهاجم کرد. با این حال، مقامات اسرائیلی اعلام کردند که تلفات ناشی از مقاومت ساکنان اردوگاه بوده‌است.
وضعیت کنونی
طبق گزارش آژانس امداد و اقدام سازمان ملل متحد برای آوارگان فلسطینی در خاور نزدیک UNRWA، بسیاری از ساکنان این اردوگاه‌ها به دلیل عملیات توسط ارتش اسرائیل، خانه‌های خود را از دست دادند. UNRWA در اوائل دهه ۲۰۰۰ تلاش‌های بازسازی را آغاز کرد اما به دلیل تصرف این منطقه توسط حماس و محاصره اسرائیل در نوار غزه عمدتا این پروژه متوقف شده‌است. UNRWA می‌گوید که حداقل ۱۰،۰۰۰ خانه باید ساخته شوند.
فهرست شهرهای فلسطین
پناهندگان فلسطینی
اردوگاه پناهندگان مغازی
اردوگاه پناهندگان الوحدات
اردوگاه پناهندگان مارکا
اتوماتای سنگ‌ریزه

اتوماتای سنگ‌ریزه (به انگلیسی: pebble automaton)، یک درخت را به عنوان ورودی می‌گیرد و روی گره‌های درخت از طریق یال‌ها حرکت می‌کند. به علاوه، این اتوماتا یک مجموعه‌ی متناهی با اندازه‌ی ثابت از «سنگ‌ریزه‌ها» دارد که از 1 تا k شماره‌گذاری شده‌اند و می‌تواند آن‌ها را روی گره‌های درخت بگذارد. در یک گام اتوماتا می‌تواند روی گره فعلی بماند، به گره پدر برود، به گره فرزند چپ یا راست برود. همین‌طور می‌تواند سنگ‌ریزه‌ی iم را بردارد، یا سنگ‌ریزه‌ی i-1م را رو گره فعلی قرار دهد. این که در هر گام اتوماتا چه تصمیمی می‌گیرد، بستگی به حالت فعلی اتوماتا، مجموعه‌ی سنگ‌ریزه‌هایی که روی گره فعلی قرار دارد، برچسب گره فعلی، و نوع گره فعلی (ریشه، فرزند چپ یا راست، برگ یا گره داخلی) دارد.
تعریف دقیق
مجموعه‌ی {TYPE = {r, 0, 1 × {l, i، انواع ممکن برای یک گره را دربردارد. در این‌جا r برای ریشه، 0 فرزند برای فرزند چپ، 1 برای فرزند راست، l برای برگ، و i برای گره درونی در نظر گرفته شده است. مجموعه‌ی {MOVES = {, ←, →, ↑, lift, drop، انواع حرکت‌های ممکن را برای اتوماتا دربرمی‌گیرد. در این‌جا ↑ برای رفتن به گره پدر، ← برای رفتن به فرزند چپ، → برای رفتن به فرزند راست، drop برای گذاشتن سنگ‌ریزه، و lift برای برداشتن سنگ‌ریزه در نظر گرفته شده است. همین‌طور مجموعه‌ی توانی یک مجموعه مانند S را با (P(S نشان می‌دهیم.
یک اتوماتای سنگ‌ریزه که k سنگ‌ریزه دارد، یک چندتایی (A = (,Q, I, F,  است، که Q مجموعه‌ای متناهی از حالت‌هاست، I ⊆ Q مجموعه‌ی حالات اولیه، F ⊆ Q مجموعه‌ی حالات پایانی، و  رابطه‌ی گذر (به انگلیسی: transition relation) است.
( ⊆ (Q × TYPES × {1, . . . , k + 1 × P({1, · · · , k) × ) × (Q × MOVES
چندتایی q, , i, S, , q′,m) ∈ ) بیان می‌کند که اگر A در حالت q باشد، سنگ‌ریزه‌های i تا k در درخت باشند، مجموعه‌ی S سنگ‌ریزه‌های گره فعلی را دربرداشته باشد، گره از نوع  باشد و برچسب  داشته باشد، آن‌گاه A به حالت ′q می‌رود و باتوجه به m حرکت می‌کند.
انواع
اتوماتای سنگ‌ریزه بسته به نحوه‌ی برداشتن سنگ‌ریزه‌ها، در دو نوع بررسی می‌شود:
ضعیف: در اتوماتای سنگ‌ریزه‌ی ضعیف، سنگ‌ریزه‌ها را در صورتی می‌توان برداشت که روی گره فعلی باشند.
قوی: در اتوماتای سنگ‌ریزه‌ی قوی محدودیت گره فعلی وجود ندارد و سنگ‌ریزه‌ها را می‌توان از هر گرهی برداشت.
به صورت پیش‌فرض اتوماتا قوی در نظر گرفته می‌شود.
قطعیت و عدم قطعیت
یک اتوماتای سنگ‌ریزه قطعی است، اگر  یک تابع جزیی (به انگلیسی: partial function) از Q × types × {1, · · · , k + 1 × P({1, · · · , k) ×  به Q × moves باشد.
نمادگذاری
مجموعه‌ی زبان‌های تشخیص‌پذیر توسط اتوماتای سنگ‌ریزه‌ی قطعی قوی با n سنگ‌ریزه با sDPA n نشان داده می‌شود. همین طور مجموعه‌ی زبان‌های تشخیص‌پذیر توسط اتوماتای درخت‌پیما (به انگلیسی: tree walking automaton) با TWA و مجموعه‌ی زبان‌های تشخیص‌پذیر توسط اتوماتای پایین‌به‌بالا (به انگلیسی: bottom-up tree automaton) با REG نشان داده می‌شود.
ویژگی‌ها
برای هر :
و
و
تحت مکمل‌گیری بسته است.
یک نتیجه در منطق
اگر ، مجموعه‌ی ویژگی‌های قابل توصیف درخت در منطق مرتبه‌ی اول بستار تعدی (به انگلیسی: transitive closure first-order logic) باشد، و همان مجموعه در منطق بستار تعدی مثبت باشد، ثابت می‌شود که ، و در واقع . یعنی مجموعه‌ی زبان‌های تشخیص‌پذیر توسط اتوماتای سنگ‌ریزه با مجموعه‌ی زبان‌های قابل‌توصیف در منطق بستار تعدی مثبت برابر است.
اتوماتون بوچی

اتوماتون بوچی (زبان انگلیسی: Büchi automaton) را می‌توان به عنوان اتوماتونی در نظر گرفت که می‌توانند رشته‌های نامتناهی الفبا را بپذیرد. این اتوماتون اولین بار توسط ژولیوس ریچارد بوچی (Julius Richard Büchi) منطق‌دان سوئیسی در سال ۱۹۶۲ معرفی شد. اگر  را به عنوان مجموعه اعداد طبیعی و  رابه عنوان الفبا درنظر بگیریم یک کلمه نامتناهی (یا یک -کلمه) را می‌توان به عنوان یک تابع از  به  در نظر گرفت به این ترتیب مجموعه تمام کلمه‌های نامتناهی را با نشان می‌دهیم.Julius Richard Büchi
تعریف
یک اتوماتون بوچی قطعی ۵ تایی است که در ان:
Q مجموعه‌ای محدود از حالات است
مجموعه‌ای محدود از نمادها است که الفبای A یا الفبای ورودی خوانده می‌شود.
تابع انتقال است
عضوی از Q است و حالت ابتدایی نامیده می‌شود
مجموعه حالات قبول یا پایانی خوانده می‌شود.
فرض کنید یک اتوماتون بوچی متناهی باشد در این صورت یک تعمیم طبیعی از مفهوم اجرا (نسبت به اتوماتون قطعی متناهی) می‌تواند مطرح شود که به این صورت است که یک اجرا روی یک کلمه نامتناهی را به صورت دنباله تعریف می‌کنیم که از s شروع می‌کنیم و با به و سپس با به و… می‌رویم.
به عنوان مثال در این اتوماتون:
A non-deterministic Büchi automaton that recognizes (0∪۱)*0 
اگر در اینصورت یه اجرای A است.
در این صورت می‌گوییم ماشین A رشته  را قبول می‌کند اگر اجرایی وجود داشته باشد که در ان حداقل یکی از حالات قبول را به تعداد نامتناهی دیده باشیم.
در اتوماتون بوچی غیرقطعی بجای تابع انتقال، رابطه انتفال مطرح است و مانند NFA هر حالت تحت رابطه انتقال به مجموعه‌ای از حالات منجر میشودو بجای حالت آغازی مجموعه از حالات ابتدایی در نظر گرفته می‌شود. در حالت کلی وقتی کلمه اتوماتون بوچی را به تنهایی به کار می‌بریم منظورمان اتوماتون بوچی غیرقطعی است.
زبان‌های قابل تشخیص توسط اتوماتون بوچی
مجموعه تمام -کلمه‌های را که یک بوچی اتوماتون قبول می‌کند زبان ان بوچی اتوماتون می‌گویند. حالا یک زبان را بوچی تشخیص پذیر می‌گوییم اگر بوچی اتوماتون M ای پیدا شود که . یک زبان بوچی تشخیص پذیر است اگر و فقط اگر یک زبان امگای منظم باشد.
مثلا .
ویژگی‌های بستاری
فرض کنید A,B دو بوچی اتوماتون باشند و C یک اتوماتون متناهی باشد در این داریم:
اجتماع:بوچی اتوماتونی هست که را تشخیص می‌دهد
اشتراک:بوچی اتوماتونی هست که را تشخیص می‌دهد
اتصال:بوچی اتوماتونی هست که را تشخیص می‌دهد
-بستار:اگر کلمه تهی را نداشته باشد بوچی اتوماتونی هست که را تشخیص می‌دهد
مکمل:بوچی اتوماتونی هست که را تشخیص می‌دهد
انواع
اتوماتون Co-Büchi
اتوماتون بوچی ضعیف
اتوماتون بوچی نیمه قطعی
اتوماتون بوچی توسعه یافته
کاربرد
از بوچی اتوماتون معمولا در وارسی مدل به عنوان یه نسخه نظریه ماشینی از یک فرمول در منطق موقت خطی استفاده می‌شود.
وارسی مدل
زبان امگا
مترجم دوگانه
ماشین بوخی توسعه یافته
رده:درگذشتگان ۲۰۱۸ (میلادی)

درگذشتگان ۲۰۱۸ (میلادی)