دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: الگوریتم ها و ساختارهای داده ویرایش: 1 نویسندگان: Arto Salomaa. Matti Soittola سری: Texts and monographs in computer science ISBN (شابک) : 9780387902821, 0387902821 ناشر: Springer-Verlag سال نشر: 1978 تعداد صفحات: 92 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 1 مگابایت
کلمات کلیدی مربوط به کتاب جنبه های اتوماتیک - نظری سری قدرت های رسمی: مهندسی انفورماتیک و کامپیوتر، تئوری خودکار
در صورت تبدیل فایل کتاب Automata-theoretic aspects of formal power series به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های اتوماتیک - نظری سری قدرت های رسمی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب تئوری سری های قدرت رسمی را در متغیرهای غیر رفت و برگشتی توسعه می دهد، که تأکید اصلی بر نتایج قابل استفاده برای خودکارها و نظریه زبان رسمی است. این نظریه در حدود سال 196 آغاز شد - جدای از کارهای پراکنده ای که قبلا در ارتباط با گروه های آزاد انجام شده بود - توسط M. P. Schutzenberger که برخی از نتایج اصلی نیز به او تعلق دارد. تاکنون کتابی در مورد این نظریه وجود ندارد. این فقدان این تأثیر تاسف بار را داشته است که سری های قدرت رسمی توسط دانشمندان نظری رایانه در حدی که در برآورد ما باید شناخته شده و مورد استفاده قرار نگرفته اند. مانند اکثر فرمالیسم های ریاضی، فرمالیسم سری های توانی قادر است نتایج شناخته شده را متحد و تعمیم دهد. با این حال، همچنین می تواند نتایج خاصی را ایجاد کند که ایجاد آنها با ابزارهای دیگر دشوار است. این نکته ای است که امیدواریم بتوانیم در این کتاب به آن اشاره کنیم. این که سریهای قدرت رسمی ابزار قدرتمندی در تئوری خودکار و زبان هستند به این واقعیت بستگی دارد که آنها به یک معنا به حساب کردن خودکار و نظریه زبان منجر میشوند. ما خواننده را دعوت می کنیم که مثلاً قضیه 4 را اثبات کند. 5. 3 یا نتیجه III. 7. 8 و III. 7. همه نتایج خاص در نظریه زبان - به روشهای دیگر. اگرچه این کتاب عمدتاً مستقل است، اما فرض بر این است که خواننده پیشینه ای در جبر و تجزیه و تحلیل، و همچنین در خودکار و نظریه زبان رسمی دارد.
This book develops a theory of formal power series in noncommuting variables, the main emphasis being on results applicable to automata and formal language theory. This theory was initiated around 196O-apart from some scattered work done earlier in connection with free groups-by M. P. Schutzenberger to whom also belong some of the main results. So far there is no book in existence concerning this theory. This lack has had the unfortunate effect that formal power series have not been known and used by theoretical computer scientists to the extent they in our estimation should have been. As with most mathematical formalisms, the formalism of power series is capable of unifying and generalizing known results. However, it is also capable of establishing specific results which are difficult if not impossible to establish by other means. This is a point we hope to be able to make in this book. That formal power series constitute a powerful tool in automata and language theory depends on the fact that they in a sense lead to the arithmetization of automata and language theory. We invite the reader to prove, for instance, Theorem IV. 5. 3 or Corollaries III. 7. 8 and III. 7.- all specific results in language theory-by some other means. Although this book is mostly self-contained, the reader is assumed to have some background in algebra and analysis, as well as in automata and formal language theory.