مشخصات کتاب

Formale Sprachen, abstrakte Automaten und Compiler: Lehr- und Arbeitsbuch für Grundstudium und Fortbildung

دسته بندی: آموزشی
ویرایش:  
نویسندگان: Christian Wagenknecht. Michael Hielscher (auth.)  
سری:  
ISBN (شابک) : 3834806242, 9783834806246 
ناشر: Vieweg+Teubner 
سال نشر: 2009 
تعداد صفحات: 246 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

کلمات کلیدی مربوط به کتاب زبان‌های رسمی، خودکارهای انتزاعی و کامپایلرها: کتاب درسی و کتاب کار برای مطالعات پایه و آموزش پیشرفته: تئوری محاسبات

در صورت تبدیل فایل کتاب Formale Sprachen, abstrakte Automaten und Compiler: Lehr- und Arbeitsbuch für Grundstudium und Fortbildung به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب زبان‌های رسمی، خودکارهای انتزاعی و کامپایلرها: کتاب درسی و کتاب کار برای مطالعات پایه و آموزش پیشرفته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب زبان‌های رسمی، خودکارهای انتزاعی و کامپایلرها: کتاب درسی و کتاب کار برای مطالعات پایه و آموزش پیشرفته

محتوای نسبتاً انتزاعی علوم کامپیوتر نظری با مثال‌های کاربردی عملی انگیزه می‌گیرد که به وضوح و در تمرین‌ها عمیق‌تر شده است. در سراسر کتاب، قصد ایجاد یک کامپایلر برای یک زبان با جلوه های گرافیکی است. مشارکت های لازم در نقاط مناسب انجام می شود و جنبه های تولید کامپایلر خودکار مورد بحث قرار می گیرد.

AtoCC اجزای به هم پیوسته ای را برای مدل سازی زبان های رسمی، عبارات منظم، خودکارهای انتزاعی و برای تولید کامپایلر خودکار از توضیحات گرافیکی-بصری فراهم می کند. محیط یادگیری و کار AtoCC به طور ویژه برای مطالعه علوم کامپیوتر نظری توسعه یافته است و قبلاً با موفقیت در چندین دانشگاه و مدرسه استفاده شده است. AtoCC دانش نظری را از طریق تمرین های عملی و پروژه های کاربردی جذاب در زمینه های گرافیک و صدا تعمیق می بخشد. امروزه ما همچنین ترجمه و پردازش زبان های کم و بیش پیچیده را پیدا می کنیم، به عنوان مثال، در برنامه های کاربردی وب مدرن.

توضیحاتی درمورد کتاب به خارجی

Die eher abstrakten Inhalte der Theoretischen Informatik werden aus praktischen Anwendungsbeispielen heraus motiviert, anschaulich vermittelt und in Übungen vertieft. Durch das gesamte Buch hindurch zieht sich das Vorhaben, einen Compiler für eine Sprache mit grafischen Effekten herzustellen. An den entsprechenden Stellen werden die dafür notwendigen Beiträge erarbeitet und Aspekte automatisierter Compilergenerierung thematisiert.

Zur Modellierung formaler Sprachen, regulärer Ausdrücke, abstrakter Automaten und zur automatisierten Compilergenerierung aus einer grafisch-visuellen Beschreibung stellt AtoCC miteinander vernetzter Komponenten zur Verfügung. Die Lern- und Arbeitsumgebung AtoCC wurde speziell für das Studium der theoretischen Informatik entwickelt und bereits an mehreren Hochschulen und Schulen erfolgreich eingesetzt. AtoCC vertieft Theoriewissen durch praktische Übungen und attraktive Anwendungsprojekte aus dem Grafik- und Audiobereich. Übersetzung und Verarbeitung mehr oder weniger komplexer Sprachen finden wir heute beispielsweise auch in modernen Web-Applikationen.

فهرست مطالب

Front Matter....Pages I-XI
Einleitung....Pages 1-4
Struktur von Programmen....Pages 5-16
Grundbegriffe....Pages 17-25
Definition unendlicher Mengen....Pages 27-46
Sprachübersetzer....Pages 47-60
Endliche Automaten und reguläre Sprachen....Pages 61-104
Reguläre Ausdrücke....Pages 105-125
Kellerautomaten und kontextfreie Sprachen....Pages 127-160
LL(k)-Sprachen....Pages 161-185
LR(k)-Sprachen....Pages 187-205
Sprachübersetzerprojekt....Pages 207-219
T uring -Maschine (TM) und C homsky -Typ-0/1-Sprachen....Pages 221-236
Back Matter....Pages 237-243

نظرات کاربران

کتاب های مرتبط

دانلود کتاب Oxford Textbook of Clinical Nephrology, 3 e 2005

دانلود کتاب Putting Social Development to Work for the Poor: An OED Review of World Bank Activities (Operations Evaluation Studies) (Operations Evaluation Study)

دانلود کتاب A Dictionary of Astronomy (Oxford Paperback Reference)

دانلود کتاب Healthy Aging for Dummies

دانلود کتاب Smiling Through the Cultural Catastrophe: Toward the Revival of Higher Education

دانلود کتاب Jews and Revolution in Nineteenth-Century Russia

دانلود کتاب The Juridical Bay (Oxford Monographs in International Law)

دانلود کتاب Virtual Environments for Teaching & Learning (Series on Innovative Intelligence)

دانلود کتاب Contentious Geographies (Ashgate Studies in Environmental Policy and Practice)

دانلود کتاب Narrating Transformative Learning in Education