تالار گفتمان مانشت

نسخه‌ی کامل: سوال:"تتابع انتقال باید توابع تام باشند" یعنی چه؟
شما در حال مشاهده‌ی نسخه‌ی متنی این صفحه می‌باشید. مشاهده‌ی نسخه‌ی کامل با قالب بندی مناسب.
سلام به دوستان

در کتاب لینز در قسمت تعریف زبان ها و پذیرنده های متناهی قطعی بعد از تعریف این جمله رو آورده:

"توابع & و *& باید توابع کلی باشند"

"Note that we require that &, and consequently &*, be total functions."

این توابع کلی یعنی چه؟توتال فانکشن یعنی چه؟

ممنون

پینوشت :منظور از & و *& همون [tex]\delta ,\delta ^{*}[/tex] هستش
به دو تا شکل سمت راست لینک زیر نگاه بندازید تا مفهوم تابع کلی رو به صورت شهودی متوجه بشید.

مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمی‌باشید. جهت مشاهده پیوندها ثبت نام کنید.
سلام

برداشت من درسته:؟

"تابعی کامل است که تمام اعضای مجموعه ابتدایی X را به یکی از اعضای مجموعه انتهایی Y ارتباط دهد"
(11 آبان 1391 03:14 ب.ظ)hp1361 نوشته شده توسط: [ -> ]سلام

برداشت من درسته:؟

"تابعی کامل است که تمام اعضای مجموعه ابتدایی X را به یکی از اعضای مجموعه انتهایی Y ارتباط دهد"
درسته
سلام

از دوستان کسی میدونی در چه مقطعی و چه کتابی ماها با موضوع توابع کلی و جزئی آشنا شدیم؟ می خوام بدونم چرا یه همچین موضوع بدیهی ای حالا برای من سوال شده(منظورم تعریف تابع جزئی و کلی بود)
لینک مرجع