فرمت میانی قابل سنتز
دانلود متن کاملرایگان، با حساب کاربری؛ ثبت نام با گوگل چند ثانیه است
چکیده
در این پروژه میائل مطرح برای طراحی یک فرمت میانی استاندارد که نیاز طراحان را برآورده سازد بررسی و سپس فرمت میانی chire معرفی می شود. همچنین به دلیل اهمیت و گسترش استفاده از xml در ارتباطات ، چگونگی استفاده از این امکان در chire توضیح داده خواهد شد و فرمت hdml که به این منظور به وجود آمده است ، معرفی می گردد. در قسمت پایانی این پروژه سعی شده است روشهای استخراج این فرمت از فرمت chire بررسی و الگوریتم های آن ارائه شود. این روشها بر مبنای تبدیل ساختارهای زبان به معادلات بولی به طور بازگشتی و از طریق تشخیص مسیرهای اجرای برنامه و شرط اجرای هر مسیر، استوار است .