دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Properties of Finite Automata and Applications: LITP Spring School on Theoretical Computer Science Ramatuelle, France, May 23–27, 1988 Proceedings
دانلود کتاب ویژگی‌های رسمی خودکارهای محدود و کاربردها: مدرسه بهار LITP در علوم کامپیوتر نظری راماتوئل، فرانسه، 23 تا 27 مه، 1988 مجموعه مقالات
مشخصات کتاب
Formal Properties of Finite Automata and Applications: LITP Spring School on Theoretical Computer Science Ramatuelle, France, May 23–27, 1988 Proceedings
دسته بندی: الگوریتم ها و ساختارهای داده ویرایش: 1 نویسندگان: Jean Berstel (auth.), J. E. Pin (eds.) سری: Lecture Notes in Computer Science 386 ISBN (شابک) : 354051631X, 9783540516316 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1989 تعداد صفحات: 268 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 50,000
کلمات کلیدی مربوط به کتاب ویژگی‌های رسمی خودکارهای محدود و کاربردها: مدرسه بهار LITP در علوم کامپیوتر نظری راماتوئل، فرانسه، 23 تا 27 مه، 1988 مجموعه مقالات: منطق ریاضی و زبان های رسمی، محاسبات با دستگاه های انتزاعی، ترکیبیات
در صورت تبدیل فایل کتاب Formal Properties of Finite Automata and Applications: LITP Spring School on Theoretical Computer Science Ramatuelle, France, May 23–27, 1988 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ویژگی‌های رسمی خودکارهای محدود و کاربردها: مدرسه بهار LITP در علوم کامپیوتر نظری راماتوئل، فرانسه، 23 تا 27 مه، 1988 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Finite automata and rational languages an introduction....Pages 1-14
The wreath product and its applications....Pages 15-24
Polynomial decomposition of rational functions....Pages 25-33
Relational morphisms, transductions and operations on languages....Pages 34-55
Basic techniques for two-way finite automata....Pages 56-64
Properties of factorization forests....Pages 65-72
Relative star height, star height and finite automata with distance functions....Pages 73-88
Automata and the word problem....Pages 89-103
Automata and quantifier hierarchies....Pages 104-119
Concatenation product: a survey....Pages 120-137
A finiteness condition for semigroups....Pages 138-147
Equations for pseudovarieties....Pages 148-164
Algorithms and automata....Pages 165-175
Numbers and automata....Pages 176-185
Codes and automata....Pages 186-198
Finite automata and computational complexity....Pages 199-233
A characterization of fair computations of finite state SCCS processes....Pages 234-248
Verification of distributed systems: An experiment....Pages 249-259
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Arithmetique et algorithmique en algebre lineaire exacte pour la bibliotheque LinBox
دانلود کتاب Algorithmic information theory
دانلود کتاب A Bundle Algorithm Applied to Bilevel Programming Problems with Non-Unique Lower Level Solutions
دانلود کتاب Data Structures Using Pascal
دانلود کتاب Algorithms for Memory Hierarchies: Advanced Lectures
دانلود کتاب Problem Solving, Abstraction, and Design using C++
دانلود کتاب Turbo Pascal: Algoritmi si Limbaje de Programare (Manual pentru clasa a IX-a)
دانلود کتاب Algorithms for a New World: When Big Data and Mathematical Models Meet
دانلود کتاب A 2 + approximation algorithm for the k-MST problem
