Computation Engineering : Applied Automata Theory and Logic
المؤلف
Ganesh Gopalakrishnan
سنة النشر
2006
الناشر
Springer
لغة الملف
انكليزي
نوع الوثيقة
Book
الموضوع الرئيسي / الكلية
Computer Science
This book covers automata in depth, providing good intuitions along the way, and culminating with applications that are used every day in the field. In this respect, it is a departure from the conventional textbooks on complexity and computability, although these 'tradtional' aspects remain well represented.
الكلمات المفتاحية: Computer science / Automat / Hardware / Turing / Algorithms / Automata / Automata theory / Complexity / Complexity theory / Computer / Computer science / Formal method / Logic / Model checking / Regular expressions
