توجه: در این متن از فرمولهای ریاضی استفاده شده که سایت قادر به شناسایی اونها نیست و به همین خاطر برای دانلود نسخه کامل اینجا کلیک کنید

قسمتی از مقدمه:

نظریه زبانها و اتوماتها به عنوان یک درس 3 واحدی در دوره ی کارشناسی علوم کامپیوتر تدریس می شود. منبع این درس کتاب نظریه زبانها و ماشینها نوشته ی توماس سودکمپ و ترجمه مهندس سید حجت الله جلیلی است.

در این پست خلاصه ای از فصل دوم این کتاب را می بینید.

مقدمه:
یک زبان یک مجموعه از رشته ها روی یک الفباست. این جامع ترین تعریفی است که هیچ محدودیتی برای شکل رشته های تشکیل دهنده زبان ارائه نشده است. ولی اغلب زبانهایی که ما می شناسیم مثل زبانهای طبیعی ( فارسی و انگلیسی) یا زبانهای کامپیوتری یا زبانهای ریاضی. از رشته های دلخواه روی یک الفبا تشکیل نمی شوند بلکه دارای ویژگیهای خاصی می باشند که این ویژگیها قالب نحوی زبان را مشخص می کند. ما می توانیم از تعاریف بازگشتی و عملیات مجموعه ای برای اجرای این محدودیتها استفاده کنیم.