Semantics of context-free languages. Mathematical Sys- tems Theory, 2(2):127-145, June 1968. Correction: Mathematical Systems Theory 5, 1, pp. 95-96 (March 1971).D. E. Knuth, “Semantics of Context-free Languages,” Math. Syst. Theory 2 : 127–146 (1968)....
摘要: We show that, for functors with suitable mild restrictions, the initial algebra in the category of sets and functions gives rise to the final coalgebra in the (Kleisli) category of sets and relations.关键词: CiteSeerX citations Context-free languages via coalgebraic trace semantics Ichiro...
Formal semantics of Natural Language: Two theories about adjectives J. A. W. Kamp Dec 1975 218 被引用 · 0 笔记 收藏 Semantics of context-free languages: Correction Donald E. Knuth Jun 1971 203 被引用 · 0 笔记 收藏 A Semantics for Unaccusatives and its Syntactic Consequences Gennaro Chi...
Define semantics. semantics synonyms, semantics pronunciation, semantics translation, English dictionary definition of semantics. n. 1. Linguistics a. The study or science of meaning in language. b. The competence of a speaker with regard to the interpre
Context-Free Language and Sense in Translation 441 Special Languages: Current and Historical Perspectives Richard J. Brunt "My waterworks are playing me up something chronic." The Description of the English of Medicine and Some Didactic Implications .. 447 ...
The following survey will evaluate various semantic theories according to how well they explain compositionality, reference, and other important characteristics of natural languages. Get Unlimited Access Try Britannica Premium for free and discover more. Subscribe Historical and contemporary theories of ...
This paper investigates a system of composite mood marking in the non-Pama-Nyungan languages of northern Australia, which generally mark modal meanings thr... Verstraete,Jean-Christophe - 《Linguistic Typology》 被引量: 42发表: 2005年 World-Making and World-Revealing: Semantics and Pragmatics of ...
// of B's data space and vtable s = &F; // static semantic error; F lacks the additional // data and vtable entries of a bar In C++ (as in all statically typed object-oriented languages), the compiler can verify the type correctness of this code statically. It does not know what...
Programming languages Semantics Maude K 1. Introduction The disconnect between theory and practice is one of the worse evils in computer science. Theory disconnected from practice becomes irrelevant; and practice without theory becomes brute-force, costly and ad-hoc engineering. One of the current cha...
The Formal Semantics of Programming Languages The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and... G Winskel - MIT Press 被引量: 2266发表: 1993年 ...