Search results for "Syntax"

A syntax controlled generator of formal language processors

1963

Foundations for the formalization of metamathematics and axiomatizations of consequence theories

2004

Abstract This paper deals with Tarski's first axiomatic presentations of the syntax of deductive system. Andrzej Grzegorczyk's significant results which laid the foundations for the formalization of metalogic, are touched upon briefly. The results relate to Tarski's theory of concatenation, also called the theory of strings, and to Tarski's ideas on the formalization of metamathematics. There is a short mention of author's research in the field. The main part of the paper surveys research on the theory of deductive systems initiated by Tarski, in particular research on (i) the axiomatization of the general notion of consequence operation, (ii) axiom systems for the theories of classic conse…

Absences d’article et zones d’empiètement

2018

International audience; No abstract

Il clitico soggetto di terza persona al in friulano centrale. Proposta per una nuova analisi

2018

This chapter discusses the syntactic properties of the subject clitici pronoun 'al' ('he.CL') in Central Friulian. The description is based on a comparison with Western Friulian, in which the clitic cluster 'a l' occurs. We show that the Central Friulian 'al' is syntactically different and should be analysed as a single clitic. In the cases in which 'al' does not occur (this happens when another clitic pronoun is present), or when it occurs in the form -l (only after negation: 'nol' 'not=he.CL) is due to phonology. Our proposal is also strengthened by considering data from aphasia: aphasic speakers of Central Friulian seem to conceive the 'al' as a single clitic.

Populetum pamiricae ass. nova – an endemic forest association to Pamir in Tajikistan (Middle Asia)

2015

Abstract The floristic structure, distribution and habitat requirements of a forest syntaxon, Populetum pamiricae ass. nova is described. The potential range of the Populetum pamiricae association comprises the mountains of eastern Tajikistan (Pamir Alai Mts), Kashgaria in western China (Kunlun Shan Mts) and north-eastern Afghanistan (Hindu Kush Mts) in Middle Asia. The biotope of this community comprises of high mountain river valleys situated at elevations between 2,500 and 3,200 m above sea level. Phytocoenoses of the Populetum pamiricae association are characterized by the apparent domination in the tree layer of a diagnostic species, Populus pamirica. The tree stand has a mean cover ar…

The role of language on the reversal error. A study with bilingual Basque-Spanish students

2019

The reversal error is a prevalent phenomenon that consists of reversing the relationship between two variables when writing equations from comparison in verbal language. A study with 169 Basque/Spa...

The use of gerunds and infinitives in perceptive constructions

2016

In this article I compare the use of gerunds with perceptive verbs in Spanish and in Gardenese, a Rhaeto-Romance variety spoken in Northern Italy: perceptive gerunds are used as secondary predicates in Spanish, but as defective TP-complements in Gardenese. Following Rizzi’s (2014) account of parametric variation, I propose that the differences are due to the interplay of three parameters: a [+progressive] feature on Gardenese perception verbs, the pure lexical status of perception verbs in Gardenese and a [+Agreement] feature on Spanish gerunds. The discussion of the parameters involved leads to more general considerations, as a new proposal for the structure of perceptive ECMs in Romance, …

Downy-oak woods of Italy: phytogeographical remarks on a controversial taxonomic and ecologic issue

2014

The importance of downy oak as an integral component of the "submediterranean" woods has been underscored by many studies. Nevertheless, terms like "submediterranean" and "downy oak" are some of the most poorly understood concepts in European phytogeographic and taxonomic research. Downy oak is well known to be a problematic taxon. The name "Quercus pubescens" (= Q. humilis) combines populations characterized by increasing phenotypic and genomic polymorphisms along north-south gradients, which is explained as the result of a "founder effect" produced by a relatively fast post-glacial re-colonization of the northern areas through rare long-distance dispersal events. On the other hand, polymo…

Alnus glutinosa Riparian Woodlands of Italy and Corsica: Phytosociological Classification and Floristic Diversity

2022

A comparative analysis of the riparian vegetation dominated by Alnus glutinosa in Italy and Tyrrhenian islands, based on literature data and unpublished relevés, is presented. A total of 456 phytosociological relevés were processed. For the definition of plant communities and alliances, hierarchical clustering was performed by using Bray-Curtis coefficient and Detrended Correspondence Analysis ordination methods. Identification of diagnostic species of the vegetation units was performed by means of the phi fidelity index. Quantum GIS software version 3.6 was used for the interpolation of the bioclimatic variables and A. glutinosa communities. Overall, a total of 18 A. glutinos…

Teaching computer language handling - From compiler theory to meta-modelling

2011

Published version of a chapter in the book: Generative and Transformational Techniques in Software Engineering III. Also available from the publisher at: http://dx.doi.org/10.1007/978-3-642-18023-1_14 Most universities teach computer language handling by mainly focussing on compiler theory, although MDA (model-driven architecture) and meta-modelling are increasingly important in the software industry as well as in computer science. In this article, we investigate how traditional compiler theory compares to meta-modelling with regard to formally defining the different aspects of a language, and how we can expand the focus in computer language handling courses to also include meta-model-based…