کتاب های برچسب automata-lanuages-theory
تاریخ: ۱۵:۱۴:۵۸ ۱۳۹۲/۱۱/۱۱ جمعه
توسط: MotoMan
امتیاز: ۱۷
برچسب ها: Automata & Lanuages Theory |

در علوم نظری رایانه، نظریهٔ اتوماتا (به انگلیسی: Automata theory) یا نظریهٔ ماشین‌ها عبارت است از بررسی ریاضی ماشین‌های محاسبه‌گر انتزاعی و توانایی‌های آنها برای حل مسایل. به این ماشین‌های انتزاعی اتوماتا گفته می‌شود. این نظریه بسیار نزدیک به نظریه زبان‌های فرمال است. به طوری که اتوماتا اغلب توسط دستهٔ زبان‌های رسمی قابل تشخیص دسته بندی می‌شوند. اتوماتا نقش اساسی در طراحی کامپایلر و تجزیه کردن (parsing) ایفا می‌کند. زبان‌هایی که توسط این ماشین‌ها بررسی می‌شوند زبان‌های فرمال هستند.

این جزوه نظریه زبان‌ها و ماشین‌ها تدریس شده توسط استاد مهدی جبل عاملی در دانشگاه آزاد نجف آباد است که توسط یکی از دانشجویان ایشان گرد آوری شده است.

تعداد بازدید: ۲۷۶۷
دیدگاه ها: ۵
تاریخ: ۷:۵۸:۵۴ ۱۳۹۲/۷/۲۶ جمعه
توسط: MotoMan
امتیاز: ۷
برچسب ها: Automata & Lanuages Theory |

در ریاضیات، منطق و دانش رایانه، به زبانی که با فرمول‌های دقیق ریاضیاتی و قابل پردازش برای ماشین تعریف شداند، زبان‌های فُرمال یا زبان‌های صوری گفته می‌شود.به طور کلی در این رشته‌ها، زبان‌ها به دو دسته فرمال و طبیعی تقسیم بندی می‌شوند . زبان‌های فرمال زبان هایی هستند که توسط گرامرها تولید می‌شوند یا ماشینی برای ارزبابی آنها وجود دارد.

این جزوه دست نویس درس نظریه زبان‌ها و ماشین هاست که با کیفیت بسیار عالی اسکن شده است و کاملا خوانا می‌باشد. مدرس این درس نیز استاد دکتر کارگاهی در موسسه پارسه است.

تعداد بازدید: ۱۳۷۱
دیدگاه ها: ۰
تاریخ: ۹:۳۲:۲۴ ۱۳۹۲/۷/۲۵ پنج شنبه
توسط: MotoMan
امتیاز: ۳
برچسب ها: Automata & Lanuages Theory |

در طول بیست سال گذشته، ماشین‌های خودکار و زبان‌های قرار دادی به عنوان یک درس تئوری مقدماتی در برنامه‌ی درسی دانشجویان لیسانس و فارغ التحصیلان علوم کامپیوتر گنجانده شده است. مطالبی که در این درس تدریس می‌شود شامل نظریه ماشین‌های خودکار، زبان‌های قراردادی و مدل‌های محاسباتی می‌شود.  همچنین برای دوره‌های تکمیلی؛ نظریه محاسبات و نظریه پیچیدگی محاسبات پوشش داده شده است. با اینکه این مطالب در بیشتر زمینه‌های علوم کامپیوتر پایه ای هستند، در این درس به دانشجویان این فرصت داده می‌شود تا کار کردن با ابزارهای مختلف ریاضی برای اشیا انتزاعی غیر استاندارد را فرا بگیرند.

این کتاب با تاکید بر حل مسئله تالیف شده است. این روش معمولا به عنوان بهترین روش شناخته می‌شود؛ اگر چه تنها روش برای فراگیری موضوعات ریاضی در میان تجربه‌های زیاد حل مسئله نیست. با دست و پنجه نرم کردن با مسئله به صورت مستقیم، نه تنها تکنیک‌ها و ابزارهای لازم را برای حل مشکل فرا می‌گیرید؛ بلکه مفاهیم پشت زمینه مسئله را نیز بهتر درک خواهید کرد. نظریه محاسبات، ذاتا مفهومی انتزاعی دارد و رویکرد حل مسئله مفید به نظر می‌رسد.

تعداد بازدید: ۱۵۳۵
دیدگاه ها: ۱
loading...

لطفا منتظر بمانید...