دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: الگوریتم ها و ساختارهای داده ویرایش: نویسندگان: Zoltán Fülöp. Heiko Vogler سری: Monographs in Theoretical Computer Science. An EATCS Series ISBN (شابک) : 9783642722509, 9783642722486 ناشر: Springer سال نشر: 1998 تعداد صفحات: 278 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
کلمات کلیدی مربوط به کتاب معناشناسی دستوری نحوی: مدلهای رسمی مبتنی بر مبدلهای درختی: منطق ریاضی و زبان های رسمی، ریاضیات محاسباتی و آنالیز عددی، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Syntax-Directed Semantics: Formal Models Based on Tree Transducers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معناشناسی دستوری نحوی: مدلهای رسمی مبتنی بر مبدلهای درختی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
موضوع این کتاب بررسی مبدل های درختی است. مبدلهای درختی در علم کامپیوتر نظری به منظور مطالعه ویژگیهای کلی مدلهای رسمی معرفی شدند که به زبانهای عاری از بافت به روشی دستوری معناشناختی میدهند. چنین مدلهای رسمی شامل گرامرهای ویژگیها با ویژگیهای ترکیبشده، معنای معنایی و گرامرهای ادای احترام (با ویژگیهای ترکیبشده و ارثی) است. با این حال، این مدلهای رسمی دارای اجزای خاصی هستند که در بررسی ویژگیهای کلی در نظر گرفته شده در این کتاب بیربط هستند. به طور خاص، ما میتوانیم (الف) را از درختهای اشتقاقی گرامر بدون متن انتزاع کنیم و درختها را روی برخی از الفبای رتبهبندیشده، (ب) از حوزه معنایی مدل و به جای آن از عبارت اولیه جبر استفاده کنیم، و در نهایت (ج) از پارادایم محاسباتی ماشین گرا، که اطلاعات تجسم فراخوانی های تابع بازگشتی را حفظ می کند و به جای آن اصطلاحی را برای بازنویسی معناشناسی در نظر می گیرد. با استفاده از این سه مرحله انتزاعی برای نسبت دادن گرامرها با ویژگی های ترکیبی، به معناشناسی معنایی، و برای نسبت دادن گرامرها، به ترتیب مفاهیم مبدل درختی از بالا به پایین، مبدل درخت کلان، و مبدل درختی نسبت داده شده را به دست می آوریم. مبدل درختی نسبت داده شده ماکرو مفاهیم مبدل درخت ماکرو و مبدل درختی نسبت داده شده را ترکیب می کند. این کتاب ویژگی های کلی این چهار نوع مبدل درختی را بررسی می کند.
The subject of this book is the investigation of tree transducers. Tree trans ducers were introduced in theoretical computer science in order to study the general properties of formal models which give semantics to context-free languages in a syntax-directed way. Such formal models include attribute grammars with synthesized attributes only, denotational semantics, and at tribute grammars (with synthesized and inherited attributes). However, these formal models share certain constituents which are irrelevant in the investi gation of the general properties considered in this book. In particular, we can abstract (a) from derivation trees of the context-free grammar and take trees over some ranked alphabet, (b) from the semantic domain of the model and use the initial term algebra instead, and finally (c) from the machine oriented computation paradigm, which maintains the incarnation information of recursive function calls, and take a term rewriting semantics instead. Ap plying these three abstraction steps to attribute grammars with synthesized attributes only, to denotational semantics, and to attribute grammars we obtain the concepts of top-down tree transducer, macro tree transducer, and attributed tree transducer, respectively. The macro attributed tree transducer combines the concepts of the macro tree transducer and the attributed tree transducer. This book explores the general properties of these four types of tree transducers.
Front Matter....Pages I-X
Introduction....Pages 1-42
Basic Notions and Notations....Pages 43-60
Top-Down Tree Transducers....Pages 61-110
Macro Tree Transducers....Pages 111-136
Attributed Tree Transducers....Pages 137-171
Comparison of Induced Tree Transformation Classes....Pages 173-219
Macro Attributed Tree Transducers....Pages 221-240
Two Examples....Pages 241-256
Back Matter....Pages 257-273