Describing syntax with star-free regular expressions

Koskenniemen Äärellistilaisen leikkauskieliopin (FSIG) lauseopilliset rajoitteet ovat loogisesti vähemmän kompleksisia kuin mihin niissä käytetty formalismi vittaisi. Osoittautuukin että vaikka Voutilaisen (1994) englannin kielelle laatima FSIG-kuvaus käyttää useita säännöllisten lausekkeiden laajennuksia, kieliopin kuvaus kokonaisuutenaan palautuu äärelliseen yhdistelmään unionia, komplementtia ja peräkkäinasettelua. Tämä on oleellinen parannus ENGFSIG:n descriptiiviseen kompleksisuuteen. Tulos avaa ovia FSIG-kuvauksen loogisten ominaisuuksien syvemmälle analyysille ja FSIG kuvausten mahdolliselle optimoinnillle. Todistus sisältää uuden kaavan, joka kääntää Koskenniemien rajoiteoperaation ilman markkerimerkkejä.

Helsingin metropolialueen maisemaekologiset muutokset vuosina 1955-2009

Landscape is shaped by natural environment and increasingly by human activity. In landscape ecology, the concept of landscape can be defined as a kilometre-scale mosaic formed by different land-use types. In Helsinki Metropolitan Region, the landscape change caused by urbanization has accelerated after the 1950s. Prior to that, the landscape of the region was mainly only shaped by agriculture. The goal of this study was in addition to describing the landscape change to discuss the factors impacting the landscape change and evaluate thelandscape ecological impacts of the change. Three study areas at different distances from Helsinki city centre were chosen in order to look at the landscape change. Study areas were Malmi, Espoo and Mäntsälä regions representing different parts of the urban-to-rural gradient in 1955, 1975, 1990 and 2009. Land-use of the maps was then digitized into five classes: agricultural lands, semi-natural grasslands, built areas, waters and others using GIS methods. First, landscape change was studied using landscape ecological indices. Indices used were PLAND i.e. the proportions of the different land-use types in the landscape; MPS, SHEI and SHDI which describe fragmentation and heterogeneity of the landscape; and MSI and ED which are measures of patch shape. Second, landscape change was studied statistically in relation to topography, soil and urban structure of the study areas. Indicators used concerning urban structure were number of residents, car ownership and travel-related zones of urban form which indicate the degree of urban sprawl within the study areas. For the statistical analyses, each of the 9.25 x 9.25 km sized study areas was further divided into grids with resolution of 0.25 x 0.25 kilometres. Third, the changes in the green structure of the study areas were evaluated. The landscape change reflected by the proportions of the land-use types was the most notable in Malmi area where a large amount of agricultural land was developed from 1955 to 2009. The proportion of semi-natural grasslands also showed an interesting pattern in relation to urbanization. When urbanization started, a great number of agricultural lands were abandoned and turned into semi-natural grasslands but as the urbanization accelerated, the number of semi-natural grasslands started to decline because of urban densification. Landscape fragmentation and heterogeneity were the most widespread in Espoo study area which is not only because of the great differences in relative heights within the region but also its location in the rural-urban fringe. According to the results, urbanization induced agricultural lands to be more regular in shape both spatially and temporally whereas for built areas and semi-natural grasslands the impact of urbanization was reverse. Changes in landscape were the most insignificant in the most rural study area Mäntsälä. In Mäntsälä, built area per resident showed the greatest values indicating a widespread urban sprawl. The values were the smallest in highly urbanized Malmi study area. Unlike other study areas, in Mäntsälä the proportion of developing land in the ecologically disadvantageous cardependent zone was on the increase. On the other hand, the green structure of the Mäntsälä study area was the most advantageous whereas Malmi study area showed the most ecologically disadvantageous structure. Considering all the landscape ecological criteria used, the landscape structure of Espoo study area proved to be the best not least because of the great heterogeneity of its landscape. Thus the study confirmed the previous results according to which landscape heterogeneity is the most significant in areas exposed to a moderate human impact.

The Tourism-Development Nexus in Namibia : A Study on National Tourism Policy and Local Tourism Enterprises' Policy Knowledge

The tourism development nexus in southern Africa involves highly topical issues related to tourism planning, power relations, community participation, and natural resources. Namibia offers a particularly interesting context for the study of these issues due to its colonial legacy, vast tourism potential, recently adopted tourism policy and community-based approaches to tourism and natural resource management. This study is an interdisciplinary endeavour to analyse the role of tourism in Namibia s post-apartheid transformation process by focusing on Namibian tourism policy and local tourism enterprises' policy knowledge. Major attention is paid to how the tourism policy's national development objectives are understood and conceptualised by the representatives of different tourism enterprises and the ways in which they relate to the practical needs of the enterprises. Through such local policy knowledge the study explores various opportunities, challenges and constraints related to the promotion of tourism as a development strategy. The study utilises a political economy approach to tourism and development through three current and interrelated discourses which are relevant in the Namibian context. These are tourism, power and inequality, tourism and sustainable development, and tourism and poverty reduction. The qualitative research material was gathered in Namibia in 2006-2007 and 2008. This material consists of 34 semi-structured interviews in 16 tourism enterprises, including private trophy hunting farms and private lodges, small tour operators and community-based tourism enterprises. In addition, the research material consists of observations in the enterprises, and 37 informal and 23 expert interviews. The findings indicate that in the light of local tourism enterprises the tourism policy objectives appear more complex and ambiguous. Furthermore, they involve multiple meanings and interpretations which reflect the socio-economic stratification of the informants and Namibian society, together with the professional stratification of the tourism enterprises and restrictions on the capacity of tourism to address the development objectives. In the light of such findings it is obvious that aspects of power and inequality affect the tourism development nexus in Namibia. The study concludes that, as in the case of other southern African countries, in order to promote sustainable development and reduce poverty, Namibia should not only target tourism growth but pay attention to who benefits from that growth and how. From a political economy point of view, it is important that prevailing structural challenges are addressed equally in the planning of tourism, development and natural resource management. Such approach would help the Namibian majority to enjoy the benefits of increasing tourism in the country.

Properties of Toeplitz operators on analytic function spaces : from function symbols to distributions

Toeplitz operators are among the most important classes of concrete operators with applications to several branches of pure and applied mathematics. This doctoral thesis deals with Toeplitz operators on analytic Bergman, Bloch and Fock spaces. Usually, a Toeplitz operator is a composition of multiplication by a function and a suitable projection. The present work deals with generalizing the notion to the case where the function is replaced by a distributional symbol. Fredholm theory for Toeplitz operators with matrix-valued symbols is also considered. The subject of this thesis belongs to the areas of complex analysis, functional analysis and operator theory. This work contains five research articles. The articles one, three and four deal with finding suitable distributional classes in Bergman, Fock and Bloch spaces, respectively. In each case the symbol class to be considered turns out to be a certain weighted Sobolev-type space of distributions. The Bergman space setting is the most straightforward. When dealing with Fock spaces, some difficulties arise due to unboundedness of the complex plane and the properties of the Gaussian measure in the definition. In the Bloch-type spaces an additional logarithmic weight must be introduced. Sufficient conditions for boundedness and compactness are derived. The article two contains a portion showing that under additional assumptions, the condition for Bergman spaces is also necessary. The fifth article deals with Fredholm theory for Toeplitz operators having matrix-valued symbols. The essential spectra and index theorems are obtained with the help of Hardy space factorization and the Berezin transform, for instance. The article two also has a part dealing with matrix-valued symbols in a non-reflexive Bergman space, in which case a condition on the oscillation of the symbol (a logarithmic VMO-condition) must be added.