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

مقاله: فرمالیسم ccg تعدادی از ترکیبات (کاربرد، ترکیب و نوع) را تعریف می‌کند. این‌ها روی آیتم‌های واژگانی نحوی، با دلایل سبک استنباط طبیعی عمل می‌کنند. هدف این اثبات، یافتن بعضی روش‌های کاربرد ترکیبات در دنباله آیتم‌های واژگانی است تا اینکه هیچ آیتم واژگانی ای بدون استفاده در اثبات باقی نمانده باشد. آیتم‌های حاصل آمده بعد از اینکه اثبات شد، نوع کل عبارت را دربرمی‌گیرند؛ بنابراین اثبات اینکه بعضی دنباله‌های کلمات، جملاتی از بعضی زبان‌ها هستند، مثل اثبات این است که کلمات در نوع s کاهش می‌یابند. انواع نحو یک آیتم واژگانی می‌تواند یا نوع اصلی و اولیه مثل s, n یا np یا پیچیده مثلs \ np یا np / n باشد. انواع پیچیده مثل x / y and x \ y، انواعی از توابع را نشان می‌دهد که آرگومانی از نوع y را گرفته و به شی‌ای از نوع x برمی‌گرداند. forward slash بیان می‌کند آرگومان باید در سمت راست ظاهر شود، در حالیکه back slash بیان می‌کند آرگومان باید در سمت چپ ظاهر شود. هر نوع می‌تواند با x و y بیان‌شده و انواع نحوی را در ccg در سیستم نوع بازگشتی ایجاد می‌کند. ترکیب کننده‌های کاربردی، اغلب با برای کاربرد عقبی بیان می‌شوند. تعریف کاربرد به شرح زیر است: ترکیب کننده‌های ترکیبی اغلب با b برای ترکیب کننده‌های ترکیبی عقبی بیان شده‌اند که مشابه ترکیب کننده تابع در ریاضی بوده و می‌توانند به شرح زیر تعریف شوند: ترکیب کننده‌های نوع- بالارونده، اغلب با t برای ترکیب کننده‌های نوع-بالارونده عقبی نشان داده شده‌اند، و انواع آرگومان (معمولا نوع اولیه) را برای انواع عمل کننده‌ها به کار می‌گیرند، که به عنوان آرگومان عمل کننده‌ها قبل از نوع ترکیبات عمل می‌کنند. جمله «سگ، جان را گاز گرفت» دارای اثبات‌های احتمالی مختلف است. چند مثال وجود دارد. تنوع اثبات، این حقیقت را نشان می‌دهد که در ccg، جملات ساختار واحدی همانند مدل‌های دیگر گرامری ندارند. فرض کنیم انواع آیتم‌های واژگانی به شرح زیر باشند: می‌توانیم ساده‌ترین اثبات به شرح زیر را انجام دهیم: با انتخاب بعضی انواع ترکیبات، می‌توانیم اثبات کاملا افزایشی را از چپ به راست بدست آوریم. توانایی ایجاد چنین اثباتی، استدلال مهارت روانشناسی زبان در ccgاست زیرا شنوندگان، تفسیر نسبی (معنایی و نحوی) گفتار را قبل از تکمیل شان بیان می‌کنند. ccg در توانایی ایجاد زبان anbncndn: n≥ ۰ شناخته …
خلاصه: گرامر گروه‌بندی ترکیبی یا ترکیب‌کننده (ccg)، فرمالیسم گرامری زبانشناسی به‌طور کارآمد قابل‌تجزیه و تحلیل است. دارای سطوح مشترک آشکار بین نحو سطح و نمایش معنایی اصلی از جمله ساختار predicate-argument، کمیت گذاری و ساختار اطلاعات است. فرمالیسم، ساختارهایی انتخابی را در تضاد با ساختار وابسته ایجاد می‌کند و بنابراین نوعی از دستور زبان ساخت عبارتی (در تضاد با دستور وابستگی) است. ccg وابسته به منطق‌های ترکیبی است که قدرت بیان یکسان همانند lambda calculus داشته اما طرز بیان متفاوتی را ایجاد می‌کند. استیدمن و سزابلوسکی، اولین بحث زبانشناسی و روان‌شناسی زبان را در پایه‌گذاری گرامر در ترکیبات زبان ارائه کردند. طرفداران بارز اخیر این روش، جاکوب سون و بالدریج هستند. 
موضوع:
گرامر گروه‌بندی ترکیب‌کننده