ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Syntax-Directed Semantics: Formal Models Based on Tree Transducers

دانلود کتاب معناشناسی دستوری نحوی: مدل‌های رسمی مبتنی بر مبدل‌های درختی

Syntax-Directed Semantics: Formal Models Based on Tree Transducers

مشخصات کتاب

Syntax-Directed Semantics: Formal Models Based on Tree Transducers

دسته بندی: الگوریتم ها و ساختارهای داده
ویرایش:  
نویسندگان:   
سری: Monographs in Theoretical Computer Science. An EATCS Series 
ISBN (شابک) : 9783642722509, 9783642722486 
ناشر: Springer 
سال نشر: 1998 
تعداد صفحات: 278 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

قیمت کتاب (تومان) : 47,000



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



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 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




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