دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formale Sprachen: Eine Einführung
دانلود کتاب زبان های رسمی: مقدمه
مشخصات کتاب
Formale Sprachen: Eine Einführung
ویرایش: [1 ed.]
نویسندگان: Heinrich Becker. Hermann Walter (auth.)
سری:
ISBN (شابک) : 9783528033231, 9783322856203
ناشر: Vieweg+Teubner Verlag
سال نشر: 1977
تعداد صفحات: 271
[279]
زبان: German
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 Mb
قیمت کتاب (تومان) : 67,000
در صورت تبدیل فایل کتاب Formale Sprachen: Eine Einführung به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان های رسمی: مقدمه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان های رسمی: مقدمه
محتوای این کتاب بخشی از رپرتوار تثبیت شده بخش نظری علوم کامپیوتر است. نقطه کانونی تحقیقات انجام شده زبانهای بدون زمینه هستند که کاربردهای آنها بسیار جالبترین هستند. این تئوری در امتداد "خطوط کلاسیک" به منظور امکان نمایش گسترده روشهای اثبات خاص توسعه داده شد، زیرا این روشها اغلب از قبل متضمن الگوریتمهای حل برای مسائل مرکزی هستند. این تا حد زیادی شخصیت یک مقدمه را حفظ می کند. امیدواریم از یک سو علاقه مندان به تئوری به زبان های رسمی و در نتیجه ورود به نظریه جدیدتر در این زمینه دست یابند و از سوی دیگر کسانی که از زبان های رسمی استفاده می کنند. عمدتاً برای مشکلات مختلف برنامه نویسی، به ویژه برای ساخت مترجم مورد استفاده، به دست آوردن یک دید کلی از کمک های زبانی-نظری. وظایف ذکر شده در پایان هر فصل نیز به این هدف کمک می کند. بنابراین، در میان اینها مواردی هستند که به مشکلات بیشتر اختصاص داده شده اند، و همچنین مواردی که قصد دارند فرآیندهای فکری منتقل شده در متن را عمیق تر کنند. ما معتقدیم که ارائه راه حل ها باید خواننده را قادر سازد تا درک خود را از متن بررسی کند. ما معتقدیم که کتاب های مقدماتی باید همیشه این امکان را باز نگه دارند. ما از یک کتابشناسی گسترده صرف نظر کرده ایم، زیرا از کتاب های ذکر شده می توان به راحتی برای ایجاد ارتباط با پیشرفت های اخیر در نظریه زبان های رسمی استفاده کرد. در حل وظایف، ما از حمایت بسیار خوبی از دکتر برخورداریم. B. Schinzel، Dipl. -Math. W. Kern، Dipl. -Math.
توضیحاتی درمورد کتاب به خارجی
Der Inhalt dieses Buches gehort zum mittlerweile festen Reper toire des theoretischen Teils der Informatik. Den Schwerpunkt der angestellten Untersuchungen bilden die kontextfreien Sprachen, deren An~endungen bei weitem die interessantesten sind. Die Theorie w~rd in "klassischen Bahnen" entwickelt, urn eine breite Darstellung der spezifischen Beweismethoden zu er moglichen, da diese ja haufig auch schon Losungsalgorithmen fur die zentralen Problemstellungen implizieren. Dadurch ist der Charakter einer Einfuhrung weitgehend gewahrt. Wir hoffen, daE so einerseits dem theoretisch Interessierten ein Zugang zu den formalen Sprachen eroffnet und somit auch der Einstieg in die neuere Theorie auf diesem Gebiet ermoglicht wird, daE anderer seits derjenige, der formale Sprachen weitgehend fur verschie dene Probleme der Programmierung, insbesondere fur den Ober setzerbau verwendet, einen Oberblick uber die sprachtheoreti schen Hilfsmittel gewinnt. Dieser Zielsetzung dienen auch die im AnschluE an die einzelnen Kapitel aufgefuhrten Aufgaben. Unter diesen befinden sich daher solche, die weiterfuhrenden Problemstellungen gewidmet sind, wie auch solche, die die innerhalb des Textes vermittelten Ge dankengange vertiefen sollen. Die Angabe von Losungen solI nach unserer Vorstellung den Leser in die Lage versetzen, sein Ver standnis des Textes selbst zu kontrollieren. Wir glauben, daE einfuhrende Bucher stets diese Moglichkeit offenhalten sollten. Auf ein umfangreiches Literaturverzeichnis haben wir verzichtet, da uber die zitierten Bucher leicht der AnschluE an neuere Ent wicklungen in der Theorie der formalen Sprachen hergestellt werden kann. Bei der Losung der Aufgaben haben wir groEe Unterstutzung seitens Frau Dr. B. Schinzel, Dipl. -Math. W. Kern, Dipl. -Math.
فهرست مطالب
Front Matter....Pages i-viii
Einführung in die Theorie der formalen Sprachen....Pages 1-32
Regelsprachen....Pages 33-71
Mathematische Maschinen....Pages 72-119
Abschlusseigenschaften....Pages 120-151
Entscheidbarkeit....Pages 152-169
Eindeutigkeit und Mehrdeutigkeit....Pages 170-200
Eine Einführung in die Syntaktische Analyse....Pages 201-233
Back Matter....Pages 234-271
