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