در دوره کارشناسی کامپیوتر درسی وجود داره به نام نظریه زبان و ماشین یا Formal Languages and Automata. این درس که خیلی هم مورد علاقه دانشجویان نیست و اغلب اساتید هم در پیچوندن و کم کاری در تدریس اون کم نمی گذارند در واقع یکی از پیش نیازهای درس کامپایلر بوده و به علاوه شالوده درک بهتر زبان های برنامه نویسی است. متاسفانه با وجود مطالعات بسیار من خودم هم درک درستی از بسیاری از مفاهیم این درس ندارم و نداشته ام. اما چند ماه پیش به کتابی برخوردم درباره دستور زبان که مطالعه اون موجب شد برخی از ابهاماتی که در زمینه نظریه زبان داشتم رفع بشه. در واقع زبان های صوری (Formal Languages) خود از روی زبان های طبیعی ایجاد شده اند. به نوعی مطالعه دستو زبان های طبیعی منجر به توانایی درک بیشتر بشر از زبان شده که نتیجه آن تولید زبان های صوری و نظریه زبان های صوری و روش های توصیف گرامر این زبان ها شده است.