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