در علوم کامپیوتر تفسیر انتزاعی یک تیوری تقریب صدا از معنای بزنامه های کامپیوتر بر مبنای توابع یکنواخت بر روی مجموعه های مرتب به ویژه شبکه ها می باشد که می تواند به صورت یک بخش اجرایی از یک برنامه کامپیوتری که اطلاعات معنایی ( مثل کنترل معلق یا داده معلق و . . ) را بدون انجام همه محاسبات جمع آوری می کند باشد.
هدف اصلی برنامه آنالیز استاتیک رسمی، یک نمایش خودکار اطلاعات از خروجی های احتمالی برنامه های کامپیوتری است. این تحلیل ها دو کاربرد اساسی دارند:
• در داخل کامپایلرها، برای تجزیه و تحلیل برنامه ها که تصمیم بگیرید آیا بعضی بهینه سازی ها یا تحولات مناسب هستند یا خیر.
• برای اشکال زدایی یا حتی تأیید مجوز برنامه ها در برابر اشکالات.
تفسیر انتزاعی توسط دو شریک علوم کامپیوتر فرانسوی، پاتریک کوسوت و رادیا کوسوت در اواخر دهه ۱۹۷۰ رسمیت یافت. [ ۱] [ ۲]
این بخش تفسیر انتزاعی را به وسیله رویدادهای دنیای واقعی بدون مثال های محاسباتی نمایش می دهد.
ا فراد را در یک اتاق کنفرانس در نظر بگیرید. یک شناسه منحصر به فرد برای هر شخص در اتاق، مانند شماره تأمین اجتماعی در ایالات متحده، در نظر بگیرید. برای اثبات عدم حضور یک نفر، کافیست شماره تأمین اجتماعی آنها در لیست نباشد. از آنجا که دو نفر مختلف نمی توانند یکسان باشند، می توان به سادگی با جستجوی شماره هر شرکت کننده، حضور یک شرکت کننده را اثبات یا رد کرد.
فرض کنید فقط نام شرکت کنندگان ثبت شده باشد اگر نام شخص در لیست نباشد، با اطمینان می توان گفت که آن شخص حضور نداشته. اما به دلیل احتمال مشابهت نام ها ( به عنوان مثال، دو نفر به نام جان اسمیت ) نمی توانیم بدون تحقیق بیشتر حضور افراد را نتیجه بگیریم. این اطلاعات نادقیق هنوز برای بیشتر هدف ها کافیست، جون مشابهت اسم احتمال کمی دارد. با این وجود تنها چیزی که می توانیم بگوییم این است که فرد احتمالاً این جا حضور داشته است. اگر شخصی که ما به دنبالش هستیم یک مجرم باشد، زنگ خطر را به صدا در می آوریم. اما با قاطعیت نمی توان زنگ خطر را. پدیده های مشابه در تجزیه و تحلیل برنامه ها اتفاق می افتد.
اگر ما فقط به برخی از اطلاعات خاص نیاز داشته باشیم، مثلاً در پرسش "آیا شخصی با سن n در اتاق وجود داشته است؟"، نگه داشتن لیستی از همه اسامی و تاریخ تولدها ضروری نیست. ما می توانیم بدون از دست دادن دقت، به نگه داشتن لیستی از سن شرکت کنندگان اکتفا کنیم. اگر این کار هم زیاد است، کافی است فقط سن جوانترین و پیرترین فرد را نگه داریم. اگر سؤال در مورد سنی است که به طور متوسط کمتر از m یا بالاتر از M است، بنابراین با اطمینان می توانیم پاسخ دهیم که هیچ شرکت کننده ای حضور نداشته است. در غیر این صورت، ما فقط می توانیم بگوییم که نمی دانیم.
این نوشته برگرفته از سایت ویکی پدیا می باشد، اگر نادرست یا توهین آمیز است، لطفا گزارش دهید: گزارش تخلفهدف اصلی برنامه آنالیز استاتیک رسمی، یک نمایش خودکار اطلاعات از خروجی های احتمالی برنامه های کامپیوتری است. این تحلیل ها دو کاربرد اساسی دارند:
• در داخل کامپایلرها، برای تجزیه و تحلیل برنامه ها که تصمیم بگیرید آیا بعضی بهینه سازی ها یا تحولات مناسب هستند یا خیر.
• برای اشکال زدایی یا حتی تأیید مجوز برنامه ها در برابر اشکالات.
تفسیر انتزاعی توسط دو شریک علوم کامپیوتر فرانسوی، پاتریک کوسوت و رادیا کوسوت در اواخر دهه ۱۹۷۰ رسمیت یافت. [ ۱] [ ۲]
این بخش تفسیر انتزاعی را به وسیله رویدادهای دنیای واقعی بدون مثال های محاسباتی نمایش می دهد.
ا فراد را در یک اتاق کنفرانس در نظر بگیرید. یک شناسه منحصر به فرد برای هر شخص در اتاق، مانند شماره تأمین اجتماعی در ایالات متحده، در نظر بگیرید. برای اثبات عدم حضور یک نفر، کافیست شماره تأمین اجتماعی آنها در لیست نباشد. از آنجا که دو نفر مختلف نمی توانند یکسان باشند، می توان به سادگی با جستجوی شماره هر شرکت کننده، حضور یک شرکت کننده را اثبات یا رد کرد.
فرض کنید فقط نام شرکت کنندگان ثبت شده باشد اگر نام شخص در لیست نباشد، با اطمینان می توان گفت که آن شخص حضور نداشته. اما به دلیل احتمال مشابهت نام ها ( به عنوان مثال، دو نفر به نام جان اسمیت ) نمی توانیم بدون تحقیق بیشتر حضور افراد را نتیجه بگیریم. این اطلاعات نادقیق هنوز برای بیشتر هدف ها کافیست، جون مشابهت اسم احتمال کمی دارد. با این وجود تنها چیزی که می توانیم بگوییم این است که فرد احتمالاً این جا حضور داشته است. اگر شخصی که ما به دنبالش هستیم یک مجرم باشد، زنگ خطر را به صدا در می آوریم. اما با قاطعیت نمی توان زنگ خطر را. پدیده های مشابه در تجزیه و تحلیل برنامه ها اتفاق می افتد.
اگر ما فقط به برخی از اطلاعات خاص نیاز داشته باشیم، مثلاً در پرسش "آیا شخصی با سن n در اتاق وجود داشته است؟"، نگه داشتن لیستی از همه اسامی و تاریخ تولدها ضروری نیست. ما می توانیم بدون از دست دادن دقت، به نگه داشتن لیستی از سن شرکت کنندگان اکتفا کنیم. اگر این کار هم زیاد است، کافی است فقط سن جوانترین و پیرترین فرد را نگه داریم. اگر سؤال در مورد سنی است که به طور متوسط کمتر از m یا بالاتر از M است، بنابراین با اطمینان می توانیم پاسخ دهیم که هیچ شرکت کننده ای حضور نداشته است. در غیر این صورت، ما فقط می توانیم بگوییم که نمی دانیم.
wiki: تفسیر انتزاعی