Payamvdn/NorthPersian_fa_wiki huggingface dataset:
آدام هان-برد (؛ زادهٔ ) هنرپیشه اهل ایالات متحده آمریکا است. وی از سال ۱۹۹۱ میلادی تاکنون مشغول فعالیت بوده است. از فیلم هایی که وی در آن نقش داشته است می توان به جومانجی، شیاطین، کوچک مردی به نام تیت، طوفان یخ اشاره کرد.
«یادم می ره کجا بودیم» آلبومی از هنرمند اهل بریتانیا بن هاوارد است که در سال ۲۰۱۴ میلادی منتشر شد.
در ریاضیات، یک زیرگروه همنهشتی ، یک زیرگروه گروه خطی عام است که با شرایط حسابی تعریف می شود. تعریف. فرض کنید formula_1 یک زیرگروه تعریف شده روی formula_2 و formula_3 یک عدد طبیعی باشد. آنگاه formula_4 یک زیرگروه تعریف می کند که آنرا زیرگروه همنهشتی می خوانیم. نگاشت formula_5 همان نگاشت تقلیل به پیمانه formula_3 است. زیرگروههای همنهشتی بنا بر تعریفشان، همواره گروههای فوکسی و هم چنین گروههای حسابی هستند. همچنین، برای formula_7 هر زیرگروه حسابی formula_8 یک زیرگروه همنهشتی را در بر دارد.
آکاسیا آریکالیفرمیس نام یک گونه از سرده آکاسیا است. این درخت به سرعت رشد می کند و ارتفاع آن به بیش از ۳۰ متر (۹۸ فوت) می رسد. آکاسیا بومی استرالیا، اندونزی، فیلیپین و پاپوآ گینه نو است.
درخت عنبر، مُشک، باور نام یک گونه از سرده آکاسیا است. درخت عنبر یکی از درختان کاشته شده در مناطق جنوبی ایران، (استان های خوزستان، هرمزگان، بلوچستان) می باشد.
آبجو ارزن که با اسامی چون "آبجو بانتو"، "مالوا"، "آبجو کفیر" و "پومبه" نیز شناخته می شود، یک نوع آبجو است که از مالت ارزن تهیه می گردد.
بازمانده از پیش تعیین شده () شخصی در خط جانشینی ریاست جمهوری ایالات متحده آمریکا، و به طور معمول یکی از اعضای کابینه ایالات متحده آمریکااست که در زمانی که رئیس جمهور و سایر مقامات عالی کشور در یک نقطه جمع شده اند (نظیر سخنرانی وضعیت کشور آمریکا و روز معارفه) در مکانی امن، دور و غیرافشا شده قرار می گیرد تا اگر احیاناً برای رئیس جمهور و سایرین اتفاقی افتاد، زمام امور را در دست بگیرد. او معمولاً در خارج از ساختمان کنگره، غالباً در کاخ سفید، مستقر می شود. هویت عضو کابینه انتخاب شده معمولاً تا زمان آغاز سخنرانی رئیس جمهور مخفی می ماند.
آکاسیای بیدی نام یک گونه از سرده آکاسیا است. درختی است بومی استرالیا که در سال های اخیر به بخشهای جنوبی ایران وارد شده و در استان های خوزستان، هرمزگان، بلوچستان کاشته شده است.
در نظریه بازی ها، بازی شکار گوزن بازی است که تضاد میان امنیت و همکاری اجتماعی را شرح می دهد. این نظریه باعنوان های بازی اطمینان ، بازی هماهنگی و دوراهی اعتماد نیز شناخته می شود. ژان-ژاک روسو این نظریه را این گونه مطرح می کند:
دیپلپتریس کبررانا نام یک گونه از رده دولپه ای ها است.
تستولئا گبننسیس نام یک گونه از رده دولپه ای ها است.
کراتوم (kratom) یا میتراگینا اسپکیوسا (به معنی «کلاه اسقفی زیبا») یک درخت همیشه سبز گرمسیری از تیره روناسیان (خانواده قهوه) و بومی آسیای جنوب شرقی است. این گیاه بومی تایلند، اندونزی، مالزی، میانمار و پاپوآ گینه نو است. این گیاه اولین بار به طور رسمی توسط پیتر ویلم کورت هالس، گیاه شناس هلندی دوره استعماری در سال ۱۸۳۹ توصیف شد. کراتوم خواص افیونی و محرک دارد و دست کم از سدهٔ نوزدهم در طب گیاهی کاربرد داشته است. از کراتوم در کشورهای مختلف به عنوان داروی ترک اعتیاد استفاده می شود؛ این دارو به شکل مکمل پودرشده سبز رنگ در دسترس است و بسیاری افراد در آسیای جنوبی از آن برای کاهش درد و افزایش انرژی استفاده می کنند. برخی از مصرف کنندگان کراتوم مدعی هستند مصرف این مکمل گیاهی باعث بهبود خلق و خو و کاستن اثرات منفی ترک اعتیاد در آن ها می شود اما بررسی های محققان نشان داد که مصرف خود این گیاه نیز اعتیادآور است. کارایی و ایمنی کراتوم به عنوان دارو نامشخص است و این گیاه به دلیل کیفیت پایین تحقیقات به عنوان یک داروی نسخه ای تأیید نشده است. در سال ۲۰۱۹، سازمان غذا و داروی ایالات متحده اعلام کرد که هیچ مدرکی مبنی بر ایمن یا مؤث
ر بودن کراتوم برای درمان بیماری ها وجود ندارد. برخی افراد آن را برای مدیریت درد مزمن، برای درمان علائم ترک مواد افیونی، یا برای اهداف تفریحی مصرف می کنند. اثرات معمولاً در عرض پنج تا ده دقیقه شروع می شود و دو تا پنج ساعت طول می کشد. مصرف کنندگان کراتوم در دوزهای مختلف اثرات آن را شامل افزایش هوشیاری، انرژی بدنی، پرحرفی، اجتماعی بودن، آرام بخشی، تغییرات خلق و خو و تسکین در توصیف کرده اند. عوارض جانبی شایع مصرف این گیاه عبارتند از کاهش اشتها، اختلال نعوظ، تهوع و یبوست. عوارض جانبی شدیدتر ممکن است شامل کاهش تنفس، تشنج، اعتیاد و روان پریشی باشد. از سال ۲۰۱۸، نگرانی های بین المللی در مورد تهدید احتمالی سلامت عمومی ناشی از استفاده از کراتوم وجود دارد. در برخی از حوزه های قضایی، فروش و واردات آن محدود شده است و چندین مقام بهداشت عمومی هشدارهایی را اعلام کرده اند. گیاه شناسی. کلاه اسقفی زیبا (میتراگینا اسپکیوسا) درختی همیشه سبز از تیره کلاه اسقفی است که می تواند تا ارتفاع ۲۵ متر رشد کند. تنه آن ممکن است تا قطر ۰٫۹ متر رشد کند. تنه به طور کلی صاف و پوست بیرونی آن صاف و خاکستری است. برگ ها سبز تیره و براق هستند و در صو
رت کاملاً باز می توانند به طول ۱۴ تا ۲۰ سانتی متر و عرض ۷ تا ۱۲ سانتی متر رشد کنند، این برگ ها بیضی شکل، و از نظر الگوی رشد مخالف، با ۱۲ تا ۱۷ جفت رگبرگ هستند. گل ها که به رنگ زرد تیره اند به صورت دسته های سه تایی در انتهای شاخه ها رشد می کنند. لوله کاسه گل ۲ میلی متر طول دارد و دارای پنج لَخته است. لوله جام گل ۲٫۵–۳ میلی متر طول دارد.
میگل بریتوس (؛ زادهٔ ) یک بازیکن فوتبال اهل اروگوئه است. از باشگاه هایی که در آن بازی کرده است می توان به ناپولی اشاره کرد.
کالیدو کولیبالی (؛ زادهٔ یک بازیکن فوتبال است که در پست مدافع میانی برای باشگاه فوتبال الهلال عربستان بازی می کند. کولیبالی در سال ۲۰۱۰ فوتبال خود را در تیم فرانسه ای متس آغاز کرد و سپس در سال ۲۰۱۲ به بلژیک رفت و به تیم خنک پیوست و در اولین سال با این تیم توانست قهرمان جام حذفی فوتبال بلژیک شود و در سال ۲۰۱۴ به باشگاه فوتبال ناپولی پیوست. با این تیم قهرمان کوپا ایتالیا و سوپر جام فوتبال ایتالیا شود. دین کولیبالی اسلام و به مذهب سنی اعتقاد دارد. سابقه ملی. از آنجایی که کولیبالی در فرانسه از پدر و مادری سنگالی به دنیا آمد، وی واجد شرایط حضور در هر دو کشور در سطح بین المللی بود و در ابتدا برای تیم ملی زیر ۲۰ سال فرانسه بازی کرد. او بعداً در سال ۲۰۱۵ اولین بازی خود را برای بزرگسالان با سنگال انجام داد و هم اکنون کاپیتان تیم ملی فوتبال سنگال است.
لیمونیا اسیدیسیما نام یک گونه از تیره سدابیان است. این میوه بومی کشور هندوستان و سیلان بوده و دارای پوست سخت می باشد. درخت آن تا ۹ متر ارتفاع دارد. آب این میوه دارای کالری بسیار بالا بوده و دارای خواص متعددی از جمله رفع دل درد کودکان ، افزایش فشار خون در کسانی که دچار افت فشار هستند و مقاوم سازی لثه و مؤثر در بند آوردن خونریزی لثه می باشد . برگ این درخت دارای خواص طبی فراوان می باشد.
ماشین های خودکار درختی یکی از انواع ماشین های حالت است که به جای رشته های بیشتر ماشین های قراردادی، با درخت تجزیه (ساختار درختی) سروکار دارد. مقاله پیش رو به دستورهای شاخه ای ماشین درختی می پردازد که به زبان های منظم درخت مربوط می شود. برای درک متفاوتی ماشین درختی می توانید ماشین های درختی متحرک را ببینید. همانند ماشین های کلاسیک، ماشین های درختی متناهی (FTA) نیز، می توانند جزء ماشین های قطعی باشند یا نباشند. بر اساس چگونگی پردازش ورودی های درخت توسط ماشین، ماشین های درخت متناهی به دو دسته تقسیم می شوند: الف) پایین به بالا و ب) بالا به پایین. این مسئله بسیار حائز اهمیت است علی رغم این که ماشین های غیرقطعی هر دو نوع در قدرت بیانی معادل هم هستند، ماشین های قطعی نوع پایین به بالا به طور جدی از قدرت کمتری نسبت به ماشین های قطعی نوع مقابل برخوردار هستند. زیرا ویژگی های درخت که با ماشین های قطعی پایین به بالا مشخص می شوند، فقط می توانند به ویژگی های مسیر وابسته باشند. (ماشین های پایین به بالای قطعی به قدرت ماشین های غیرقطعی می باشند) تعریف. الفبای رتبه بندی شده جفتی از الفبای معمولی F و تابع F→N است. هر حرف در F دا
منه خودش را دارد و می تواند یک جمله بسازد. جملات ساخته شده با نمادهای ثابت و یکتا می توانند به عنوان یک رشته در نظر گرفته شوند. دامنه های بیشتر می توانند منجر به ساخت درخت های بهتری می شوند. ماشین های درختی متناهی پایین به بالا روی F، یک چندتایی (Q, F, Qf, Δ) محسوب می شوند که در آن Q مجموعه حروفی است که برای بیان حالت به کار می روند؛ F الفبای رتبه بندی است و Qf ⊆ Q مجموعه ای از حالت های نهایی است و Δ مجموعه ای از قوانین حالت گذار برای توابع ((f(q1(x1)...,qn(xn))→q(f(x1...,xn می باشد. برای هر f عضو F، q_1 و q_iعضو Q و متغیرهای X_i که زیر درخت ها را تفکیک می کنند. اعضای مجموعه Δ قوانین بازنویسی از گره هایی که ریشه داده های آن حالات هستند تا گره هایی می باشد که ریشه های آن ها حالتشان است؛ بنابراین حالت یک گره از داده های آن ها مشخص می شود. برای n=۰، که یک ثابت برای f می باشد، تعریف قانون گذار بالا به این صورت خوانده می شود: (()f() → q(f و گاهی پرانتزهای خالی برای راحتی نوشته نمی شوند: (f → q(f. از آن جا که این قوانین گذار برای ثابت ها (برگ ها)، نیاز به حالت ندارند، هیچ اولیه ای برای تعریف واضح تر آن ها نیاز نیست
. یک ماشین خودکار درختی بر روی جمله پایه ای از F اجرا می شود که از برگ ها شروع شده و نسبت به حالت اجرا از Q در هر زیرجمله، به سمت بالا حرکت می کند. یک درخت زمانی پذیرفته می شود که ریشه های آن مرتبط با حالتی پذیرفته از Qf باشند. یک ماشین درختی متناهی بالابه پایین بر روی F نیز یک چندتایی (Q, F, Qi, Δ) محسوب می شود که با ماشین های پایین به بالا دو تفاوت دارد. اول این که، Qi ⊆ Q به عنوان مجموعه حالت های اولیه، به جای Qf می نشیند. دوم اینکه، قوانین گذار مربوط به آن بالعکس تعریف می شوند: ((q(f(x1... ,xn)) → f(q1(x1)... ,qn(xn، برای هر f عضو F و qi عضو Q و متغیرهای Xi که زیر درخت ها را تفکیک می کنند. اعضای مجموعه Δ قوانین بازنویسی از گره هایی که ریشه های آن حالت هستند تا گره هایی که ریشه داده های آن، حالت هستند. یک ماشین بالابه پایین از ریشه شروع می شود و در طول شاخه های درخت به نسبت حالت اجرا در هر زیر جمله به سمت پایین حرکت می کند و در این حالت زمانی یک درخت پذیرفته است که تمام شاخه های آن از این طریق بتوانند حرکت کنند. یک ماشین پایین به بالا، به نام ماشین قطعی (به اختصار DFTA) نامیده می شود اگر هیچ دو قانونی از Δ
سمت چپ یکسانی نداشته باشند و در غیر اینصورت غیر قطعی (به اختصار NDFTA) نامیده می شود. ماشین های درختی بالابه پایین غیرقطعی نسبت به ماشین های پایین به بالای غیرقطعی، قدرت بیانی یکسانی دارند؛ قوانین گذار به سادگی معکوس می شود و حالت های نهایی، تبدیل به اولین حالات می شوند. در مقایسه، ماشین های درختی بالابه پایین قطعی، نسبت به ماشین های پایین به بالای قطعی قدرت بیانی کمتری دارند به دلیل این که در ماشین های قطعی هیچ دو قانون گذاری سمت چپ یکسان ندارد. در ماشین های درختی قوانین گذار همان قوانین بازنویسی هستند و برای انواع ماشین های بالابه پایین، سمت چپ گره های اصلی خواهند بود. در نتیجه، ماشین های بالابه پایین قطعی فقط برای امتحان مشخصات درختی قابل اجرا هستند که تمام شاخه های آن درست باشد؛ چرا که انتخاب حالتی برای نوشتن شاخه های کودک بدون آگاهی از محتوای شاخه ها، در گره های اصلی تعیین می شود. مثال ها. بکارگیری رنگ ها برای تشخیص اعضای Q و F و استفاده از الفبای رتبه بندی{غلط، درست، صفر، مثبت(. .)} برای تشخیص یک ماشین پایین به بالا، مجموعه ای از تمام مقادیر متناهی عملگرهای منطقی بولی، می توانند با (Q, F, Qf, Δ) تعریف
شوند. با مقدار {Q={ Bool,BList }, Qf={ BList و Δ که شامل قوانین زیر می شود: false → Bool(false) (۱، true → Bool(true) (۲، nil → BList(nil) (۳، cons(Bool(x1),BList(x2)) → BList(cons(x1,x2)) (۴. False: غلط- True: درست - Nil: صفر-Cons: مثبت یک مثال از اجرای قابل قبول به صورت زیر است: (cons(false, cons(true, nil ⇒ cons(false, cons(true, BList(nil))) by (3 ⇒ cons(false, cons(Bool(true), BList(nil))) by (2 ⇒ cons(false, BList(cons(true, nil))) by (4 ⇒ cons(Bool(false), BList(cons(true, nil))) by (1 ⇒ BList(cons(false, cons(true, nil))) by (4, و مثالی از اجرای غیرقابل قبل: (cons(false, true ⇒ cons(false, Bool(true)) by (1 ⇒ cons(Bool(false), Bool(true)) by (2, مشخصات. شناسایی. برای یک ماشین پایین به بالا، جمله پایه t (که یک درخت است) قابل قبول است اگر کاهشی وجود داشته باشد که از t شروع شده و به (q(t جایی که حالت آخر است، ختم شود. برای یک ماشین از بالابه پایین، جمله پایه t قابل قبول است اگر کاهشی وجود داشته باشد که از (q(t شروع شده و به t جایی که حالت اولیه است، ختم شود. زبان درخت (L(A که به وسیله ماشین A شناخته می ش
ود، مجوعه ای از تمام جملات پایه ای است که A آن ها را می پذیرد؛ بنابراین مجموعه جملات پایه در صورتی شناخته می شوند که ماشین A آن ها را بشناسد؛ و یک همومورف خطی این توان شناخت را حفظ می کند. تکامل و کاهش. یک ماشین متناهی غیرقطعی زمانی کامل است که حداقل یک قانون گذار برای هر ترکیب احتمالی حالات وجود داشته باشد و حالت q دستیابی پذیر است اگر جمله پایه t که کاهش از t به (q(t منجر می شود، وجود داشته باشد و در نهایت یک ماشین خودکار غیرقطعی زمانی قابل پذیرش است که همه حالت های آن قابل دستیابی باشند. لم تزریق. هر جمله پایه t که به حدکافی بلند باشد، در زبان درخت قابل شناسایی L، می تواند به طور افقی به سه جزء تقسیم شود به طوری که هر تکرار دلخواهی در قسمت های میانی، سبب می شود جواب در همان جمله L بماند. برای زبان تمام مقادیر متناهی بولی از مثال های بالا، تمام جملات با محدودیت بلندی بیشتر از ۲ بودن، می توانند تزریق شوند. برای مثال: ((cons(false, cons(true,nil , (((cons(false,cons(false, cons(true,nil , ((((cons(false,cons(false,cons(false, cons(true,nil , ... قضیه Myhill-Nerode. تناسب روی زبان های درخت، یک نسبت هم ارز می ب
اشد برای مثال: u1 ≡ v1و... و un ≡ vn، بر رابطه هم ارز زیر دلالت می کند: (f(u1... ,un) ≡ f(v1... ,vn برای زبان درخت داده شده، این نسبت می تواند به صورت u ≡L v نشان داده شود اگر C[u] ∈ L ⇔ C[v] ∈ L برقرار باشد. این قضیه بیان می کند که:
گل ساعتی شقایق دریایی نام یک گونه از سرده گل ساعت است.
روبرتو کولومبو (؛ زادهٔ ) یک بازیکن فوتبال، و دروازه بان (فوتبال) اهل ایتالیا است. از باشگاه هایی که در آن بازی کرده است می توان به پادوا، باشگاه فوتبال تریستیانا، ناپولی، و آ.ث. میلان اشاره کرد.
بشقابی ، قاشقک، سپرک، کاسه دار، قصیده نام یک سرده از تیره نعناعیان است. این سرده در ایران ۲۰ گونه گیاه علفی چند ساله دارد.
سیمپلوکس لُود، لُوتر، لُتر نام یک سرده از رده دولپه ای ها است. برگها و پوست این درخت، منبع سرشار نمک آلومینیوم است از این رو در رنگرزی، جایگزین مناسبی است برای زاج سفید.
ساعت بیست و پنجم () فیلمی آمریکایی در سبک جنایی و درام به کارگردانی اسپایک لی، بازی ادوارد نورتون و فیلمنامه ای از دیوید بنیاف بر اساس کتابی به همین نام اثر خودش است که در سال ۲۰۰۲ منتشر شد. فیلم وقایعی را که در بیست و چهار ساعت پایانی آزادی مردی که برای معامله مواد مخدر به هفت سال زندان محکوم شده است، نشان می دهد. "ساعت بیست و پنجم" نقدهای مثبتی دریافت کرد و برخی منتقدان آن را یکی از بهترین فیلم های دهه نامیدند.
او از من متنفر است () فیلمی آمریکایی در سبک زندگی نامه ای و کمدی-درام به کارگردانی اسپایک لی است که در سال ۲۰۰۴ منتشر شد. خلاصه داستان. «جان هنری آرمسترانگ» پس از افشای روابط تجاری فاسد از کار خود اخراج می شود. او که ناامیدانه در جستجوی کاری برای گذراندن زندگی خود است به پیشنهاد دوست دختر خود عمل کرده و…
در علوم رایانه یک دستور زبان مبهم گرامر مستقل از متن است که در آن رشته ای وجود دارد که می تواند بیش از یک اشتقاق ازسمت چپ داشته باشد. در حالیکه یک دستور زبان غیر مبهم, یک دستورزبان مستقل از متن است که هر رشتهٔ معتبری در آن زبان تنها یک اشتقاق چپ داشته باشد. برای بیشتر زبانها می توان دو دستور زبان مبهم و غیر مبهم نوشت. اما برای بعضی زبانها تنها دستور زبان مبهم می توان نوشت. برای هر زبان غیر تهی می توان یک دستوز ربان مبهم به وسیله در نظر گرفتن دستور زبان بدون ابهام و معرفی قاعده های تکرار یا مترادف نوشت. (زبان تهی تنها زبانی است که دستوز ربان مبهم ندارد) به زبانی که تنها دستورزبان مبهم دارد زبان ذاتاً مبهم گویند و زبان مستقل از متن ذاتاً مبهم وجود دارد. گرامرهای مستقل از متن قطعی همیشه غیر مبهم اند؛ و یک زیرگروه مهمی از CFGهای بدون ابهام هستند. با این حال CFGهای بدون ابهام غیر قطعی نیز وجود دارد. مثال. ساده ترین مثال دستور زبان مبهم زیر برای زبان بی اهمیت است، که تنها متشکل از رشته خالی است: …به این معنی که رشتهٔ تهی ϵ را می توان با هرکدام از دو معادلهٔ تولید بالا به دست آورد و در نتیجه دارای دو اشتقاق چپ است.
دستور زبان دیگر برای زبان بی اهمیت به شکل زیر موجود است: …به این معنی که تولید می تواند خود رشته یا رشتهٔ تهی باشد؛ بنابراین رشته خالی مشتقات سمت چپ به طول ۱، ۲، ۳ و در واقع از هر طولی است، بسته به اینکه چند بار قاعدهٔ A → استفاده شده است. این زبان دارای دستورزبان غیر مبهم است که تنها شامل یک قاعدهٔ تولید :A → ε است. …به این معنی که تولید یکتا می تواند تنها یک رشتهٔ خالی تولید کند که تنها رشتهٔ موجود در زبان است. به عبارت دیگر به وسیلهٔ اضافه کردن موارد تکراری می توان برای زبان های غیر تهی دستورزبان مبهم ساخت. جمع و تفریق. گرامر مستقل از متن چون دو تا اشتقاق چپ برای رشتهٔ a + a + a وجود دارد. گرامر مثال بعدی نیز مبهم است چون دو نمودار درختی برای رشتهٔ a + a − a وجود دارد. زبانی که تولید می کند ذاتاً مبهم نیست. دستورزبان زیر دستورزبانی غیرمبهم برای آن است. شناخت دستور زبان های مبهم. به طور کلی نمی توانیم مستقیم بگوییم دستورزبانی مبهم است. راندمان تجزیهٔ دستور زبان مستقل از متن به وسیلهٔ ماشینی که آن را می پذیرد مشخص می شود. گرامرهای مستقل از متن قطعی به وسیلهٔ ماشین قطعی پشته ای پذیرفته می شوند؛ و می توانند در
زمان خطی تجزیه شوند. به عنوان مثال می توان تجزیه کنندهٔ LR این یک زیرمجموعه ای از گرامر مستقل از متن است که به وسیلهٔ ماشین پشته ای پذیرفته شده و می تواند در زمان چند جمله ای تجزیه شود. به عنوان مثال می توان الگوریتم سی وای کا را نام برد. دستورزبان مستقل از متن غیر مبهم می تواند غیر قطعی باشد به عنوان مثال زبان واروخوانه با طول زوج که روی الفبای ۰ و ۱تعریف شده است دستورزبان مستقل از متن نامبهمS → 0S0 | 1S1 | ε را دارد نام برد. . یک رشتهٔ دلخواه از این زبان بدون خواندن همهٔ حروف اول نمی تواند تجزیه شود. با این وجود نتیجهٔ از بین بردن ابهام دستور زبان ممکن است دستورزبان مستقل از متن باشد و همین باعث بالارفتن راندمان تجزیه اش شود. تولیدکننده های کامپایلر مانند [یک (کامپایلر)](YACC) شامل امکاناتی برای رفع بعضی از انواع ابهام هستند. زبان های ذاتاً مبهم. ذاتاً مبهم توسط قضیهٔ پاریخ Parikh's theore در سال ۱۹۶۱ توسط Rohit Parikh در یک گزارش تحقیقاتی MIT اثبات شده است. با وجود اینکه بعضی از زبان های مستقل از متن (مجموعه ای از رشته ها که می توانند توسط دستورزبان تولید شوند) دو دستورزبان مبهم و غیر مبهم دارند. زبان مست
قل از متنی وجود دارد که هیچ دستورزبان غیرمبهم مستقل از متنی نمی تواند داشته باشد. به عنوان مثال از این زبان می توان مجموعformula_1 و formula_2را نام برد. این مجموعه از آن جهت مستقل از متن است که از اجتماع دو زبان مستقل از متن تشکیل شده است. اما (Hopcroft &amp; Ullman (1979 ثابت کردند که راهی وجود ندارد که بتوان رشته های درون زیر مجموعهٔ formula_3 که اشتراک دو زبان است را غیر مبهم تجزیه کرد.
در نظریه اتوماتا، ماشین جایگشت یا ماشین pure-group یک ماشین تعیین پذیر حالات متناهی است. به طوری که هر نماد ورودی جایگشت مجموعه ای از حالت هاست. به عبارت دیگر DFA را ممکن است با چند تایی ("Q", Σ, δ, "q""0", "F") نمایش دهند که "Q" مجموعهٔ وضعیت های ماشین، Σ مجموعهٔ نمادهای ورودی، δ تابع انتقال که وضعیت "q" و نماد ورودی "x" را می گیرد و "q" را به وضعیت جدید ("δ("q","x انتقال می دهد. "q""0" وضعیت شروع ماشین است؛ و "F" مجموعهٔ وضعیت های پذیرفته شده (همچنین وضعیت پایانی) ماشین است. یک جایگشت اتوماتاست اگر و تنها اگر برای هر دو وضعیت مجزای و در "Q" و هر ورودی در Σ داشته باشیم: ("δ("qi","x") ≠ δ("qj","x یک زبان صوری را p-منظم گویند اگر به وسیلهٔ یک ماشین جایگشت پذیرفته شود. به طور مثال مجموعهٔ رشته های به طول زوج به فرم زبان p-منظم هستند:این مجموعه شاید به وسیلهٔ یک جایگشت اتوماتا با دو وضعیت که در هر انتقال هر وضعیت با وضعیت دیگر جایگزین می شود، پذیرفته شود. نرم افزار. زبان های pure-group اولین خانواده جالب توجه زبان های منظم بودند که مشکل ارتفاع ستاره برای آنها به اثبات رسیده بود تا محاسبه پذیر شوند. مشکل ریاضی دی
گری برای زبان های منظم "مشکل حروف جداکننده" است که برای اندازهٔ کوچکترین DFA که بین دو کلمه به طول حداکثر "n" به صورت پذیرفتن یک لغت و رد لغت دیگر تمایز ایجاد می کند، می پرسد. کران بالای شناخته شده در حالت کلی formula_1 است این مشکل بعداً مورد بررسی قرار گرفت و کران بالای شناخته شده به formula_2 تغییر یافت.
در قضیه زبان صوری قضیه مای هیل–نرود یک شرط لازم و کافی را برای منظم شدن زبان فراهم می کند. این قضیه به اسم جان مای هیل و آنیل نرود که آن را در دانشگاه شیکاگو ثابت نموده اند نام گذاری شده است. بیانیه ای از قضیه. زبان "L" و دو رشتهٔ "x" و "y" را در نظر بگیرید. رشتهٔ "z" را طوری تعریف می کنیم که دقیقاً یکی از رشته های "xz"یا "yz" عضو "L" باشد. یک رابطهٔ "RL" روی رشته ها به صورتی تعریف می کنیم که اگر داشته باشیم "x RL y" بتوان گفت هیچ رشتهٔ "z" ای طبق تعریف بالا وجود نخواهد داشت. نشان دادن اینکه "RL" یک رابطهٔ هم ارزی روی رشته ها است کار آسانی است؛ و این مجموعهٔ همهٔ رشته ها را به کلاس های هم ارزی تقسیم می کند. قضیهٔ Myhill–Nerode خاطرنشان می کند که زبان "L" منظم است اگر و تنها اگر "RL" تعداد متناهی کلاس هم ارزی داشته باشد و علاوه بر این تعداد وضعیت های کوچکترین DFA به رسمیت شناخته شدهٔ "L" برابر با تعداد کلاس های هم ارزی "RL" است. این دلالت دارد بر اینکه یک مینیم سازی دی اف ای با کمترین تعداد وضعیت وجود دارد. اثبات. رابطه همنهشتی را اینگونه تعریف می کنیم که اگر برای دو رشته آ و ب هیچ رشته ای مانند پ وجود نداشته
باشد که یک و تنها یکی از آپ و بپ توسط ماشین تأیید شوند این دو رشته با هم همنهشت هستند. به وضوح این رابطه هم ارزی است. اگر L یک زبان منظم باشد یک ماشین حالت متناهی برای آن وجود دارد. فرض کنید این ماشین در مجموع n حالت داشته باشد. حال تمام رشته های متناهی را با توجه به این که در این ماشین به کدام مرحله نتیجه می شوند به n دسته Si تقسیم می کنیم. در نتیجه اگر دو رشته x و y در یک دسته قرار بگیرند برای هر رشتهٔ دلخواه z، رشته های xz و yz نیز حتماً در دسته های یکسانی قرار خواهند گرفت و به تبع یا هردو قبول می شوند و یا رد. پس این دو رشته همنهشت خواهند بود. پس هر کدام از Siها به تمامی درون یکی از کلاس های هم ارزی همدیسی قرار می گیرند. پس با توجه به این که تعداد Siها متناهی است تعداد کلاس های هم ارزی هم متناهی خواهد بود و کوچک تر از n. برای سمت دیگر فرض کنید رابطه همنهشتی متناهی کلاس هم ارزی داشته باشد. در نتیجه می توانیم یک ماشین حالت متناهی بسازیم که برای هر کلاس هم ارزی یک حالت داشته باشد. حال حالت شروع را کلاس هم ارزی رشتهٔ خالی در نظر بگیرید. و بعد هر کدام از یال های خروجی از آن را به کلاس هم ارزی هر کدام از حروف ا
لفبا می بریم. نحوه تعریف رابطه مایهیل-نرود تضمین می کند که تابع گذار خوش تعریف باشد مستقل از این که برای رسیدن به هر کلاس هم ارزی از چه رشته ای استفاده کرده باشیم. هر کدام از حالات ماشین را نیز قبول کننده قرار می دهیم اگر آن کلاس هم ارزش شامل یک رشته ای از زبان L باشد. باز هم نحوهٔ تعریف رابطه تضمین می کند که هر کلاس هم ارزی یا به تمامی داخل زبان باشد یا نباشد. زیرا در غیر این صورت رشته تهی برای برخی از رشته های یک کلاس هم ارزی تبدیل به یک رشته جداکننده می شود. پس ثابت کردیم که وجود یک ماشین حالت متناهی متناهی بودن تعداد کلاس های هم ارزی را نتیجه می دهد و برعکس و با توجه به این که هر زبان منظم یک ماشین حالت متناهی دارد حکم قضیه ثابت می شود استفاده و پیامدها. قضیهٔ Myhill–Nerode ممکن است برای نشان دادن منظم بودن یک زبان استفاده شود. به این صورت که نشان می دهد تعداد کلاس های هم ارزی "RL" متناهی است. این ممکن است به وسیلهٔ تجزیه و تحلیل کامل صورت بگیرد که شروعش یک رشتهٔ تهی است. از پسوندهای متمایز برای پیدا کردن کلاس های هم ارزی اضافه استفاده می شود. تا جایی که دیگر چیزی پیدا نشود. به عنوان مثال زبانی که شامل شم
اره های دودویی است می تواند به طور منظم به ۳ گروه تقسیم شود. رشتهٔ خالی ۰۰(یا "۱۱") و "۰۱" و "۱۰" پسوندهای متمایز اند که به ۳ کلاس تقسیم می شوند.(مربوط به باقی مانده های ۰ و ۱ و ۲) در تقسیم به ۳ می باشد. اما بعد از این مرحله هیچ پسوند اضافه شدنی وجود ندارد. ماشین مینیمال زبان ما را که ۳ وضعیت مطابق با ۳ کلاس هم ارزی دارد می پذیرد. نتیجه مستقیم بعدی از این قضیه این است که اگر یک زبان یک مجموعهٔ نامتناهی از کلاس های هم ارزی را تعریف کند منظم نیست. این همان نتیجه ای است که اغلب استفاده می شود تا ثابت کند زبانی منظم نیست. منابع. Wikipedia contributors, "Myhill–Nerode theorem," Wikipedia, The Free Encyclopedia, http://en.wikipedia.org/w/index.php?title=Myhill–Nerode_theorem&amp;oldid=593865950 (accessed January 22, 2015).
۶۰مین مراسم گلدن گلوب برای ارج نهادن به بهترین فیلم و شوی تلویزیونی ۲۰۰۲ در ۱۹ ژانویه سال ۲۰۰۳ در لوس آنجلس کالیفرنیا برگزار می شود. برنده گوی زرین بهترین کارگردانی به مارتین اسکورسیزی برای فیلم "دار و دسته های نیویورکی" رسید. مریل استریپ در دو قسمت بهترین بازیگر نقش اول و مکمل زن کاندیدای دریافت گوی زرین شده بود که توانست برنده گلدن گلوب بهترین بازیگر مکمل زن شود. بهترین بازیگر نقش اول زن و مرد فیلم کمدی به فیلم "شیکاگو" رسید؛ و فیلم "اقتباس". نیز هر دو جایزه مکمل زن و مرد را بدست آورد.
روشن جوادف () سرهنگ نیروهای مسلح جمهوری آذربایجان که در ۱۹ اکتبر ۱۹۵۱ در لاچین جمهوری سوسیالیستی شوروی آذربایجان به دنیا آمد و در سال ۱۹۷۳ از دانشگاه علوم پزشکی آذربایجان فارغ التحصیل شد. او تا سال ۱۹۷۶ در بیمارستان وزارت کشور آذربایجان شوروی به عنوان یک پزشک کار می کرد و در سال ۱۹۷۶ وارد آکادمی نظامی «روستوف» و در سال ۱۹۸۰ فارغ التحصیل شد و در جنگ شوروی در افغانستان شرکت نمود. با اوج گیری بحران قره باغ وی «گروه آپون» را در سال ۱۹۸۷ پایه گذاری کرد که در ابتدا تنها از ۶۰ نفر تشکیل می شد اما به سرعت گسترش پیدا کرد و توانست چندین هزار نیروی مردمی را سازماندهی کند و به آموزش آنان بپردازد. «روشن جوادف» اعتقاد داشت که در صورت همراهی حاکمیت کشورش با گروه تحت فرماندهی خود، قادر به بازپس گیری قره باغ است، ولی حاکمیت جمهوری آذربایجان بنا به دلایلی از جمله ارتباط این گروه با ایران، حاضر به تداوم فعالیت آن ها نبود. آپون چندین عملیات موفقیت آمیز نظامی را طی جنگ قره باغ برعهده گرفت و در سال ۱۹۹۱ به عنوان قهرمان ملی از جوادف تقدیر به عمل آمد و در سال ۱۹۹۳ به معاونت وزارت کشور رسید. در همین دوران با حمایت ایران و از طریق خاک
ایران ۱۳۰۰ مجاهد افغان برای مبارزه در جنگ قره باغ وارد منطقه شدند. روشن جوادف بر این باور بود که در صورت آتش بس، قره باغ برای همیشه از کشور جدا خواهد شد اما حیدر علی اف برای تثبیت حاکمیت خود، به آتش بس نیاز مبرم داشت. این موضوع سبب اختلاف میان حاکمیت و گروه آپون به رهبری جوادف شد؛ بنابراین رئیس جمهوری آذربایجان در سال ۱۹۹۵ دستور داد، ارتش این کشور به مقرر رزمندگان داوطلب در باکو حمله کند. روشن جوادف در این درگیری زخمی شد، اما از انتقال وی به بیمارستان خودداری شد و وی در باکو درگذشت. «لاچین جوادف» ۲۰ ساله تنها پسر وی نیز در ۱۹ دسامبر ۲۰۰۳ در مسکو به طرز مرموزی کشته شد.