تبلیغات
علم ۳۰۰۰ - نظریه ماشینها

 لینكدونی ..

جهان ریاضی{شهریور۸۷}...-
یه سایت انگلیسی که مطالب زیادی درباره ریاضیات مثل توپولوژی جبر و... داره .

چت راحت {مرداد۸۶}...-
یه سایت که به راحتی و بدون نیاز به مسنجر می تونین توی اون چت کنین .

آموزش انگلیسی...-
این سایت تمام اصطلاحات موجود در تعدادی فیلم معروف را درآورده است .

لینک ریاضیات...-
یه سایت عالی امریکایی در تمام زمینه های ریاضی

sciencedirect...-
یه سایت علمی که می تونید مقاله های زیاد علمی مورد نظرتون رو توی اون بیابید .

لیگ نجومی...-
یه سایت خوب درباره نجوم

اطلاعات علمی و فنی...-
سایتی جالب و امریکایی .

انجمن ریاضی ایران...-

ناسا...-
سازمان فضانوردی آمریکا

ARCHIVE
 

 

 جستجو در بلاگ..

 

 عضویت در خبرنامه وبلاگ ..

 

Free counter and web stats

 آمار وبلاگ..

امروز .... 

دیروز ....

در كل ...



یکشنبه 17 شهریور 1387:نظریه ماشینها

 

در علوم کامپیوتر نظری، مطالعۀ ماشین های انتزاعی[۱] و مسائلی که این ماشین ها می توانند حل کنند، نظریۀ ماشین ها[۲] نامیده می شود. نظریۀ ماشین ها به نظریۀ رسمی زبان خیلی نزدیک است و از آنجایی که نظریۀ ماشین ها در ردۀ زبان های رسمی قرار می گیرد، دارای رسمیت می باشد.

یک ماشین خودکار[۳] یک مدل ریاضی برای یک ماشین وضعیت محدود[۴] است. ماشین وضعیت محدود، ماشینی است که یک ورودی از نشانه ها[۵] می گیرد و بر اساس یک تابع گذار[۶] در بین یک سری از وضعیت ها، پرش[۷] می کند.

ماشین خودکار، ورودی را نشانه به نشانه می خواند تا به انتهای آن برسد.(برای فهم بهتر این موضوع، نواری را در نظر بگیرید که یک کلمه روی آن نوشته شده و توسط هد خوان[۸] ماشین خوانده می شود. هد در بالای نوار به سمت جلو حرکت می کند و در هر لحظه یک حرف را می خواند.) وقتی که به انتهای ورودی برسد، ماشین خودکار متوقف می شود.

وابسته به وضعیتی که در آن ماشین خودکار قرار بگیرد، مشخص می شود که ماشین ورودی را باید بپذیرد یا رد کند. اگر در وضعیت قبول[۹] قرار گرفته باشد، کلمه را می پذیرد و اگر در وضعیت رد[۱۰] قرار گرفته باشد، کلمه پذیرفته نمی شود. مجموعۀ تمام کلماتی که توسط ماشین خودکار پذیرفته می شود، زبان پذیرفته شدۀ ماشین خودکار نامیده می شود.

توجه داشته باشید که عموما یک ماشین خودکار نیازمند تعداد متناهی از وضعیت ها و یا حتی تعداد قابل شمارش از وضعیت ها نمی باشد. به همین دلیل، برای مثال ماشین خودکار کوانتومی کراندار[۱۱]، وضعیت های غیر قابل شمارش دارد، زیرا هر نقطه در فضای تصویر مختلط[۱۲] متناظر با یک وضعیت ممکن برای ماشین می باشد و از آنجایی که تعداد نقطه ها در فضای تصویر مختلط غیر قابل شمارش است پس وضعیت های این ماشین نیز غیر قابل شمارش است. بنابراین ماشین های خودکار کوانتومی کراندار همانند ماشین های وضعیت محدود حالت های خاصی از یک نظریۀ کلی تر یعنی ماشین خودکار مکان نگر[۱۳] هستند. ماشین خودکار مکان نگر ماشینی است که مجموعه وضعیت های آن یک فضای مکان نگر[۱۴] است و وضعیت های تابع گذار آن، از مجموعۀ توابع ممکن بر روی آن فضای مکان نگر، گرفته می شود. ماشین خودکار مکان نگر اغلب ماشین خودکار-م[۱۵] نامیده می شود و یک ماشین نیمه خودکار[۱۶] تکمیل شده است با یک مجموعه از وضعیت های قبول که اشتراک مجموعه مشخص می کند که وضعیت ابتدائی، قبول بوده یا رد.

معمولا نیازی نیست که ماشین خودکار ورودی را صرفا قبول یا رد کند و ممکن است که آن را با یک احتمال در بازۀ 0 و 1 بپذیرد. می توان مجددا ماشین خودکار کوانتومی کراندار را مثال زد که ورودی را با درصدی از احتمالات می پذیرد. این نظریه نیز حالت خاصی از یک مفهوم جامع تر یعنی ماشین خودکار هندسی[۱۷] یا متریک است. ماشین خودکار متریک، ماشینی است که مجموعه وضعیت های آن یک فضای متریک است و زبانی که توسط آن پذیرفته شده، زبانی است که فاصلۀ بین نقاط داده شده و مجموعه حالت های پذیرفته شده، طبق معیار متریک، به اندازۀ کافی کوچک باشد.

نظریۀ ماشین ها نقش مهمی در طراحی مترجم[۱۸] و تجزیه کردن[۱۹] ایفا می کند.

 

مصطفی م +کامپیوتر , +

ویرایش در [یکشنبه 17 شهریور 1387] || [12:09 ق.ظ]

[01:09 ق.ظ] || [+]

پیغام ها

 

 

 


 مباحث ..

عمومی...5

زیست شناسی...1

ریاضی...6

فیزیک...15

کامپیوتر...5

عکس...8

نجوم...10

نانوتکنولوژی...3


 

 نویسندگان..

مصطفی م...53


 

 آرشیو ..

مرداد 1388...1

بهمن 1387...1

آبان 1387...1

مهر 1387...2

شهریور 1387...5

مرداد 1387...4

تیر 1387...4

آذر 1386...1

شهریور 1386...1

مرداد 1386...1

تیر 1386...3

خرداد 1386...1

آذر 1385...2

آبان 1385...1

بهمن 1384...4

آبان 1384...1

شهریور 1384...3

مرداد 1384...7

تیر 1384...6

فروردین 1384...5


 

 صفحات ..

 

 نوشته های پیشین..

مدیریت ساخت..-
استاتیک..-
داستان اعداد و تاریخچه شان..-
تابش الکترومغناطیس و جسم سیاه ..-
ستارگان-از تولد تا مرگ (کوتوله ها و غول هاو ...)..-
جک هیدرولیک-توضیحات وفرمولها..-
نظریه ماشینها..-
علم ۳۰۰۰..-
نظریه فازی انقلابی در علم و صنعت ـ توسط دکتر زاده..-
بیگ بنگ - انفجار بزرگ..-
حدس گلدباخ..-
نخستین ستارگان جهان..-
تعریف خلاقیت!..-
قضیه فرما..-
نستالژی!..-

Email
[yahoo]

.(C) Copyright

All Right Reserved

Alireza Asgari !!