به نام یکتای دانا فصل اول: متدها و قواعد
مقدمه و تاریخچه علم مطالعه ابزارهای محاسباتی انتزاعی – ماشین ها – است معرفی یک ماشین انتزاعی در سال 1930 توسط آلن تورینگ قدرت محاسباتی = کامپیوترهای امروزی
مقدمه و تاریخچه در سال های 1940 تا 1950، شکل ساده ای ازماشین ها یا همان Finite Automata (FA) ایجاد شدند همچنین، در سال 1950، آقای چامسکی زبان شناس شروع به مطالعه روی گرامرها نمود
مقدمه و تاریخچه در سال 1969، آقای کوک، مطالعاتی روی توان محاسباتی ماشین تورینگ انجام داد: چه محاسباتی را می تواند انجام دهد / ندهد تفکیک مسائلی که توسط کامپیوتر بصورت بهینه قابل حل هستند از مسائلی که راه حل دارند، اما زمان بسیار زیاد برای حل آنها لازم است: NP-hard یا intractable ( رام نشدنی!)
آنچه در این فصل می آموزیم یک مقدمه سطح بالا در خصوص تئوری اتوماتاها روش های اثبات استدلال استقرایی اثبات با برهان خلف استدلال استنتاجی معرفی پیش درامد اتوماتاها الفبا رشته زبان
مقدمه ای بر ماشین های متناهی (FA) یک ابزار کاربردی برای نرم افزار و سخت افزار گونه های مختلف FA نرم افزار برای طراحی و ارزیابی رفتار مدارهای الکترونیکی بعنوان «تحلیلگر لغوی» برای کامپایلرها نرم افزار برای پیمایش متن های بزرگ مانند مجموعه ای از صفحات وب، به منظور یافتن رخداد کلمه ها، عبارتها یا الگوها نرم افزار برای ارزیابی سیستم هایی که تعداد متناهی حالت دارند
مقدمه ای بر ماشین های متناهی (FA) سیستم های زیادی وجود دارند که شامل مجموعه ای از State ( حالت) هستند هدف هر وضعیت، حفظ بخش مرتبطی از تاریخچه سیستم است تعداد این وضعیت ها متناهی است بنابراین کل تاریخچه سیستم قابل نگهداری نیست در نتیجه باید به نحوی طراحی نمود که فقط چیزهایی که مهم هستند حفظ شوند و سایر موارد نه! مزیت تعداد وضعیت ها متناهی = امکان پیاده سازی سیستم با منابع محدود
مثال مقدماتی ساده ترین ماشین حالت متناهی!
مثال مقدماتی قادر به حفظ وضعیت On یا Off سیستم و امکان فشردن دکمه از سوی کاربر است. وضعیت ها وضعیت شروع ورودی وضعیت نهایی ( پذیرش)
مثال دوم پذیرش کلمه “then” بخشی از یک تحلیلگر لغوی (Lexical Analyzer)
نمایش ساختاری اتوماتا