در علم کامپیوتر نظری، زبان حساس به متن یک زبان صوری است که می تواند توسط یک گرامر حساس به متن (معادل با دستور زبان یکنواخت) تعریف شود. این دستور زبان یکی از چهار نوع دستور زبان در وراثت چامسکی می باشد .
اجتماع، اشتراک، الحاق دو زبان حساس به متن، حساس به متن است، بسط کلینی یک زبان حساس به متن، حساس به متن است.
مکمل یک زبان حساس به متن، حساس به متن است که در نتیجه به عنوان قضیهٔ Immerman–Szelepcsényi شناخته می شود.
هر زبان مستقل از متن که شامل رشتهٔ تهی نباشد، حساس به متن است.
عضویت یک رشته در یک زبان که توسط گرامر حساس به متن دلخواه تعریف می شود یا توسط گرامر حساس به متن قطعی دلخواه تعریف می شود، از مسائل PSPACE- کامل می باشند.
در محاسبات، یک زبان حساس به متن که معادل با ماشین تورینگ غیر قطعی کراندار خطی می باشد ، آتاماتای خطی کران دار نیز نامیده می شود.این ماشین تورینگ غیرقطعی، یک نوار با kn خانه دارد، در آن n تعداد ورودی ها و k ثابتی در ارتباط با ماشین می باشد .این بدین معنی است که هر زبان صوری که می تواند توسط این ماشین تعریف شود، یک زبان حساس به متن است، و هر زبان حساس به متن توسط این ماشین تعریف می شود.
این مجموعه از زبان ها نیز به عنوان NLINSPACE یا ((NSPACE(O(n شناخته شده اند، چرا که آن ها می توانند با استفاده از فضای خطی بر روی یک ماشین تورینگ غیرقطعی پذیرفته شوند.دستهٔ LINSPACE (یا ((DSPACE(O(n) به جز زمانی که از ماشین تورینگ قطعی استفاده می کنند، مانند هم تعریف می شود.واضح است که LINSPACE یک زیر مجموعه از NLINSPACE می باشد ، اما اینکه ایا LINSPACE=NLINSPACE باشد، مشخص نیست.
یکی از ساده ترین زبان های حساس به متن، اما نه مستقل از متن L = { a n b n c n : n ≥ 1 } {\displaystyle L=\{a^{n}b^{n}c^{n}:n\geq 1\}} : است.زبان تمام رشته های متشکل از n وقوع نماد "a" و سپس n تا "b" و سپس n تا "c" می باشد . (abc, aabbcc, aaabbbccc و ... ) یک مجموعهٔ بالایی ازین زبان، زبان باخ (Bach) نامیده می شود و به عنوان مجموعه ای از تمام رشته های توصیف شده است که در آن "b", "a" و "c" (و یا هر مجموعه ای دیگر با سه کاراکتر) اغلب به یه اندازه رخ می دهند.(aabccb, baabcaccs و ...) و همچنین حساس به متن هستند.
اجتماع، اشتراک، الحاق دو زبان حساس به متن، حساس به متن است، بسط کلینی یک زبان حساس به متن، حساس به متن است.
مکمل یک زبان حساس به متن، حساس به متن است که در نتیجه به عنوان قضیهٔ Immerman–Szelepcsényi شناخته می شود.
هر زبان مستقل از متن که شامل رشتهٔ تهی نباشد، حساس به متن است.
عضویت یک رشته در یک زبان که توسط گرامر حساس به متن دلخواه تعریف می شود یا توسط گرامر حساس به متن قطعی دلخواه تعریف می شود، از مسائل PSPACE- کامل می باشند.
در محاسبات، یک زبان حساس به متن که معادل با ماشین تورینگ غیر قطعی کراندار خطی می باشد ، آتاماتای خطی کران دار نیز نامیده می شود.این ماشین تورینگ غیرقطعی، یک نوار با kn خانه دارد، در آن n تعداد ورودی ها و k ثابتی در ارتباط با ماشین می باشد .این بدین معنی است که هر زبان صوری که می تواند توسط این ماشین تعریف شود، یک زبان حساس به متن است، و هر زبان حساس به متن توسط این ماشین تعریف می شود.
این مجموعه از زبان ها نیز به عنوان NLINSPACE یا ((NSPACE(O(n شناخته شده اند، چرا که آن ها می توانند با استفاده از فضای خطی بر روی یک ماشین تورینگ غیرقطعی پذیرفته شوند.دستهٔ LINSPACE (یا ((DSPACE(O(n) به جز زمانی که از ماشین تورینگ قطعی استفاده می کنند، مانند هم تعریف می شود.واضح است که LINSPACE یک زیر مجموعه از NLINSPACE می باشد ، اما اینکه ایا LINSPACE=NLINSPACE باشد، مشخص نیست.
یکی از ساده ترین زبان های حساس به متن، اما نه مستقل از متن L = { a n b n c n : n ≥ 1 } {\displaystyle L=\{a^{n}b^{n}c^{n}:n\geq 1\}} : است.زبان تمام رشته های متشکل از n وقوع نماد "a" و سپس n تا "b" و سپس n تا "c" می باشد . (abc, aabbcc, aaabbbccc و ... ) یک مجموعهٔ بالایی ازین زبان، زبان باخ (Bach) نامیده می شود و به عنوان مجموعه ای از تمام رشته های توصیف شده است که در آن "b", "a" و "c" (و یا هر مجموعه ای دیگر با سه کاراکتر) اغلب به یه اندازه رخ می دهند.(aabccb, baabcaccs و ...) و همچنین حساس به متن هستند.
wiki: زبان حساس به متن