دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب A half-century of automata theory : celebration and inspiration
دانلود کتاب نیم قرن نظریه خودکار: جشن و الهام بخش
مشخصات کتاب
A half-century of automata theory : celebration and inspiration
ویرایش: نویسندگان: Arto Salomaa, Derick Wood, Sheng Yu (eds.) سری: ISBN (شابک) : 9789812810168, 9812810161 ناشر: World Scientific سال نشر: 2001 تعداد صفحات: 164 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 981 کیلوبایت
قیمت کتاب (تومان) : 43,000
در صورت تبدیل فایل کتاب A half-century of automata theory : celebration and inspiration به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب نیم قرن نظریه خودکار: جشن و الهام بخش نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب نیم قرن نظریه خودکار: جشن و الهام بخش
این جلد شامل مقالات برگزیده ارائه شده در چهارمین سمپوزیوم آسیایی در ریاضیات کامپیوتری است. 39 مقاله بررسی شده همراه با مقالات کامل و چکیده های مبسوط توسط چهار سخنران دعوت شده، G.H. Gonnet، D. Lazard، W. McCune و W.-T. وو، و اینها برخی از مهم‌ترین پیشرفت‌ها در ریاضیات رایانه را شامل می‌شوند، از جمله محاسبات جبری، نمادین، عددی و هندسی، استدلال ریاضی خودکار، نرم‌افزار ریاضی، و طراحی هندسی به کمک رایانه، جبرهای مخاطره‌ای (چکیده توسعه‌یافته) (J Brzowski & Zik). ) نتایج قطعی ناپذیری و ناقص بودن در تئوری خودکار (J Hartmanis); نظریه خودکار: گذشته و آینده آن (J Hopcroft); چهل سال سری قدرت رسمی در تئوری اتوماتا (W Kuich); انجام بازی های بی نهایت در زمان محدود (R McNaughton); مونتاژ ژن در کیلیات ها: محاسبات با تاشو و نوترکیب (G Rozenberg). ترکیبات بر روی یک دامنه محدود: از کامل بودن تا خودکارهای همگام سازی (A Salomaa)
توضیحاتی درمورد کتاب به خارجی
This volume contains selected papers presented at the Fourth Asian Symposium on Computer Mathematics. There are 39 peer-reviewed contributions together with full papers and extended abstracts by the four invited speakers, G.H. Gonnet, D. Lazard, W. McCune and W.-T. Wu, and these cover some of the most significant advances in computer mathematics, including algebraic, symbolic, numeric and geometric computation, automated mathematical reasoning, mathematical software, and computer-aided geometric design Hazard Algebras (Extended Abstract) (J Brzozowski & Z Esik); Undecidability and Incompleteness Results in Automata Theory (J Hartmanis); Automata Theory: Its Past and Future (J Hopcroft); Forty Years of Formal Power Series in Automata Theory (W Kuich); Playing Infinite Games in Finite Time (R McNaughton); Gene Assembly in Ciliates: Computing by Folding and Recombination (G Rozenberg); Compositions over a Finite Domain: From Completeness to Synchronizable Automata (A Salomaa)
فهرست مطالب
Preface......Page 6
CONTENTS......Page 8
1 Introduction......Page 9
2 Transients......Page 10
3 Change-Counting Algebra......Page 12
4 Counting Changes to a Threshold......Page 14
5 Circuit Simulations......Page 16
6 Extensions of Boolean Functions......Page 20
7 Complexity Issues......Page 23
8 Conclusions......Page 25
References......Page 26
1 Introduction......Page 29
2 Basic Concepts and II2-Completeness......Page 31
3 Undecidability and Incompleteness Results......Page 34
4 Representation Independent Incompleteness Results......Page 36
5 Incomplete Languages......Page 38
6 Minimal Automata and Incompleteness......Page 40
7 Succinctness Results......Page 41
8 Conclusion......Page 42
References......Page 43
2 Beginnings of Automata Theory......Page 45
3 External Changes Impacting Future Directions......Page 49
References......Page 55
1 Introduction......Page 57
2 Continuous monoids and semirings......Page 59
3 Automata and the Theorem of Kleene......Page 63
4 Algebraic systems and pushdown automata......Page 66
5 Principal cones of algebraic power series......Page 71
6 Decidability questions......Page 75
References......Page 77
Playing Infinite Games in Finite Time......Page 81
1 Infinite games......Page 82
2 The score function......Page 85
3 Theoretical results about scoring......Page 88
4 When to end the play......Page 91
5 Finding playable games......Page 95
6 A specific suggestion......Page 97
References......Page 99
Introduction.......Page 101
1 Preliminaries.......Page 104
2 DNA molecules: structure and notation.......Page 105
3 Gene assembly in ciliates.......Page 109
4 Molecular operations for gene assembly.......Page 113
5 MDS structures and descriptors.......Page 115
6 String pointer reduction systems.......Page 120
7 Graph pointer reduction systems.......Page 123
8 Universality and simplicity.......Page 127
9 Patterns of micronuclear genes.......Page 129
Discussion......Page 132
References......Page 134
1 Introduction......Page 139
2 Depth and complete depth......Page 141
3 Depth of constants......Page 143
4 Functions of several variables......Page 145
5 Forcing long composition sequences......Page 148
References......Page 150
Appendix Brief Biographies of the Authors......Page 153
JANUSZ (JOHN) A. BRZOZOWSKI......Page 154
JURIS HARTMANIS......Page 155
JOHN E. HOPCROFT......Page 156
WERNER KUICH......Page 158
ROBERT MCNAUGHTON......Page 159
GRZEGORZ ROZENBERG......Page 160
ARTO SALOMAA......Page 162
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Nurkowanie w nocy lub przy ograniczonej widoczności : podręcznik specjalistyczny
دانلود کتاب Η παρακμή της Δύσης (Περιγράμματα μιας μορφολογίας της παγκόσμιας ιστορίας)
دانلود کتاب Prison, Punishment and Penance in Late Antiquity
