| ردیف |
عنوان مقاله اول |
عنوان مقاله دوم |
نام کاربری |
توضیحات
|
| ۱ |
کامپایلر-کامپایلر |
اتوماتای سلولی ساده |
کاربر:سید ایمان حسینی زوارکی |
|
| ۲ |
فریم‌ورک رز |
مترجم دوگانه |
کاربر:fredbelt |
نویسنده: علی زینالی
|
| ۳ |
تجزیه کننده ال آر |
سیستم پسا استاندارد |
کاربر:mohammadroghani43 |
نویسنده: محمد روغنی
|
| ۴ |
مسئله‌ی تناظر پست |
تخصیص ثبات |
کاربر:ahajiabadi |
نویسنده: علی حاجی‌آبادی
|
| ۵ |
کامپایلر تک گذری |
ماشین حالت یو.ام.ال |
کاربر: PouyanShirzadian |
|
| ۶ |
مسئله فانارگ |
نظریه مک‌ناتون |
کاربر: m73hadi |
نویسنده: محمد هادینژاد
|
| ۷ |
سیستم انواع |
فرایند ساده‌سازی مور |
کاربر: K. Najafiaghdam |
نویسنده: کوثر نجفی‌اقدم
|
| ۸ |
مبدل با حالت محدود |
تجزیه‌کننده کاهشی بازگشتی |
کاربر: F ghorbanpor |
|
| ۹ |
کد غیرقابل دسترسی |
ماشین صف |
کاربر:fa3z3 jam |
نویسنده: فائزه جمالیان
|
| ۱۰ |
ماشین امگا |
کد ریسه‌ای |
کاربر:Sepehrmousavi |
نویسنده: سپهر موسوی
|
| ۱۱ |
تجزیه کردن از پایین به بالا |
معانی مولد |
کاربر:Keshavarz hosein |
نویسنده: حسین کشاورز
|
| ۱۲ |
تصمیم‌پذیری(منطق) |
زبان توصیف کامپایلر |
کاربر:palipoor |
نویسنده: پگاه علیپور
|
| ۱۳ |
تجزیه‌کننده بازگشتی دنباله |
تووه (زبان برنامه‌نویسی) |
SerendiPity |
|
| ۱۴ |
پیوند دهنده‌ی پویا |
ماشین پست-تورینگ |
کاربر:Faryabimm |
نویسنده: محمّدمهدی فاریابی
|
| ۱۵ |
کامپایلر راه‌انداز |
زبان‌های پشته‌ای عیان |
کاربر:Shahabmousio |
نویسنده: سیّد شهاب الدّین موسوی
|
| ۱۶ |
اتوماتای سلولی زندگی-گونه |
جدول کنترل |
کاربر:HamedSh1375 |
نویسنده: حامد شیرزاد
|
| ۱۷ |
مورچهٔ لنگتون |
نمایش میانی |
کاربر:S Moeen |
نویسنده: معین نهضتی
|
| ۱۸ |
معادل‌های ماشین تورینگ |
کامپایل جلوتر از زمان |
کاربر:sepidsrj |
نویسنده: سپیده سراجیان
|
| ۱۹ |
ان ال |
گسترش در خط |
کاربر:MiladRazaviMohseni |
نویسنده: میلاد رضوی محسنی
|
| ۲۰ |
مسئله‌ی ارتفاع ستاره |
بهبود کامپایلر توسط موازی‌سازی در سطح حلقه |
کاربر:SaraMahdizadehShahri |
نویسنده: سارا مهدی‌زاده
|
| ۲۱ |
الگوریتم کلینی |
حذف عبارت‌های مشترک |
کاربر:Alirezanaeiji |
نویسنده: علیرضا ناییجی
|
| ۲۲ |
سرعت نور (اتوماتای سلولی) |
تابع ذاتی |
کاربر:Ali nemti |
نویسنده: علی نعمتی
|
| ۲۳ |
زبان امگا |
وابستگی داده |
کاربر:M.zareimatin |
نویسنده: محمد علی زارعی متین
|
| ۲۴ |
کاهش‌پذیری تورینگ |
ارزیابی کندرو |
کاربر:fmotiei |
نویسنده: فائزه مطیعی
|
| ۲۵ |
اتوماتای نخی |
حذف کد مرده |
کاربر:The CodeBreakeR |
نویسنده: سید علی طباطبایی
|
| ۲۶ |
درخت رونده اتوماتا |
برداری‌سازی خودکار |
کاربر:sahadian |
نویسنده: سامان هادیان
|
| ۲۷ |
منطق درخت محاسباتی |
منطق جدایی |
کاربر:alizma |
نویسنده: علیرضا امانی همدانی
|
| ۲۸ |
گرامر ماتریسی |
نساج شبکه‌های عصبی |
کاربر:realshahrooz |
نویسنده: حمیدرضا زارع
|
| ۲۹ |
ماشین الگوریتم حالت |
فرم باکوس نائور توسعه یافته |
کاربر:akhajooyee |
نویسنده: علیرضا خواجویی
|
| ۳۰ |
اتوماتون بوچی |
انتلر |
کاربر:birthofagreat |
نویسنده: میلاد جلالی
|
| ۳۱ |
قضیه‌ی پاریک |
تحلیل مستعار |
کاربر:NeginM |
نویسنده: نگین مجیدی
|
| ۳۲ |
اتوماتای سنگ‌ریزه |
موازی‌سازی خودکار |
کاربر:Ghazalebra |
نویسنده: غزل ابراهیمی
|
| ۳۳ |
منطق موقت خطی |
بررسی گونه |
کاربر:rmohsen96 |
نویسنده: محسن رحیمی
|
| ۳۴ |
الگوریتم مارکوف |
تجزیه‌کننده ال‌آر استاندارد |
کاربر:roohip |
نویسنده: روح‌الله پورسلیمانی
|
| ۳۵ |
اتوماتای ترکیبی |
هم‌ترازسازی داده‌ساختار |
کاربر:RojinR |
نویسنده: روژین رضوان
|
| ۳۶ |
تجزیه قطعی |
محدودیت های محاسبات |
کاربر:PedAbd |
نویسنده: پدرام عبدزاده ضیابری
|
| ۳۷ |
تجزیه‌کننده GLR |
رمزگذاری حالتی برای قدرت کم |
کاربر:jhkcia |
نویسنده: جلال حیدری
|
| ۳۸ |
برنامه ریزی اثرمحور |
توالی k منظم |
کاربر:Amin11388 |
نویسنده: محمدامین محمدجواهری
|
طراحی کامپایلرها، دکتر علی شریفی‌زارچی