payamvha/North_RAG huggingface dataset:
کلاهک گرداننده () گروهی از ماهیچه‌های شانه و زردپی‌های آن‌هاست که مفصل شانه را تثبیت نموده و بازو را در جهات مختلف می‌چرخانند. که به آن ها ماهیچه‌های گرداننده شانه هم گفته می‌شود. این عضلات از یک طرف به استخوان کتف متصل شده و از طرف دیگر توسط زردپی مشترکشان به کمی پایین‌تر از سر استخوان بازو متصل می‌شوند. این عضلات مانند یک چادر یا یک سرپوش دورتادور سر استخوان بازو را احاطه می‌کنند. انقباض این عضلات موجب می‌شود سر استخوان بازو در گودی کاسه‌ای (حفره گلنوئید) فشرده شده و مفصل شانه محکم و پایدار شود. این عضلات
شده و مفصل شانه محکم و پایدار شود. این عضلات همچنین کمک می‌کنند تا بازو به بالا برود یا بچرخد. از مهم‌ترین وظایف ماهیچه‌های کلاهک گرداننده، ثابت نگه داشتن سر استخوان بازو در گودی کاسه‌ای استخوان کتف است. از میان ماهیچه‌های کلاهک گرداننده، ماهیچه بالاخاری (سوپرااسپیناتوس) نسبت به عضلات دیگر بیشتر آسیب می‌بیند. این ماهیچه به علت شرایط خاصی که از نظر موقعیت آناتومیکی دارد، فشارهای زیادی را متحمل شده و همچنین کاهش خون‌رسانی در ناحیه خاصی از آن، زمینه‌های پارگی بیشتری را فراهم می‌کند. عضله دیگری که ممکن است
بیشتری را فراهم می‌کند. عضله دیگری که ممکن است دچار پارگی و اختلال عملکرد گردد، ماهیچه دوسر بازویی است. به طور کلی پارگی ماهیچه‌های کلاهک گرداننده و دوسر بازویی، به دو صورت ناقص یا کامل است. اگر پارگی کامل باشد، بیمار قادر به انجام یک حرکت خاص نیست. در پارگی ناقص علاوه بر اختلال در دامنه حرکات شانه، بیماران از درد شانه نیز شکایت دارند.
دنی جان-جولز (زاده ۱۶ سپتامبر ۱۹۶۰) بازیگر ، خواننده ، رقصنده انگلیسی است. از فیلم‌های معروف او می‌توان به بازی در فیلم "تیغه ۲"، "مرگ در بهشت" و "افسانه‌های واهی" اشاره کرد.
یان ساموئل (؛ زادهٔ ) کارگردان و فیلم‌نامه‌نویس اهل فرانسه است. از آثارِ او می‌توان به دختر پرروی من (۲۰۰۸) اشاره کرد.
ماهیچه بالاخاری () یکی از ماهیچه‌های گرداننده شانه است که خاستگاه آن از استخوان کتف شروع شده و از طرف دیگر توسط تاندون مشترکشان به کمی پایین‌تر از سر استخوان بازو متصل می‌شود. به ماهیچه بالاخاری، عضله فوق خاری و عضله سوپرا اسپیناتوس هم گفته‌اند. ماهیچه بالاخاری از دو سوم داخلی حفره سوپرا اسپیناتوس استخوان کتف (اسکاپولا) و فاسیای عمقی پوشاننده عضله مبدأ می‌گیرد. وتر سوپرا اسپیناتوس از زیر اکرومیون می‌گذرد و در حالی که به وسیلهٔ بورس ساب اکرومیال از استخوان جدا شده‌است از بالای مفصل گلنو هومرال عبور می‌کند و
شده‌است از بالای مفصل گلنو هومرال عبور می‌کند و به رویه فوقانی تکمه بزرگ استخوان بازو و کپسول مفصل شانه می‌چسبد. عصب دهی عضله توسط عصب سوپرا اسکاپولار انجام می‌شود. این عضله شروع دور کردن بازو در مفصل گلنو هومرال و ثابت نگه داشتن سر هومروس در حفره گلنوئید در طی حرکات مفصل را به عهده دارد. کالبدشناسی. خاستگاه ← گودی بالا-خاری استخوان شانه، دوسوم داخلی حفره سوپرااسپیناتوس پیوندگاه ← تکمه (توبرکول) بزرگ استخوان بازو الیاف گوشتی عضله از زیر آکرومیون می‌گذرد و تبدیل به وتر می‌شوند و از روی مفصل شانه می‌گذرند و
به وتر می‌شوند و از روی مفصل شانه می‌گذرند و به بالاترین رویه (facet) سه‌گانه تکمه بزرگ بازو (گریت توبرکول) اتصال می‌یابد. خون رسانی ← شریان سوپرااسکاپولار عصب‌گیری ← از عصب بالای کتفی (سوپرااسکاپولر) ر ← C5,C6 کار ← دور کردن بازو، شروع ابداکشن بازو (ادامه حرکت با عضله دلتوئید است) جستارهای وابسته. عضلات گرداننده شانه
ماهیچه زیرخاری یا عضله تحت خاری یا عضله اینفرااسپیناتوس () یکی از ماهیچه‌های گرداننده شانه است که از استخوان کتف مبدأ آن شروع شده و از طرف دیگر توسط تاندون مشترکشان به کمی پایین‌تر از سر استخوان بازو متصل می‌شود. ماهیچه زیرخاری از دو سوم داخلی حفره اینفرا اسپیناتوس استخوان کتف (اسکاپولا) و فاسیای عمقی پوشاننده عضله مبدأ می‌گیرد. وتر عضله اینفرا اسپیناتوس از عقب مفصل گلنو هومرال عبور کرده و به رویه میانی سطح خلفی تکمه بزرگ استخوان بازو می‌چسبد. عصب سوپرا به عضله عصب‌دهی می‌کند. این عضله کلاهک گرداننده
به عضله عصب‌دهی می‌کند. این عضله کلاهک گرداننده (روتاتور کاف)، چرخش خارجی بازو در مفصل گلنو هومرال را به عهده دارد. کالبدشناسی. ماهیچه زیرخاری در بخش خلفی استخوان کتف و در قسمت سطحی قرار داشته و قابل لمس می‌باشد. به‌استثناء بخش کمی از آن که در زیر ماهیچه دلتوئید و ذوزنقه قرار می‌گیرد. این عضله در مجاورت نزدیک ماهیچه گرد کوچک قرار دارد. ماهیچه زیرخاری ماهیچه‌ای سه‌گوش است که از حفره تحت خاری استخوان کتف شروع می‌شود. حدود ۲/۳ بخش میانی حفره تحت خاری محل چسبندگی این عضله روی کتف است. تارها به طرف خارج کشیده
این عضله روی کتف است. تارها به طرف خارج کشیده شده و پس از گذشتن از سطح خلفی مفصل شانه به قسمت خلفی – فوقانی برجستگی استخوان بازو متصل می‌شوند. جستارهای وابسته. عضلات گرداننده شانه
ماهیچهٔ گِرد کوچک () ماهیچه‌ای باریک است که از لبه خارجی استخوان کتف شروع شده، به طرف خارج و بالا سیر کرده و پس از گذشتن از سطح خلفی تحتانی کپسول مفصلی شانه روی سطح خلفی برجستگی بزرگ استخوان بازو، زیر محل چسبندگی ماهیچه زیرخاری (اینفرااسپیناتوس) به این استخوان متصل می‌شود. ماهیچه گرد کوچک بخشی از کلاهک گرداننده (روتاتور کاف) شانه است که خاستگاه آن از استخوان کتف است و از طرف دیگر توسط زردپی مشترکشان به کمی پایین‌تر از سر استخوان بازو متصل می‌شود. ماهیچه گرد کوچک در مجاورت ماهیچه زیرخاری قرار دارد و
گرد کوچک در مجاورت ماهیچه زیرخاری قرار دارد و عملکردشان یکسان است و در کنار هم مطالعه می‌شوند. ماهیچه گرد کوچک در بخش خلفی کتف قابل لمس است. حرکات این عضله چرخش خارجی، اکستنشن افقی است البته در ابداکشن و فلکشن هم دخالت دارد. این عضله زمانی می‌تواند به‌طور مؤثر چرخش خارجی انجام دهد که عضله متوازی الاضلاع کتف را محکم استوار کرده باشد.
ماهیچه زیرکتفی () یکی از ماهیچه‌های گرداننده شانه است که از استخوان کتف مبدأ آن شروع شده و از طرف دیگر توسط تاندون مشترکشان به کمی پایین‌تر از سر استخوان بازو متصل می‌شود. ماهیچه زیرکتفی ماهیچه‌ای بزرگ و سه‌گوش است که از سطح وسیعی از حفره تحت کتفی (سطح قدامی کتف) شروع می‌شود. تارها جمع شده و تشکیل یک تاندون را می‌دهند. زردپی (تاندون) ماهیچه به طرف خارج کشیده می‌شود و پس از گذشتن از سطح قدامی مفصل شانه روی برجستگی کوچک استخوان بازو متصل می‌گردد. تاندون عضله تحت کتفی بسیار پهن است. خاستگاه عضله از تمام حفره
تحت کتفی بسیار پهن است. خاستگاه عضله از تمام حفره زیرکتفی شروع شده و انتهایش برجستگی کوچک استخوان بازو است. عصب‌گیری آن عصب زیرکتفی C5-C6 است. کارکرد: چرخش داخلی استخوان بازو، این عضله با کمک دو ماهیچه زیرخاری و گرد کوچک به عضلهٔ دالی در حرکت‌های ابداکشن و فلکشن کمک می‌کند. جستارهای وابسته. ماهیچه‌های گرداننده شانه
ماهیچه لوزی بزرگ () یکی از عضلات لایه سطحی ماهیچه‌های بیرونی پشت و از ماهیچه‌های بالابرنده کتف (اِلِواتور اسکاپولا) است. خاستگاه ماهیچه لوزی بزرگ از زائده‌های خاری و رباط بالاخاری (سوپرااسپینوس) مهره‌های تی۲ تا تی۵ است. رشته‌های آن‌ها به بیرون و پایین سیر کرده و به کنار داخلی کتف، پایین‌تر از خار کتف، می‌چسبد. عصب‌رسانی آن از پشت کتف (دورسال اسکاپولا) سی۵ است که وارد سطح عمقی یکی از دو عضله می‌شود. کارکرد. ماهیچه لوزی بزرگ بازوی بالارفته را با نیروی شدیدی پایین می‌کشد یعنی گودی کاسه‌ای (گلنوئید) متوجه پایین
می‌کشد یعنی گودی کاسه‌ای (گلنوئید) متوجه پایین می‌شود، ماهیچه لوزی بزرگ، ماهیچه پیونددهندهٔ ستون فقرات به گردن و بالابرنده استخوان شانه است و به اداکشن بازو کمک می‌کند. این ماهیچه‌ها در افراد هیزم‌شکن حائز اهمیت است.
بحران () فیلمی در ژانر درام به کارگردانی اینگمار برگمان است که در سال ۱۹۴۶ منتشر شد. این فیلم در سایت imdb توانسته نمره‌ی ۶/۴ را کسب کند.
کشتی برای هند () فیلمی در ژانر درام به کارگردانی اینگمار برگمان است که در سال ۱۹۴۷ منتشر شد. این فیلم در سایت imdb توانسته نمره‌ی ۶/۴ را کسب کند.
موسیقی در تاریکی () فیلمی در ژانر درام به کارگردانی اینگمار برگمان است که در سال ۱۹۴۸ منتشر شد. از بازیگران آن می‌توان به مای زترلینگ و گونار بیورنستراند اشاره کرد. این فیلم در سایت imdb توانسته نمره‌ی ۶/۴ را کسب کند.
بندر سر راه () فیلمی سوئدی در ژانر درام به نویسندگی و کارگردانی اینگمار برگمان است که در سال ۱۹۴۸ منتشر شد. این فیلم بسیار تأثیرگرفته از نئورئالیسم است. این فیلم در سایت imdb توانسته نمره‌ی ۶/۶ را کسب کند.
بی‌وفا فیلمی در ژانر درام عاشقانه محصول سوئد به کارگردانی لیو اولمان و به نویسندگی اینگمار برگمان است که در سال ۲۰۰۰ منتشر شد.
دل اندروز (؛ ۵ اکتبر ۱۸۹۴ – ۲۷ اکتبر ۱۹۴۲) یک کارگردان و فیلم‌نامه‌نویس اهل ایالات متحده آمریکا بود. وی نامزد جایزه اسکار بهترین فیلم‌نامه اقتباسی برای فیلم در جبهه غرب خبری نیست از روی کتابی به همین نام در سومین دوره این مراسم بوده است.
یک گل رز از فرانسه (به اسپانیایی Una rosa de Francia) یک فیلم ماجراجویی اسپانیایی، به کارگردانی مانوئل گوتیرز آراگون است. ژانر این فیلم عاشقانه، ماجراجویی، اکشن و تمایلات "جنسی" است. این فیلم در سال ۲۰۰۶ ساخته شد. داستان. در شهرستان از هاوانا در اواسط قرن بیستم، قبل از انقلاب، یک ملوان جوان کوبایی می‌خواهد برای بهبود زندگی خود به سفر با دوست دختر خود به ایالات متحده برود. منابع. https://es.wikipedia.org/wiki/Una_rosa_de_Francia
جولین جوزفسون (؛ – ) یک فیلم‌نامه‌نویس اهل ایالات متحده آمریکا بود. وی نامزد جایزه اسکار بهترین فیلم‌نامه اقتباسی برای فیلم دیزرائیلی در سومین دوره این مراسم بوده است.
به‌خاطر چند بوسه (به اسپانیایی Por un puñado de besos) ، (به انگلیسی For a Handful of Kisses) یک فیلم اسپانیایی به کارگردانی دیوید منکس و با بازی آنا د آرماس و مارتین ریواس است که در اسپانیا در تاریخ ۱۶ مه ۲۰۱۴ به نمایش در آمد. داستان. سول (آنا دِ آرماس) دختر جوانیست که تصمیم می‌گیرد با آگهی در روزنامه برای پیدا کردن دوست پسر و قرار گذاشتن برای شناخت همدیگر اقدام کند. از این راه با دنی (مارتینیو ریباس) آشنا می‌شود. روابط عاشقانهٔ آنها به نظر عالی‌ است ولی‌ آیا هردو عاشقند؟ جشنواره. این فیلم در بخش رسمی
آیا هردو عاشقند؟ جشنواره. این فیلم در بخش رسمی جشنواره مالگا در سال ۲۰۱۴ ظاهر شد. جوایز گویا. نامزد بهترین طراحی لباس کریستینا رودریگز
جان میئن (؛ – ) یک فیلم‌نامه‌نویس اهل کانادا بود. وی فیلم‌نامه‌نویس فیلم‌هایی همچون زن مطلقه، روح آزاد، شهرک پسرها و دره تصمیم بوده‌است.
جشنواره علامه حلی جشنواره‌ای است که به منظور تجلیل از محققان جوان حوزوی برگزار می‌شود. برگزیدگان این جشنواره ضمن دریافت لوح تقدیر جشنواره و جوایز دیگر، برای استفاده از تسهیلات پژوهشگران به معاونت‌های پژوهش حوزه‌های علمیه معرفی می‌شوند. از سال ۱۳۹۳، آثار ارسالی به این جشنواره به صورت استانی مورد بررسی قرار می‌گیرند. هم اکنون هنه استانها دارای جشنواره استانی می باشند. همچنین از دوره یازدهم جشنواره سراسری، جشنواره مدرسه ای علامه حلی راه اندازی شده است. براین اساس مدارس علمیه سراسر کشور می توانند این جشنواره را
مدارس علمیه سراسر کشور می توانند این جشنواره را راه برگزار نمایند. بنابراین جشنواره یادشده در سه مرحله مدرسه ای، استانی و کشوری برگزار می شود. فراخوان جشنواره سیزدهم به پایان رسیده است. پس از فراخوان، بررسی اولیه و ارزیابی اجمالی آثار شروع می شود و آثار واجد شرایط برای ارزیابی تفصیلی به ارزیابان ارائه می شود. آثاری که میانگین نمره دو ارزیاب به حداقل ۸۰ از ۱۰۰ رسیده باشد در کمیته های علمی و در صورت تایید در شواری علمی بررسی می شود. برگزیدگان اول تا سوم در مراسمی با حضور و سخرانی یکی از مراجع تقلید تجلیل می
با حضور و سخرانی یکی از مراجع تقلید تجلیل می شوند. در آیین پایانی دوازدهمین دوره جشنواره یاد شده به دلیل شیوع ویروس کرونا پیام آیت الله العظمی مظاهری از مراجع تقلید شیعه قرائت شده است. دکتر محمد صالح مازنی دبیر این جشنواره است که برای دوره سیزدهم نیز توسط شورای سیاستگذاری جشنواره ابقا شده است. وی دانش آموخته حوزه و دانشگاه است که از دوره دهم مسئولیت دبیر علمی جشنواره را برعهده دارد. محمد صالح مازنی مولف کتاب درآمدی بر نیازسنجی پژوهشی است. طلاب پایه اول تا افرادی که در سال اول دروس خارج هستند در رشته‌هایی
افرادی که در سال اول دروس خارج هستند در رشته‌هایی نظیر در تفسیر، علوم قرآن، کلام، اخلاق و تربیت، منطق و فلسفه، اصول فقه، علوم حدیث، رجال و تراجم، ادبیات فارسی و عربی و علوم انسانی مرتبط با حوزهٔ دین در این جشنواره شرکت می‌کنند. تاریخچه و اهداف. معاونت پژوهش مرکز مدیریت حوزه‌های علمیه، دبیرخانه جشنواره علامه حلی را در سال ۱۳۸۶ با اهداف: تقویت روحیه پژوهش در بین طلاب؛ زمینه‌سازی شناسایی نخبگان و حمایت از آنان؛ تقویت نگارش آثار علمی؛ افزایش رقابت طلاب در عرصه‌های علمی؛ زمینه‌سازی گرایش طلاب به مباحث تخصصی؛
علمی؛ زمینه‌سازی گرایش طلاب به مباحث تخصصی؛ جهت‌دهی فعالیت‌های پژوهشی طلبه ها به سمت نیازهای پژوهشی حوزه تأسیس نمود. شرط سنی شرکت در این جشنواره ۳۱ سال در سه قالب مقاله، کتاب و پایان‌نامه است. این جشنواره، در دوازده دوره از برگزاری خود تاکنون، آثار پژوهشی طلاب جوان برادر و خواهر سراسر کشور (طلاب کمتر از ۳۱ سال) را در قالب های مقاله، کتاب، تحقیق پایانی، تصحیح و ترجمه و پایان‌نامه سطح ۳ حوزوی یا کارشناسی ارشد داتشگاهی بررسی کرده و برگزیدگان، مورد تقدیر قرار گرفته‌اند. طبق اعلام مسئولان جشنواره، در سال ۱۳۹۹
گرفته‌اند. طبق اعلام مسئولان جشنواره، در سال ۱۳۹۹ بیش از ۱۵هزار اثر به دبیرخانهٔ این جشنواره ارسال شده است. دبیرخانه جشنواره علامه حلی (ره) استان اصفهان یکی از فعال ترین دبیرخانه های استانی است. زیرا جشنواره علامه حلی (ره) استان اصفهان بعد ازدو سال از تاسیس جشنواره علامه حلی (ره) کشوری در اصفهان تشکیل شد و امسال (1401) دوازدهمین دوره جشنواره علامه حلی (ره) استان اصفهان با دبیری حجت الاسلام والمسلمین رسول ملکیان اصفهانی درحال انجام است. 2000 اثر علمی به دبیرخانه دوازدهمین جشنواره علامه حلی (ره) دراستان
دبیرخانه دوازدهمین جشنواره علامه حلی (ره) دراستان اصفهان ارسال شده است. رسول ملکیان اصفهانی تاکنون پنج دوره دبیر جشنواره علامه حلی (ره) استان اصفهان بوده است و خود از اساتید و پژوهشگران قرآن می باشد.(*) نحوهٔ بررسی آثار. به گفتهٔ احمدفرخ فال، مدیر حوزهٔ علمیهٔ قم، جشنوارهٔ علامه‌حلی استان قم در سال ۱۳۹۳ در چهار سطح برگزار شده است: طلاب پایه‌های اول تا سوم، سوم تا ششم، هفتم تا نهم، و دهم و خارج. مقالات تألیفی، کتاب‌های تألیفی، تصحیحی و ترجمه و تحقیقات این جشنواره هر کدام شاخصه‌های جداگانه‌ای برای ارزیابی
جشنواره هر کدام شاخصه‌های جداگانه‌ای برای ارزیابی داشته‌اند.
جشنواره فیلم کن ۲۰۱۵، شصت و هشتمین دوره جشنواره فیلم کن است که از تاریخ ۱۳ می‌ تا ۲۴ می ۲۰۱۵ در شهر کن در جنوب فرانسه برگزار شد. جوئل و اتان کوئن به‌طور مشترک ریاست هیئت داوران این دوره از جشنواره را بر عهده داشتند. این برای اولین بار در تاریخ برگزاری جشنواره کن است که دو نفر همزمان مسئول هیئت داوران هستند. هم‌چنین برای نخستین بار در سی سال گذشته، با فیلم یک کارگردان زن جشنواره به‌طور رسمی آغاز به کار کرد. سربلند فیلم امانوئل برکو، کارگردان و بازیگر و فیلمنامه‌نویس فرانسوی افتتاحیه جشنواره بود. برای ادای
فرانسوی افتتاحیه جشنواره بود. برای ادای دین به اینگرید برگمن پوستر رسمی جشنواره با تصویری از او منتشر شد. در این دوره از جشنواره جایزه افتخاری نخل طلایی به آنیس واردا، کارگردان فرانسوی و از پیشگامان موج نو اهدا شد. این برای اولین بار بود که این جایزه به یک کارگردان زن اهدا می‌شد. هیئت داوران. بخش مسابقه. اسامی کامل هیئت داوران بخش مسابقه در تاریخ ۲۱ آوریل ۲۰۱۵ اعلام شد. مسابقه. فیلم‌های زیر برای بخش مسابقه انتخاب شده‌اند: بخش خارج از مسابقه. این فیلم‌ها جهت نمایش در بخش خارج از مسابقه انتخاب شدند:
جیمز کرایتون براون (؛ زادهٔ ۲۹ نوامبر ۱۸۴۰ – ۳۱ ژانویهٔ ۱۹۳۸) عصب‌پژوه و روان‌پزشک اهل بریتانیا بود. او بیشتر به دلیل مطالعاتش دربارهٔ رابطهٔ بیماری‌های اعصاب و روان با آسیب‌های مغزی و اصلاح سیاست‌ها و تدابیر بهداشت عمومی در راستای افزایش بهداشت روانی، مشهور است. جیمز کرایتون براون پسر جمجمه‌خوانِ بریتانیایی، دکتر "ویلیام ای‌اف براون" بود. او به عکاسی علاقه‌مند بود و کتاب خاطرات خود را نیز منتشر کرده است. جیمز کرایتون براون از اعضای انجمن سلطنتی و دانش‌آموختهٔ آکادمی دم‌فریز بود. او در سال ۱۸۷۹ میلادی کتاب
آکادمی دم‌فریز بود. او در سال ۱۸۷۹ میلادی کتاب "عملکرد مغز و دیوانگی" را منتشر کرد. این کتاب کلیدی در مبحث آسیب‌شناسی عصبی و دیوانگی در تاریخ روان‌پزشکی است.
در ریاضیات، منطق و علم کامپیوتر، یک زبان رسمی (که مجموعه‌ای از یک سری نماد محدود برگرفته شده از یک الفبای ثابت است) بازگشتی است، اگر زیر مجموعهٔ بازگشتی از مجموعهٔ تمام ترتیب‌های محدود ممکن از الفبای آن زبان باشد. به عبارت دیگر، یک زبان رسمی زمانی بازگشتی نامیده می‌شود که در آنجا یک ماشین تورینگ کلی وجود داشته باشد (ماشین تورینگی که برای هر ورودی ای توقف می‌کند) که هر زمان ترتیب محدودی از نمادها به عنوان ورودی داده شوند، آن را در صورتی قبول کند که به آن زبان مربوط باشد و در غیر اینصورت آن را رد کند.
آن زبان مربوط باشد و در غیر اینصورت آن را رد کند. زبان‌های بازگشتی همچنین به عنوان زبان‌های قابل تصمیم‌گیری شناخته می‌شوند. مفهوم تصمیم پذیری ممکن است به مدل‌های محاسباتی دیگری قابل گسترش باشد. به طور مثال ممکن است کسی در مورد زبان‌های تصمیم پذیر بر روی یک ماشین تورینگ غیر قطعی صحبت کند؛ بنابراین، زمانی که ابهام ممکن باشد، مفهوم معادلی که به جای قابل تصمیم‌گیری برای زبان بازگشتی به کار می‌رود زبان تورینگ تصمیم پذیر است. کلاس تمامی زبان‌های بازگشتی اغلب R نامیده می‌شود، اگرچه این نام برای کلاس RP نیز
R نامیده می‌شود، اگرچه این نام برای کلاس RP نیز استفاده می‌شود. این نوع از زبان در سلسله مراتب چامسکی (مربوط به چامسکی ۱۹۵۹) تعریف نشده است. همهٔ زبان‌های بازگشتی، به طور بازگشتی قابل شمارش نیز هستند. همهٔ زبان‌های منظم، مستقل از متن و حساس به متن نیز بازگشتی هستند. تعریف. دو تعریف اصلی معادل برای مفهوم زبان بازگشتی وجود دارد: بر اساس تعریف دوم، هرمسئله تصمیم، می‌تواند با ارائهٔ الگوریتمی برای آن که بر روی همهٔ ورودی‌ها خاتمه می‌یابد، به صورت تصمیم پذیر نشان داده شود. مسئلهٔ غیر تصمیم پذیر، مسئله‌ای است که
داده شود. مسئلهٔ غیر تصمیم پذیر، مسئله‌ای است که قابل تصمیم‌گیری نیست. مثال. همان‌طور که قبلاً گفته شد، هر زبان مستقل از متنی بازگشتی است؛ بنابراین، مثال ساده‌ای از یک زبان بازگشتی مجموعه ... ,L=abc, aabbcc, aaabbbccc است؛ به طور رسمی‌تر، مجموعهٔ formula_1 حساس به متن و در نتیجه بازگشتی است. تشریح مثال‌هایی از زبان‌های قابل تصمیم‌گیری که حساس به متن نباشند، سخت‌تر است. برای چنین مثالی، آشنایی اولیه با منطق ریاضی ضروری است: محاسبات پرسبرگر نظریه مرتبه اول اعداد طبیعی به همراه جمع (اما بدون ضرب) هستند.
اعداد طبیعی به همراه جمع (اما بدون ضرب) هستند. هنگامی که مجموعهٔ فرمول‌های خوش تعریف در محاسبات پرسبرگر formula_2 مستقل از متن است، هر ماشین تورینگ قطعی که مجموعه عبارات صحیح در محاسبات پرسبرگر را می‌پذیرد یک زمان اجرای بدترین حالت با حداقل مرتبه برای برخی از ثابت‌های c&gt;0 دارد(فیشر و رابین ۱۹۷۴). در اینجا n نشان دهندهٔ طول فرمول داده شده است. با توجه به این که هر زبان حساس به متنی می‌تواند توسط یک آتاماتون محدود خطی پذیرفته شود و چنین آتاماتون می‌تواند توسط یک ماشین تورینگ قطعی با زمان اجرای بدترین حالت
یک ماشین تورینگ قطعی با زمان اجرای بدترین حالت formula_3 برای برخی مقادیر ثابت C شبیه‌سازی گردد، مجموعه فرمول‌های معتبر در محاسبات پرسبرگر حساس به متن نیستند. در قسمت مثبت، معلوم است که یک ماشین تورینگ قطعی وجود دارد که در زمان اجرای توان سوم n اجرا می‌شود و تصمیم گیرندهٔ مجموعه فرمول‌های صحیح در محاسبه پرسبرگر است(آپن، ۱۹۷۸). بدین ترتیب، این مثالی از یک زبان تصمیم پذیر اما غیر حساس به متن بود. ویژگی‌های خاتمه. زبان‌های بازگشتی تحت عملیات زیر خاتمه می‌یابند. یعنی اگر L و P دو زبان بازگشتی باشند، آن گاه
یعنی اگر L و P دو زبان بازگشتی باشند، آن گاه زبان‌های زیر نیز بازگشتی هستند: آخرین ویژگی از این حقیقت پیروی می‌کند که اختلاف مجموعه می‌تواند به صورت اشتراک و مکمل نمایش داده شود.
گروه صنعتی بارز، واقع در [[استان کرمان]]، فعالیت تولیدی خود را از سال ۱۳۷۲ با تمرکز بر تولید انواع تایر، تیوپ و نوار برای وسایل نقلیهٔ سبک، سنگین و کشاورزی آغاز کرد. ظرفیت اولیهٔ این کارخانه، معادل ۲۵٬۰۰۰ حلقه در سال بود. بر اساس گزارش‌ها، این گروه با دستیابی به ظرفیت تولید سالانه حدود ۱۲۵٬۰۰۰ تن، به یکی از بزرگ‌ترین تولیدکنندگان [[تایر]] در کشور تبدیل شده است و سهم قابل‌توجهی از بازار تایر ایران را در اختیار دارد؛ از جمله حدود ۳۸ درصد از تایرهای رادیال سواری، ۲۴ درصد از تایرهای رادیال باری و ۵۰ درصد از
۲۴ درصد از تایرهای رادیال باری و ۵۰ درصد از تایرهای کشاورزی. در سال ۱۳۸۴، نخستین مرکز تحقیق و توسعه صنعت تایر توسط این گروه راه‌اندازی شد. انتقال فناوری از شرکت [[کونتیننتال آگ]] [[آلمان]] زمینه‌ساز تولید تایرهای رادیال باری-اتوبوسی در داخل کشور شد. این تایرها به‌دلیل بهره‌مندی از فناوری‌های نوین، به عنوان محصولات شاخص بازار داخلی شناخته می‌شوند. در ادامهٔ روند توسعه، کارخانهٔ دوم گروه صنعتی بارز در سال ۱۳۹۵ در [[استان کردستان]] آغاز به‌کار کرد. تمرکز این واحد بر تولید تایرهای رادیال سواری، به‌ویژه برای
واحد بر تولید تایرهای رادیال سواری، به‌ویژه برای خودروهای [[کراس‌اوور]] و شاسی‌بلند]] است. مطابق ساختار سهام‌داری شرکت، ۵۰٫۳ درصد از سهام آن در اختیار [[شرکت سرمایه‌گذاری تأمین اجتماعی]] و ۳۲ درصد متعلق به شرکت سرمایه‌گذاری توسعه ملی است. گزارش‌ها نشان می‌دهد که این گروه در سال ۱۴۰۲ موفق به تولید حدود ۱۲۵٬۰۰۰ تن لاستیک شده که بیش از ۹۸ درصد آن را تایر رادیال سیمی تشکیل می‌دهد. سایر محصولات شامل تولید تیوپ و فِلَپ نیز هستند. همچنین، گروه صنعتی بارز، در سال ۱۴۰۲ با تولید حدود ۱۲۲٬۴۰۰ تن تایر، بیشترین میزان
۱۴۰۲ با تولید حدود ۱۲۲٬۴۰۰ تن تایر، بیشترین میزان تولید را در میان کارخانه‌های تایرسازی کشور به خود اختصاص داده است. این مقدار معادل حدود ۴۷ درصد از کل تولید داخلی تایر در آن سال بوده است. تاریخچه. گروه صنعتی بارز در مسیر توسعه و بومی‌سازی دانش طراحی و تولید تایر در ایران، همکاری‌هایی با شرکت‌های بین‌المللی برقرار کرده است. در آغاز فعالیت، این شرکت با انعقاد قرارداد انتقال فناوری با شرکت بریجستون ژاپن، تولید تایرهای بایاس را آغاز کرد. در مراحل بعد، به‌منظور تولید تایرهای رادیال سواری، از فناوری شرکت TRI
تولید تایرهای رادیال سواری، از فناوری شرکت TRI روسیه و سپس شرکت مارانگونی ایتالیا بهره گرفت. جدیدترین همکاری این گروه، قرارداد ده‌ساله با شرکت کنتیننتال آلمان است که با هدف انتقال فناوری در حوزه طراحی و تولید تایرهای رادیال سواری و باری منعقد شده است. در حال حاضر، محصولات گروه صنعتی بارز بر اساس فناوری کنتیننتال طراحی و تولید می‌شوند. بر اساس گزارش‌ها، برخی از سایزهای تایرهای رادیال سواری و باری-اتوبوسی این شرکت موفّق به دریافت گواهی استاندارد E-MARK اتحادیه اروپا شده‌اند. در دومین جشنواره بین‌المللی
اروپا شده‌اند. در دومین جشنواره بین‌المللی انتخاب برترین نام و نشان‌های تجاری ایران، شرکت لاستیک بارز به‌عنوان یکی از صد برند برتر کشور معرفی شد. در زمینه آزمون و ارزیابی محصولات، گروه صنعتی بارز با ایجاد آزمایشگاه همکار اداره استاندارد ایران و احداث میدان تست تایر و خودرو در محل کارخانه کرمان، زیرساخت‌های ویژه‌ای را فراهم کرده است. این مرکز به‌عنوان یکی از معدود تأسیسات تخصصی تست تایر در سطح منطقه شناخته می‌شود و برخی خودروسازان داخلی از آن برای آزمایش و ارزیابی محصولات خود بهره می‌برند. شرکت‌های تابعه
ارزیابی محصولات خود بهره می‌برند. شرکت‌های تابعه بارز. گروه صنعتی بارز دارای چندین شرکت تابعه در حوزه‌های مختلف تولید، پشتیبانی، حمل‌ونقل و بازرگانی است. از جمله شرکت‌های زیرمجموعه این گروه می‌توان به موارد زیر اشاره کرد: این شرکت‌ها در کنار یکدیگر، زنجیره تأمین و تولید گروه صنعتی بارز را در بخش‌های مختلف صنعت لاستیک کشور تشکیل می‌دهند. کارخانه روکش تایر سیرجان. روکش مجدد تایر فرآیندی است که در آن لایه بیرونی ساییده‌شدهٔ تایر (موسوم به «تَرد») با یک لایه جدید جایگزین می‌شود. این فرایند عمدتاً برای تایرهای
جایگزین می‌شود. این فرایند عمدتاً برای تایرهای سنگین از جمله تایرهای باری، اتوبوسی و معدنی به‌کار می‌رود و بسته به سلامت ساختار داخلی تایر (منجید)، قابلیت انجام چندباره دارد. اجرای این فرایند منجر به کاهش مصرف مواد اولیه، کاهش هزینه‌های تولید و کاهش اثرات زیست‌محیطی ناشی از تولید تایرهای جدید می‌شود. در سطح جهانی، برخی شرکت‌های تولیدکننده تایر، محصولات خود را به‌گونه‌ای طراحی می‌کنند که قابلیت پیمایش طولانی‌تری داشته و چندین‌بار قابلیت روکش‌گذاری داشته باشند. با این حال، در ایران علی‌رغم مزایای اقتصادی و
با این حال، در ایران علی‌رغم مزایای اقتصادی و زیست‌محیطی، استفاده از این فناوری در مقایسه با بازیافت یا اسقاط تایرهای مستعمل، فراگیر نشده است. شرکت صنایع لاستیک سیرجان، از زیرمجموعه‌های گروه صنعتی بارز، از فعالان حوزه روکش تایر در ایران است. این شرکت فرایند روکش‌گذاری تایرهای باری، اتوبوسی، معدنی، سواری و وانتی را در صورت سلامت منجید انجام می‌دهد. طبق آمار ارائه‌شده، ظرفیت سالانه این شرکت حدود ۷۰ هزار حلقه تایر است که از این میان، حدود ۵۰ هزار حلقه مربوط به تایرهای کامیونی و ۲۰ هزار حلقه مربوط به تایرهای
تایرهای کامیونی و ۲۰ هزار حلقه مربوط به تایرهای سواری و وانتی است. برآوردها نشان می‌دهد که تولید یک حلقه تایر کامیونی مستلزم مصرف حدود ۸۰ لیتر نفت خام است؛ بنابراین، روکش مجدد تایر می‌تواند سهم بسزایی در صرفه‌جویی انرژی و کاهش آلاینده‌های زیست‌محیطی داشته باشد. از نظر اقتصادی، تایرهای روکش‌شده با روش گرم معمولاً معادل ۵۰ درصد و تایرهای روکش‌شده با روش سرد حدود ۶۰ درصد قیمت تایر نو را دارند و از این‌رو می‌توانند گزینه‌ای مقرون‌به‌صرفه برای ناوگان حمل‌ونقل محسوب شوند. لاستیک بارز کردستان. شرکت لاستیک بارز
محسوب شوند. لاستیک بارز کردستان. شرکت لاستیک بارز کردستان، یکی از واحدهای تولیدی گروه صنعتی بارز، در منطقه دشت دهگلان از استان کردستان احداث شده است. این واحد به‌عنوان بخشی از طرح توسعه گروه صنعتی بارز و با سرمایه‌گذاری بالغ بر ۲۵۰ میلیارد تومان راه‌اندازی شده است. فعالیت اصلی این کارخانه تولید تایرهای رادیال سواری، به‌ویژه برای خودروهای کراس‌اوور و شاسی‌بلند است. طبق گزارش‌ها، این کارخانه در سال ۱۴۰۲ حدود ۴۰ هزار تن لاستیک تولید کرده است و در سال ١٤٠٣ رشد ١٥ درصدی داشته است. این ظرفیت تولید، سهم قابل
رشد ١٥ درصدی داشته است. این ظرفیت تولید، سهم قابل توجهی در تأمین نیاز بازار داخلی تایرهای سواری و نیمه‌سنگین دارد.
گرامر درخت مجاورت (TAG) یک قاعده ی گرامری است که توسط آراویند جوشی(Aravind Joshi) تعریف شده‌است. گرامرهای درخت مجاورت تاحدی شبیه گرامرهای مستقل از متن هستند اما واحد مقدماتی بازنویسی در اینجا به جای نماد، درخت است. اگرچه گرامرهای مستقل از متن قواعدی برای بازنویسی نمادها به عنوان رشته‌ای از سایر نمادها دارند، گرامرهای درخت مجاورت نیز قواعدی برای بازنویسی نودهای درخت‌ها به عنوان سایر درخت‌ها دارند. (بخش درخت (نظریه گراف) و درخت (ساختار داده) را ببینید.) تاریخچه. TAG از مطالعات جوشی و دانشجویانش بر روی خانواده
TAG از مطالعات جوشی و دانشجویانش بر روی خانواده گرامرهای مجاورت (AG) و "گرامر رشته ای" توسط زلیگ هاریس به دست آمد. گرامرهای مجاورت ویژگی‌های درونی مرکزی (Endocentric) یک زبان را به شیوه ای طبیعی و مؤثر کنترل می‌کنند اما توصیف خوبی از ساختارهای بیرونی مرکزی (Exocentric) ندارد. صبحت اصلی بازنویسی گرامر یا دستور زبان ساختار عبارت (PSG) است. در سال 1969، جوشی یک خانواده از دستور زبان معرفی کرد که مورد استفاده ی این مکمل، با ترکیب این دو نوع از قوانین قرار می‌گیرد. چند قانون بازنویسی بسیار ساده برای تولید