Global Syntax and Semantics for Recursively Enumerable Languages

Article type: Research Article

Authors: Calude, Cristian | Pǎun, Gheorghe

Affiliations: University of Buoharest

Abstract: According to (Benson, 1970), a syntax is a category of strings and derivations (modulo similarity) between them. In this paper the semantic domain is an elementary topes. Thus, an interpretation of a syntax is a cofunctor taking strigs to products and derivations to morphisms. It is proved the existence of a free x – category U such that every syntax is a full subcategory of U, which can be determined recursively. Every interpretation of a syntax is the restriction of the interpretation of U.

DOI: 10.3233/FI-1981-4203

Journal: Fundamenta Informaticae, vol. 4, no. 2, pp. 245-254, 1981