در علوم نظری رایانه، نظریهٔ اتوماتا (به انگلیسی: Automata theory) یا نظریهٔ ماشینها عبارت است از بررسی ریاضی ماشینهای محاسبهگر انتزاعی و تواناییهای آنها برای حل مسایل. به این ماشینهای انتزاعی اتوماتا گفته میشود. این نظریه بسیار نزدیک به نظریهٔ زبان صوری است. به طوری که اتوماتا اغلب توسط دستهٔ زبانهای رسمی قابل تشخیص دستهبندی میشوند. اتوماتا نقش اساسی در طراحی کامپایلر و تجزیه کردن (parsing) ایفا میکند. زبانهایی که توسط این ماشینها بررسی میشوند زبانهای فرمال هستند.
یک ماشین، یک مدل ریاضی از ماشین حالات متناهی (FSM) است. یک ماشین شامل مجموعهای متناهی از حالات است که بر اساس ورودی و تابع گذار خود (که میتواند به صورت جدول باشد)، از یک حالت به حالت دیگر، تغییر وضعیت میدهد. این تابع انتقال به ماشین خودکار میگوید که به کدام حالت بعدی با توجه به حالت فعلی و نماد داده شده، برود.
به صورت کلی، یک ماشین شامل مجموعهای متناهی یا شماری از حالات مختلف است.
یک ماشین خودکار قرار است که بر روی تعدادی ورودی از دنباله یا رشته در مراحل زمانی گسسته اجرا شود. در هر مرحله از زمان، ماشین یک ورودی که از مجموعهای از نمادها یا حرفها برداشته شده است را، میگیرد که به آن الفبا (Alphabet) گفته میشود. یک ماشین حاوی مجموعهٔ متناهی از حالت هاست. در هر لحظه از اجرا بسته به نوع ماشین، میتواند در یکی یا چند تا از حالت هایش باشد. در هر مرحلهٔ زمانی، هنگامی که ماشین یک نماد را میخواند، بر اساس حالت فعلی و نماد خوانده شده به حالت بعدی پرش یا گذر میکند. این تابع روی حالت فعلی و نماد ورودی تابع گذار گفته میشود. ماشین تا زمانی که یک ورودی کامل خوانده شود ورودی را نماد به نماد در دنبالهای میخواند و از حالتی به حالت دیگر بر اساس تابع گذار، گذر میکند. زمانی که ورودی نهایی خوانده میشود، اصطلاحاً ماشین متوقف شدهاست و به این حالت، حالت نهایی میگویند. بر اساس حالت نهایی گفته میشود که ماشین یک ورودی را قبول یا رد کردهاست. زیر مجموعهای از حالتهای ماشین وجود دارد که به عنوان مجموعهٔ حالتهای مورد قبول تعریف میشود. اگر حالت نهایی یک حالت مورد قبول باشد ماشین ورودی را پذیرفتهاست. در غیر این صورت ورودی رد میشود. به مجموعهای از ورودیها که توسط ماشین پذیرفته میشود زبان قابل تشخیص ماشین میگویند.
همچنین به هر نماد الفبا یک حرف گفته میشود. به عنوان مثال، الفبای لاتین {a,b،c,... ,z}=∑ و الفبای باینری {۰و۱}=∑ مثالهایی از الفبا هستند که بیشترین کاربرد را برای ما دارند.
طول رشته با علامت |w| نمایش داده میشود و به تعداد نمادهای موجود در رشته گفته میشود. رشتهٔ تهی با نماد ε یا ℷ نمایش داده میشود و طول آن برابر صفر در نظر گرفته میشود. به عنوان مثال اگر w=abcc آنگاه: ۴=|w|
۵ تایی نمایندهٔ یک ماشین خودکار است که در آن:
با داشتن حرف ورودی که میتوان تابع گذار را به صورت نوشت؛ که این کار با استفاده از ترفند سادهٔ مالش صورت میگیرد.(ترفند مالش عبارت است از نوشتن به ازای همهٔ ). با این روش، تابع گذار به فرم سادهتری تبدیل میشود. ترکیب تابع تکرار شده یک مونوئید را تشکیل میدهد. برای توابع گذار، این مونوئید تحت ناممونوئید گذار یا در بعضی مواقع نیم گروه دگرسازی شناخته میشود.
با داشتن یک جفت از حروف تابع جدید به صورت تعریف میشود که نشان دهندهٔ ترکیب توابع است. طبیعتاً، این فرایند میتواند بطور بازگشتی ادامه یابد و بنابراین یک تعریف بازگشتی از تابع داریم که برای تمام کلمات تعریف شده است و به شرح زیر است
این ساختار میتواند معکوس هم بشود، با داشتن ، میتوان دوباره را ساخت و بنابراین، این دو توصیف هم ارزند.
سه تایی تحت نام ماشین نیمه خودکار شناخته میشود. ماشین نیمه خودکار همان ماشین خودکار است با این تفاوت که وضعیت شروع و مجموعهٔ وضعیتهای قبول آن نادیده گرفته شدهاند. مفهومهای افزودهٔ وضعیت اولیه و وضعیت قبول باعث میشوند تا توانائی ماشین خودکار بیش از توانائی ماشین نیمه خودکار باشد، بدین شرح که ماشین نیمه خودکار نمیتواند یک زبان صوری را شناسائی کند. زبان که توسط ماشین خودکار کراندار پذیرفته شده است، این گونه تعریف میشود:
زبان پذیرفته شدهٔ ماشین خودکار (یعنی ) مجموعهای از کلمات است که با الفبای ساخته شدهاند و وقتی به عنوان ورودی به ماشین خودکار داده میشوند، نهایتاً یکی از وضعیتهای را نتیجه میدهند. زبانهایی را که توسط ماشین خودکار پذیرفته شدهاند، زبانهای قابل تشخیص مینامند.
وقتی مجموعهٔ وضعیتهای Q کراندار است، ماشین خودکار به عنوان ماشین خودکار کراندار شناخته میشود و مجموعهٔ همهٔ زبانهای قابل تشخیص آن را، زبانهای باقاعده مینامیم. در واقع یک همارزی قوی وجود دارد: به ازای هر زبان باقاعده یک ماشین خودکار وضعیت محدود وجود دارد.
در زیر، سه نوع از ماشینهای خودکار کراندار ذکر شده است
با این وجود میتوان نشان داد که تمام این ماشینها، میتوانند زبانهای مشابهی را بپذیرند.
فهرست مطالب:
فصل اول: ریاضیات مقدماتی
مفاهیم نمادگذاری و مفهوم تابع
نظریه مجموعه ها
مفهوم استقراء ریاضی
گراف و انواع آن
فصل دوم: زبان ها
مفاهیم رشته و زبان
مشخصات زبان ها
مجموعه های با قاعده
فصل سوم: گرامرهای مستقل از متن
گرامرها و زبان های مستقل از متن
اشتقاق و درخت آن
گرامرهای قاعده
فصل چهارم: مقدمه ای بر پارسرها
اشتقاق چپ و ابهام
گراف یک گرامر
پارسر ها
فصل پنجم: فرم های نرمال
فرم های نرمال
حذف قوانین لامبدا
حذف قوانین زنجیره ای
فرم نرمال شومسکی وگریباش
فصل ششم: آتاماتی متناهی
آتاماتای قطعی
دیاگرام حالت
آتاماتای غیر قطعی
فصل هفتم: زبان ها و مجموعه های با قاعده
آتاماتای متناهی و مجموعه های با قاعده
گراف عبارت
زبان بی قاعده
فصل هشتم: آتاماتی Pushdown
آتاماتای Pushdown
انواع PDA
آتاماتای دو پشته ای
بهینه سازی DFA
فصل نهم: ماشین های تورینگ
ماشین تورینگ
انواع پذیرش
ماشین های چند شیاره
ماشین های تورینگ غیر قطعی
فصل دهم: طبقه بندی شومسکی
گرامرهای بدون محدودیت
گرامرهای وابسته به متن
آتاماتای خطی محدود
طبقه بندی شومسکی
مبلغ قابل پرداخت 35,500 تومان
⚡ این پکیج دربهمن سال 1402 آپدیت شد⚡ ✨ با پول یک چیپس و پفک صاحب کسب و کار پردرآمد شوید✨ فقط تا مدت محدود سلام دوست خوبم اگه از زندگي و كارت رضايت نداري.. اگه از وضعيت روحي و بي پولي خسته شدي.. اگه احساس ميكني هميشه تو تمامي كارها بازنده اي و اعتماد به نفس پاييني ... ...
بسم الله الرحمن الرحیم ✓آپـدیـت جـدیـد فروردین مـاه ۱۴۰۳✓ **کسب درآمد از اینترنت روزانه تا ۲/۰۰۰/۰۰۰ میلیون تومان تضمینی و تست شده** ☆☆آموزش صفر تا صد کسب درآمد اینترنتی بالای ۵۰/۰۰۰/۰۰۰ میلیون تومان ماهانه، پشتیبانی ۲۴ ساعته ۷ روز هفته، ۱۰۰%حلال شرعی، کاملاً واقعی و ... ...
یکی از مراحل عیب یابی و رفع عیب سیستم های الکتریکی و الکترونیکی خودرو، شناخت محل دقیق پایه ها و تست سیم و یا قطعه مربوطه می باشد بدین منظور تعمیرکاران از کتابچه ها و نقشه های متعددی استفاده می کنند در اختیار داشتن چنین نقشه هایی نیازمند صرف هزینه و مطالعه کتابهای تعمیراتی ... ...
دانلود نمونه سوالات کارشناس امور زمین با پاسخنامه قانون جلوگیری از خرد شدن اراضی کشاورزی و باغی به همراه جزوه + خلاصه نکات قانون حفظ کاربری اراضی زراعی و باغی به همراه جزوه + خلاصه نکات قانون ضوابط واگذاری اراضی ملی و دولتی به همراه جزوه + خلاصه نکات به همراه نکات مهم و ... ...
دانلود طرح لایه باز اعلامیه ترحیم (11) دانلود طرح لایه باز اعلامیه ترحیم لطفا جهت دانلود فایل عملیات خرید را انجام دهید توجه داشته باشید بعد از اتمام خرید فایل در دو نسخه قابل دانلود می باشد 1- دانلود فایل از لینک 2 - دانلود فایل ازایمیل وارد شده توسط شما در صورت به ... ...
دانلود کتاب صوتی اندازگیری سنجش و ارزشیابی آموزشی دکتر سیف با فرمتmp3 کتاب اندازه گیری سنجش و ارزشیابی آموزشی از دکتر علی اکبر سیف یکی از کتاب هایی است که شما را با مفاهیم و اصطلاحات مهم حوزه های سنجش اندازه گیری و ارزشیابی آموزشی آشنا می کند .دانشجویان و اساتید و ... ...
تمام اطلاعات و منابع مهم گنج یابی و دفینه یابی به زبان فارسی در این مجموعه موجود است. دانلود بزرگترین مجموعه آموزش کامل گنج یابی و نشانه های دفینه (پکیج دفینه و زیرخاکی مشک آبادی) مجموعه بزرگ و کم نظیر آموزش کامل گنج یابی در ایران، اولین کامل ترین پکیچ گنج یابی و نشانه ... ...
دانلود کتاب"صدای خود را آزاد کنید" نوشته : راجر لاو pdf+فایلهای صوتی تمرینی همراه کتاب با یادگیری تکنیکهای ساده راجر لاو هر کسی می تواند صاحب صدایی قوی برای صحبت کردن و صوتی زیبا برای خواندن شود. او با نظریه انقلابی و ارائه مفهوم صدای میانی،شما را به دنیای جدیدی از ... ...
دانلود pdf رایگان نمونه سوالات icdl با جواب، برای داوطلبانی که به دنبال آمادگی برای آزمون icdl هستند، بسیار مفید است. این فایلها حاوی بیش از 1500 سوال در موضوعات مختلفی از جمله کار با ویندوز، صفحهآرایی، اکسل، اکسس و… است که به صورت کاملاً رایگان در اختیار شما قرار میگیرد. ... ...
کتاب صوتی پاک زیستن انجمن معتادان گمنام NA درباره کتاب: هر روزی که ما پاک زیسته و اصول روحانی بهبودی را تمرین می کنیم, حقایق بیشتری آشکار می گردند. اولین نسخۀ کتاب پاک زیستن در سال 1983 نوشته شد اما آغاز این پروژه حتی به پیش از این تاریخ نیز مربوط می گردد. این ... ...
Langenscheidt Großwörterbuch Deutsch als Fremdsprache اگر با زبان آلمانی سرو کار دارید و تحقیق کرده باشید، حتما اسم موسسه Langenscheidt را شنیده اید. این دیکشنری که تقریبا تمام دبیران زبان آلمانی به بی نظیر بودن این دیکشنری هم عقیده هستند، دارای یکی از گسترده ترین دایره ... ...
پکیج آموزش فعالسازی انرژی درون که به شما فعال کردن چاکرا ، کندالینی ، انرژی درمانی ، قدرت پرانا و خیلی آموزش های فوق العاده دیگر که در ادامه معرفی خواهند شد آموزش داده خواهد شد. شما با دو کتاب "انرژی درون" با 500 صفحه و "پرورش نیروهای درون" با 150 صفحه می باشند آشنا خواهید ... ...
عنوان کتاب: ترک آسان سیگار نویسنده: آلن کار مترجم: کاوس نویدان گوینده: علی همت مومیوند فرمت فایل ها: mp3 تعداد فایل ها: 17 حجم کل فایل ها: 100 مگابایت مدت زمان پخش: 9ساعت و 3 دقیقه زبان: فارسی توضیحات: کتاب صوتی ترک آسان سیگار نوشتهی آلن کار، پرفروشترین ... ...
بسمه تعالی پاسخنامه سوالات معاد شناسی و مرگ آگاهی در زندگی سایت نهاد 7 جلسه باهم، سوالات ترم جدید معرفی درس: در این درس حجت الاسلام مسعود عالی در 7 جلسه به آثار یاد مرگ در زندگی روزمره می پردازد موضوع این درس زندگی پس از مرگ است. استاد با گفتاری ساده و روان در این ... ...
عنوان کتاب: کلیدر (مجموعه کامل جلد 1 تا 10) نویسنده: محمود دولت آبادی گوینده: فیروزه غفوری پور فرمت فایل ها: mp3 تعداد فایل ها: 10 جلد کامل حجم کل فایل ها: 1560 مگابایت زبان: فارسی توضیحات: کتاب «کلیدر» نوشته محمود دولت آبادی است. کلیدرمشهورترین و بلندترین رمان ... ...
راه های مخ زنی دخترها این دفعه با یک سری مطالب نو اومدم خدمتتون و قبل از هر چیز باید بگم که این مطلب هیچ ربطی به خانمها نداره لطفا حتی سعی نکنن یه کمش هم بخونن چون در پایان من جلوی دستتون نیستم که دمپایی به طرفم پرتاب کنید(کار دیگه از دستتون بر نمی یاد) برای همین ... ...
پکیج زبان اصلی متود صداسازی CVT: شامل کتاب 274صفحه ای به زبان انگلیسی + کتاب خانه صوتی (شامل 421 فایل صوتی برای مردان و 416 فایل صوتی برای زنان) + کتاب فارسی ترجمه شده (فقط دو فصل اول که پایه ای ترین مفاهیم این متود را تشکیل می دهند ترجمه شده است .)Complete Vocal ... ...
گراندد تئوری (نظریه زمینه ای) روشی است که برای اولین بار در سال 1967 توسط دو محقق به نام گلیزر و اشتراوس مطرح شده است. این روش منجر به ایجاد شکل معروفی از تحقیق و بررسی در حوزه های آموزش و پژوهش سلامت شده است. در این روش تاکید بر روی نسلی از نظریه مبتنی بر داده است . به ... ...
دوره مربیگری c آسیا نخستین مدرک معتبری است که در AFC دارای اعتبار ویژه ای است و از نگاه این فدراسیون فردی به عنوان مربی شناخته میشود که مدرک این دوره مربیگری را اخذ کرده باشد .این دوره ، توسط مدرسین تایید شده از این نهاد و طی آموزش دو هفته ای برگزار میشود و شرکت کنندگان در ... ...
روش تحقیق پدیدارشناسی Phenomenology هدف پژوهشگر از اجرای طرح تحقیق پدیدارشناسی آن است که معنی یک پدیده یا مفهوم مورد مطالعه را از نظر یک گروه افراد بررسی کند این روش جز روش های کیفی پژوهش بوده که به بررسی تجارب زیسته افراد در مورد یک پدیده خاص می پردازد لذا در این دوره ... ...
دانلود کتاب معلم نوو پریسما آ2 فایل به صورت pdf با کیفیت خوب و برای راحتی در تدریس یا آموزش کتاب نوو پریسما A2 می باشد. کتاب Nuevo Prisma A2 با ساختار جدید بر اساس متد قبلی این مجموعه جهت فراگیری زبان اسپانیایی ویژه بزرگسالان توسط انتشارات Editorial Edinumen به چاپ ... ...
کتاب اسرار نشانه ها فهرست مطالب از نظر حقوقی دفینه چیست ؟ قبل از هر چیزی نشانه های دفینه را بشناسیم نشانه های دفینه چگونه رمز گشایی میشوند معانی آثار و علائم دفینه : درخت – بت خانواده – شیر – کوزه های خالی -اسب و اسب سوار – جای پا شکل چارق یا کفش – نماد دنده و ... ...
تله کینزی یکی از رایج ترین و جالب ترین کینزی ها می باشد که شما به وسیله آن می توانید اجسام را با نیروی ذهن خود ، به حرکت در بیاورید. شاید تا الان مقالات و کتاب های زیادی در مورد تله کینزی خوانده باشید و با خود فکر کنید که این کتاب هم یکی از همان کتاب ها است ولی باید بدانید ... ...
این مجموعه مناسب برای هنرجویان هنرستان های فنی و کاردانش و همچنین هنرجویان سازمان فنی و حرفه ای و سایر آموزشگاه ها جهت آمادگی آزمون می باشد مجموعه شامل 4 فایل PDF با بیش از 120 سوال به همراه جواب می باشد قسمتی از محتوای فایل جهت بررسی شما پیش از خرید در زیر نمایش داده ... ...
در اینجا جزئیات اجرایی کمیاب از نحوه اجرا و نقشه های مقاوم سازی ستون بتنی با ژاکت فولادی را می توانید دانلود کنید... نقشه های دانلودی در فرمت فایل اتوکد dwg و قابل ویرایش هستند... شامل : دانلود دتایل اجرایی مقاوم سازی ستون بتنی با ژاکت فلزی نحوه اتصال بولت ها به ستون ... ...
عنوان جزوه: بیوشیمی بالینی (منابع علوم پایه) تعداد صفحات:109 فرمت جزوه:PDF توضیحات بیشتر در مورد جزوه : دانلود جزوه بیوشیمی بالینی که مربوط به دروس علوم پایه پزشکی می باشد. این جزوه در 109 صفحه آماده شده است و کیفیت بسیار بالایی دارد. لازم به ذکر است این جزوه اسکن ... ...
به نام خدا سلام این یک فایل اکسل میباشد که محاسبه وزن الکترود و وزن فیلر نسبت به سایز و ضخامت لوله را محاسبه میکند ، و بسیار دقیق میباشد و چندین بار امتحان شده ، روش کار بسیار ساده هستش سایز لوله رو انتخاب کرده و بعد ضخامت لوله و یا همون اسکیجول و جنس لوله که کربن هست ... ...
کامل ترین کتاب آموزش پیرو کینزی که تا به الان وجود داشته است را اکنون می توانید از سایت کتابروید (کتابخانه قدرت های نهفته)دانلود کنید. مطمئن باشید با خواندن این کتاب شما پیرو کینزی را به صورت پیشرفته یاد خواهید گرفت و دیگر نیازی به جستجو در سایت ها یا خواندن مقالات نخواهید ... ...
*** دانلود نقشه های اجرایی سازه پل هوایی عابر پیاده به همراه جزئیات پل هوایی عابر پیاده در قالب یک فایل اتوکد قابل ارائه به سازمان مسکن و شهرسازی، سازمان راه داری و نظام مهندسی *** در این مجموعه برای شما دتایل کم نظیر و ارزشمندی از نقشه های اجرایی سازه مربوط به پل ... ...
کتاب آموزش زبان آلمانی A-Grammatik به همراه پاسخ نامه و فایل های صوتی کتاب کتاب آموزش زبان آلمانی A-Grammatik به همراه پاسخ نامه و فایل های صوتی کتاب ناشر کتاب: (Schubert Verlag (2010 فایل PDF کتاب به زبان آلمانی و در 187 صفحه است. فایل PDF با بهترین کیفیت و با ... ...
اگر به یک وب سایت یا فروشگاه رایگان با فضای نامحدود و امکانات فراوان نیاز دارید بی درنگ دکمه زیر را کلیک نمایید.
ایجاد وب سایت یا