Parsing Schemata: A Framework for Specification and Analysis of Parsing Algorithms

تجزیه، تحلیل نحوی زبان، به طور گسترده در علوم کامپیوتر و زبان‌شناسی محاسباتی مورد مطالعه قرار گرفته است. برنامه‌های رایانه‌ای و زبان‌های طبیعی یک نظریه اساسی در مورد زبان‌های رسمی مشترک دارند و به الگوریتم‌های تجزیه کارآمد نیاز دارند. این مقدمه نظریه تجزیه را از منظری بدیع مرور می کند. این فرمالیسمی را برای به دست آوردن ویژگی‌های اساسی یک تجزیه‌کننده ارائه می‌کند که از جزئیات دقیق انتزاع می‌کند و امکان توصیف و مقایسه یکنواخت انواع تجزیه‌کننده‌ها، از جمله تجزیه‌کننده‌های Earley، Tomita، LR، Left-Corner و Head-Corner را فراهم می‌کند. تاکید بر گرامر ساختار عبارات بدون بافت و چگونگی گسترش این تجزیه کننده ها به فرمالیسم های یکسان سازی است. این کتاب دقت ریاضی را با خوانایی بالا ترکیب می کند و به عنوان متن دوره تحصیلات تکمیلی مناسب است.

Parsing, the syntactic analysis of language, has been studied extensively in computer science and computational linguistics. Computer programs and natural languages share an underlying theory of formal languages and require efficient parsing algorithms. This introduction reviews the theory of parsing from a novel perspective. It provides a formalism to capture the essential traits of a parser that abstracts from the fine detail and allows a uniform description and comparison of a variety of parsers, including Earley, Tomita, LR, Left-Corner, and Head-Corner parsers. The emphasis is on context-free phrase structure grammar and how these parsers can be extended to unification formalisms. The book combines mathematical rigor with high readability and is suitable as a graduate course text.