محل انتشار : بابل 
نویسنده کتاب : ابراهیم اکبری 
رده دیویی : ۰۰۵.۱۳۳ 
تاریخ انتشار کتاب : ۱۳۸۲/۰۱/۲۳ 
نوع جلد کتاب : شومیز 
قطع کتاب : وزیری 
تعداد صفحه : ۲۸۸ 
نوع اثر : تالیف 
زبان کتاب : فارسی 
شماره کنگره : QA۷۶/۷۳/ف‌لا۲ن۸ 
نوبت چاپ کتاب : ۱ 
تیراژ کتاب : ۳۰۰۰ 
شابک : ۹۶۴-۶۸۶۴-۳۸-۴ 
 
نگارنده در کتاب, نظریه مربوط به زبان‌ها و ماشین‌ها در قالب بخش‌های اصلی آن معرفی می‌کند که عبارت‌اند از’ :زبان‌ها, خواص بین آنها و گرامر زبان’, ‘ماشین‌های متناهی’, ‘ماشین‌های پشته‌ای ‘و ‘ماشین‌های تورینگ .’وی یادآور می‌شود’ :بحث در مورد زبان‌ها و ماشین‌ها قبل از تولد کامپیوترهای امروزی در بین ریاضی‌دانان مطرح بوده است, به طوری که یکی از ماشین‌ها به نام ماشین‌های تورینگ بسیار شبیه به کامپیوتر عمل می‌کند که در این کتاب مورد بحث قرار می‌گیرد .مطالب اصلی این درس از سه بخش زبان, گرامر و ماشین تشکیل شده است, به طوری که این سه بخش رابطه نزدیکی با هم دارند . هر زبان از یک گرامر درست شده است .با استفاده از گرامرهای زبان یا مستقیما برای هر زبان می‌توان یک ماشین فرضی ساخت .’در این کتاب با استفاده از مثال‌های مختلف, مطالب مربوط به هر بخش فراهم آمده و در انتهای هر فصل نیز تمرینات حل شده مربوط به آن فصل آمده است .در پایان کتاب (فصل هشتم) خلاصه درس به همراه پاسخ سوالات کارشناسی ارشد و همچنین حل مسائل درج گردیده است .