Supercombinator set acquired from context-free grammar samples

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