On the Classification of Recursive Languages

A one-sided classifier for a given class of languages converges to 1 on every language from the class and outputs 0 infinitely often on languages outside the class. A two-sided classifier, on the other hand, converges to 1 on languages from the class and converges to 0 on languages outside the class. The present paper investigates one-sided and two-sided classification for classes of recursive languages. Theorems are presented that help assess the classifiability of natural classes. The relationships of classification to inductive learning theory and to structural complexity theory in terms of Turing degrees are studied. Furthermore, the special case of classification from only positive data is also investigated.

Parallel parsing of programming languages

A new method of specifying the syntax of programming languages, known as hierarchical language specifications (HLS), is proposed. Efficient parallel algorithms for parsing languages generated by HLS are presented. These algorithms run on an exclusive-read exclusive-write parallel random-access machine. They require O(n) processors and O(log2n) time, where n is the length of the string to be parsed. The most important feature of these algorithms is that they do not use a stack.

Flawed Premises and Unexpected Consequences: Support of Regional Languages in Europe:Support of Regional Languages in Europe

This article discusses the relationship between three language communities in Europe with variant levels of official recognition, namely Kashub, Sorb, and Silesian, and the institutions of their host states as regards their respective use, promotion, and revital-ization. Most language communities across the world campaign for recognition within a geographic/political region, or on the basis of a historic/group identity to ensure their language's use and status. The examples discussed here illustrate that language recognition and policies resulting therefrom and promoting official monolin-gualism strengthen the symbolic status of the language but contribute little to the functionality of language communities outside the area. As this article illustrates, in increasingly multilingual societies, language policies cut off its speakers from the political, economic, and social opportunities accessible through the medium of languages that lack official recognition locally. © 2014 Taylor & Francis Group, LLC.

Intimate Ecologies: An exploration of the languages of contemporary exhibitions and making in museums and related cultural spaces in the UK

Intimate Ecologies considers the practice of exhibition-making over the past decade in formal museum and gallery spaces and its relationship to creating a concept of craft in contemporary Britain. Different forms of expression found in traditions of still life painting, film and moving image, poetic text and performance are examined to highlight the complex layers of language at play in exhibitions and within a concept of craft. The thesis presents arguments for understanding the value of embodied material knowledge to aesthetic experience in exhibitions, across a spectrum of human expression. These are supported by reference to exhibition case studies, critical and theoretical works from fields including social anthropology, architecture, art and design history and literary criticism and a range of individual, original works of art. Intimate Ecologies concludes that the museum exhibition, as a creative medium for understanding objects, becomes enriched by close study of material practice, and embodied knowledge that draws on a concept of craft. In turn a concept of craft is refreshed by the makers’ participation in shifting patterns of exhibition-making in cultural spaces that allow the layers of language embedded in complex objects to be experienced from different perspectives. Both art-making and the experience of objects are intimate, and infinitely varied: a vibrant ecology of exhibition-making gives space to this diversity.

Contested and contesting identities: minority languages vs. the teaching of 'world' languages within the global cultural economy

This paper juxtaposes postmodernist discourses on language, identity and cultural power with historical forms of language inequalities grounded in the nation-state. The discussion is presented in three sections. The first section focuses on the mixed legacies of language-state relations within the pluralist nation-state, colonial and postcolonial language policies. The second section examines the concept of linguistic minority rights beyond the nation-state. This incorporates discussion of transmigration, the breaking up of previous power blocs in Eastern Europe and the role of language in the articulation of emergent 'ethnic' nationalisms. The third section examines the concept of multilingualism within the interactive cultural landscape defined by 'informationalism'. Discussing the collective impact of these variables on the shaping of new cultural, economic and political inequalities, the paper highlights the tensions in which the concept of linguistic minority rights exists in the world today.

Teaching English to speakers of other languages teachers’ views on the relationship between research and practice

This paper reports on a study investigating teachers’ views and beliefs about the relationship between second language (L2) research and practice. Although a gap has been frequently reported between the two, there is little empirical data to show what teachers’ views on this relationship are or how these views and beliefs influence their use of research. A total of 60 TESOL1 teachers in England responded to a questionnaire which sought both qualitative and quantitative data. Results of the data analysis suggest that although their views on research and its usefulness are positive, teachers are mainly sceptical about the practicality and relevance of L2 research. More importantly, they expect research to originate from rather than end in classrooms and maintain that the prime responsibility of bringing research and practice together is to be shared by teacher training programmes and educational policies of the institutions they work in. Our analysis of the data further implies that there are differences between teachers’ epistemological assumptions and the more established notions of research.

Expressiveness of Concurrent Languages

The aim of this thesis is to go through different approaches for proving expressiveness properties in several concurrent languages. We analyse four different calculi exploiting for each one a different technique. We begin with the analysis of a synchronous language, we explore the expressiveness of a fragment of CCS! (a variant of Milner's CCS where replication is considered instead of recursion) w.r.t. the existence of faithful encodings (i.e. encodings that respect the behaviour of the encoded model without introducing unnecessary computations) of models of computability strictly less expressive than Turing Machines. Namely, grammars of types 1,2 and 3 in the Chomsky Hierarchy. We then move to asynchronous languages and we study full abstraction for two Linda-like languages. Linda can be considered as the asynchronous version of CCS plus a shared memory (a multiset of elements) that is used for storing messages. After having defined a denotational semantics based on traces, we obtain fully abstract semantics for both languages by using suitable abstractions in order to identify different traces which do not correspond to different behaviours. Since the ability of one of the two variants considered of recognising multiple occurrences of messages in the store (which accounts for an increase of expressiveness) reflects in a less complex abstraction, we then study other languages where multiplicity plays a fundamental role. We consider the language CHR (Constraint Handling Rules) a language which uses multi-headed (guarded) rules. We prove that multiple heads augment the expressive power of the language. Indeed we show that if we restrict to rules where the head contains at most n atoms we could generate a hierarchy of languages with increasing expressiveness (i.e. the CHR language allowing at most n atoms in the heads is more expressive than the language allowing at most m atoms, with mof the rewriting rules, several dialects of the calculus can be obtained. We analyse the expressive power of some of these dialects by focusing on decidability and undecidability for problems like reachability and coverability.