دانلود پاورپوینت با موضوع نظریه زبان ها و ماشین ها،
در قالب ppt و در 47 اسلاید، قابل ویرایش.
بخشی از متن پاورپوینت:
ماشین حالت متناهی
ساده ترین مدل محاسباتی کامپیوترها، یک ماشین حالت متناهی (finite Automaton یا finite State Machine) است.
مناسب برای مدلسازی کامپیوترهایی با حافظه بسیار محدود
در سیستم های نهفته (Embedded Systems) استفاده چنین ماشین هایی بسیار رایج است.
زنجیره های مارکوفی (Markov Chains) همتای احتمالی ماشین های حالت متناهی هستند.
این مدل ها درمدلسازی پروتکل های شبکه های کامپيوتری، پردازش گفتار و OCR برای تشخیص الگوهای موجود در داده ها کاربرد دارند.
اثبات طرف دیگر
باید نشان دهیم که اگر یک زبان منظم باشد، می توان آن را با یک عبارت منظم نمایش داد.
ابتدا یک DFA را به GNFA متناظر آن تبدیل می کنیم.
سپس GNFA را به عبارت منظم تبدیل می نماییم.
GNFA یک ماشین غیرقطعی است که در آن گذارها به جای علائم الفبا می توانند عبارات منظم باشند.
ساده ترین مدل محاسباتی کامپیوترها، یک ماشین حالت متناهی (finite Automaton یا finite State Machine) است.
مناسب برای مدلسازی کامپیوترهایی با حافظه بسیار محدود
در سیستم های نهفته (Embedded Systems) استفاده چنین ماشین هایی بسیار رایج است.
زنجیره های مارکوفی (Markov Chains) همتای احتمالی ماشین های حالت متناهی هستند.
این مدل ها درمدلسازی پروتکل های شبکه های کامپيوتری، پردازش گفتار و OCR برای تشخیص الگوهای موجود در داده ها کاربرد دارند.
اثبات طرف دیگر
باید نشان دهیم که اگر یک زبان منظم باشد، می توان آن را با یک عبارت منظم نمایش داد.
ابتدا یک DFA را به GNFA متناظر آن تبدیل می کنیم.
سپس GNFA را به عبارت منظم تبدیل می نماییم.
GNFA یک ماشین غیرقطعی است که در آن گذارها به جای علائم الفبا می توانند عبارات منظم باشند.
