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