Automata Theory: An Algorithmic Approach

درباره این کتاب

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