PDA

View Full Version : ابهام در پارسر CLR1



reza6384
دوشنبه 14 بهمن 1387, 20:49 عصر
سلام.
چند سوال راجع به کامپایلرها داشتم.

1- می خواستم بدونم آیا میشه یک گرامر مبهم CLR1 باشه؟ یه کم کشیدن جدولش سخت بود و فکر کردم اگر جواب این سوال مثبت باشه پس همه گرامرها رو میشه CLR1 دونست.

2- Type Checking در کدام مرحله از کامپایل صورت میگیره؟

3- خطاهای مربوط به دسترسی به عنصر خارج از اندیس آرایه و برچسب Goto به لیبلی که موجود نیست در چه زمانی کشف می شوند؟

manager
جمعه 18 بهمن 1387, 23:35 عصر
1- نه. بسیاری از گرامر ها LR1 نیستند.
2- قبل از تولید کد میانی.
3- تو همون قسمت کتابی که داشتید می خوندید نوشته، مربوط به Type Checking هست. البته در برخی موارد که امکان ایجاد آرایه های پویا در زبان وجود داشته باشه در زمان اجرا و به صورت داینامیک کشف می شه.