توضیحاتی در مورد کتاب :
تئوری اتوماتا با جنبه های ریاضی تئوری اتوماتا، با تاکید بر خودکار قطعی محدود به عنوان مدل پایه، سروکار دارد. تمام مدلهای دیگر، مانند اتوماتای محدود غیر قطعی و احتمالی و همچنین اتوماتهای محدود شده با فشار پایین و خطی، به عنوان تعمیمهای این مدل پایه در نظر گرفته میشوند. فرمالیسمی که برای توصیف اتوماتای قطعی محدود انتخاب میشود، عبارات منظم است. شرح مفصلی در مورد این فرمالیسم با در نظر گرفتن جبر عبارات منظم ارائه شده است.
این جلد از چهار فصل تشکیل شده است و با بحثی در مورد خودکارهای قطعی متناهی، با توجه خاص به زبان های منظم و متناهی آغاز می شود. قضایای تجزیه و تحلیل و سنتز; روابط هم ارزی ناشی از زبان ها؛ ماشین های ترتیبی؛ توابع و روابط متوالی؛ زبانهای معین و خودکارهای غیر اولیه؛ و اتومات دو طرفه فصل بعدی خودکارهای غیر قطعی و احتمالی محدود را توصیف می کند و قضایای مربوط به زبان های تصادفی را پوشش می دهد. زبان های تصادفی غیر منظم؛ و ماشین های ترتیبی احتمالی سپس کتاب قبل از پایان دادن به فصلی در مورد زبان های رسمی و خودکارهای تعمیم یافته، خواننده را با جبر عبارات منظم آشنا می کند. تمرین های نظری به همراه «مشکلات» در انتهای برخی بخش ها گنجانده شده است.
این تک نگاری منبع مفیدی برای فارغ التحصیلان مبتدی یا پیشرفته در رشته ریاضیات خواهد بود.
فهرست مطالب :
Content:
Front Matter, Page iii
Copyright, Page iv
Dedication, Page v
PREFACE, Pages ix-x
ACKNOWLEDGEMENTS, Page xi
NOTE TO THE READER, Page xii
CHAPTER I - FINITE DETERMINISTIC AUTOMATA, Pages 1-70
CHAPTER II - FINITE NON-DETERMINISTIC AND PROBABILISTIC AUTOMATA, Pages 71-113
CHAPTER III - ALGEBRA OF REGULAR EXPRESSIONS, Pages 114-163
CHAPTER IV - FORMAL LANGUAGES AND GENERALIZED AUTOMATA, Pages 164-242
HISTORICAL AND BIBLIOGRAPHICAL REMARKS, Pages 243-246
REFERENCES, Pages 247-252
SYMBOL INDEX, Pages 253-254
AUTHOR INDEX, Pages 255-256
SUBJECT INDEX, Pages 257-260
OTHER TITLES IN THE SERIES IN PURE AND APPLIED MATHEMATICS, Pages 261-263
توضیحاتی در مورد کتاب به زبان اصلی :
Theory of Automata deals with mathematical aspects of the theory of automata theory, with emphasis on the finite deterministic automaton as the basic model. All other models, such as finite non-deterministic and probabilistic automata as well as pushdown and linear bounded automata, are treated as generalizations of this basic model. The formalism chosen to describe finite deterministic automata is that of regular expressions. A detailed exposition regarding this formalism is presented by considering the algebra of regular expressions.
This volume is comprised of four chapters and begins with a discussion on finite deterministic automata, paying particular attention to regular and finite languages; analysis and synthesis theorems; equivalence relations induced by languages; sequential machines; sequential functions and relations; definite languages and non-initial automata; and two-way automata. The next chapter describes finite non-deterministic and probabilistic automata and covers theorems concerning stochastic languages; non-regular stochastic languages; and probabilistic sequential machines. The book then introduces the reader to the algebra of regular expressions before concluding with a chapter on formal languages and generalized automata. Theoretical exercises are included, along with ""problems"" at the end of some sections.
This monograph will be a useful resource for beginning graduate or advanced undergraduates of mathematics.