TAILIEUCHUNG - Báo cáo khoa học: "Capturing CFLs with Tree Adjoining Grammars"

We define a decidable class of TAGs that is strongly equivalent to CFGs and is cubic-time parsable. This class serves to lexicalize CFGs in the same manner as the LC, FGs of Schabes and Waters but with considerably less restriction on the form of the grammars. The class provides a nornlal form for TAGs that generate local sets m rnuch the same way that regular g r a m m a r s provide a normal form for CFGs that generate regular sets. Introduction We introduce the notion of Regular Form for Tree Adjoining ( ; r a m. | Capturing CFLs with Tree Adjoining Grammars James Rogers Dept of Computer and Information Sciences University of Delaware Newark DE 19716 USA j Abstract We define a decidable class of TAGs that is strongly equivalent to CFGs and is cubic-time parsable. This class serves to lexicalize CFGs in the same manner as the LCFGs of Schabes and Waters but with considerably less restriction on the form of the grammars. The class provides a normal form for TAGs that generate local sets in much the same way that regular grammars provide a normal form for CFGs that generate regular sets. Introduction We introduce the notion of Regular Form for Tree Adjoining Grammars TAGs . The class of TAGs that are in regular from is equivalent in strong generative capacity 1 to the Context-Free Grammars that is the sets of trees generated by TAGs in this class are the local sets the sets of derivation trees generated by Our investigations were initially motivated by the work of Schabes Joshi and Waters in lexicalization of CFGs via TAGs Schabes and Joshi 1991 Joshi and Schabes 1992 Schabes and Waters 1993a Schabes and Waters 1993b Schabes 1990 . The class we describe not only serves to lexicalize CFGs in a way that is more faithful and more flexible in its encoding than earlier work but provides a basis for using the more expressive TAG formalism to define Context-Free Languages CFLs. In Schabes et al. 1988 and Schabes 1990 a general notion of grammars is introduced. A grammar is lexicalized in this sense if each of the basic structures it manipulates is associated with a lexical item its anchor. The set of structures relevant to a particular input string then is selected by the lexical The work reported here owes a great deal to extensive discussions with K. Vijay-Shanker. 1 We will refer to equivalence of the sets of trees generated by two grammars or classes of grammars as strong equivalence. Equivalence of their string languages will be referred to

TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.