pattern matching compilation of functions defined in context-free languages

LFC is a functional language based on recursive functions defined in context-free languages. In this paper, a new pattern matching algorithm for LFC is presented, which can represent a sequence of patterns as an integer by an encoding method. It is a rather simple method and produces efficient case-expressions for pattern matching definitions of LFC. The algorithm can also be used for other functional languages, but for nested patterns it may become complicated and further studies are needed.

facilitating formal specification acquisition by using recursive functions on context-free languages

Although formal specification techniques are very useful in software development, the acquisition of formal specifications is a difficult task. This paper presents the formal specification language LFC, which is designed to facilitate the acquisition and validation of formal specifications. LFC uses context-free languages for syntactic aspect and relies on a new kind of recursive functions, i.e. recursive functions on context-free languages, for semantic aspect of specifications. Construction and validation of LFC specifications are machine-aided. The basic ideas behind LFC, the main aspects of LFC, and the use of LFC and illustrative examples are described.

on string languages generated by spiking neural p systems

We continue the study of spiking neural P systems by considering these computing devices as binary string generators: the set of spike trains of halting computations of a given system constitutes the language generated by that system. Although the "direct" generative capacity of spiking neural P systems is rather restricted (some very simple languages cannot be generated in this framework), regular languages are inverse-morphic images of languages of finite spiking neural P systems, and recursively enumerable languages are projections of inverse-morphic images of languages generated by spiking neural P systems.

A Note of Zipf's Law, Natural Languages, and Noncoding DNA Regions

In Phys. Rev. Letters (73:2), Mantegna et al. conclude on the basis of Zipf rank frequency data that noncoding DNA sequence regions are more like natural languages than coding regions. We argue on the contrary that an empirical fit to Zipf"s "law" cannot be used as a criterion for similarity to natural languages. Although DNA is a presumably "organized system of signs" in Mandelbrot"s (1961) sense, and observation of statistical featurs of the sort presented in the Mantegna et al. paper does not shed light on the similarity between DNA's "gramar" and natural language grammars, just as the observation of exact Zipf-like behavior cannot distinguish between the underlying processes of tossing an M-sided die or a finite-state branching process.

Supporting Dynamic Languages on the Java Virtual Machine

In this note, I propose two extensions to the Java virtual machine (or VM) to allow dynamic languages such as Dylan, Scheme and Smalltalk to be efficiently implemented on the VM. These extensions do not affect the performance of pure Java programs on the machine. The first extension allows for efficient encoding of dynamic data; the second allows for efficient encoding of language-specific computational elements.

Studies on Celtic Languages before the Year 1000

Sims-Williams, Patrick, Studies on Celtic Languages before the Year 1000 (Aberystwyth, CMCS Publications, 2007) RAE2008

Zintegrowane podejście dyskursywne do rozwijania sprawności mownych; przedstawienie celów i założeń projektu badawczego

Celem artykułu jest przedstawienie projektu o charakterze badawczo-wdrożeniowym dotyczącego doskonalenia obcojęzycznych kompetencji mownych (wypowiadanie się i rozumienie wypowiedzi ustnych) na poziomie zaawansowanym i przygotowywanym w Instytucie Filologii Romańskiej UAM. Niniejszy projekt zakłada, że istnieją spore możliwości podniesienia skuteczności i ekonomii kształcenia kompetencji mownych, poprzez zintegrowane podejście do celów kształcenia, a także poprzez wykorzystanie narzędzi internetowych. Podejście to zasadza się na integracji trzech zakresów kształcenia, a mianowicie: (1) doskonalenia umiejętności interakcyjnych w zakresie komunikacji półpublicznej, (2) rozwoju kompetencji medialnej oraz (3) rozwoju wiedzy dot. aktualnej, szeroko pojmowanej problematyki społeczno-kulturowej i krytycznego, zobiektywizowanego myślenia w stosunku do prezentowanych ujęć i naświetleń tej problematyki. W niniejszym omówieniu główny nacisk położony zostanie na uargumentowanie zasadności postulowanego zintegrowanego podejścia dyskursywnego, a także na wykazanie wartości dydaktycznej wybranych audycji medialnych. Zaprezentowane zostaną również główne kierunki pracy dydaktycznej oraz wyniki badania pilotażowego.

Les anglicismes dans le dicours électronique médié

Although French is a Romance language descendant ffrom the Latin, there is of course some influence of other languages on it. English is perhaps the most important source of loan-words for the present French language. Our article is focused on new forms of written communication, mainly computer-mediated communication (CMC). The main aim of this article is to analyze the loan-words, especially the anglicisms that are used by chatters in various French chats. After examining the motivations of loan, the article studies the frequency of anglicisms in three chats and observes their grammatical adaptation in the context of CMC. A huge richness of anglicisms is illustrated by concrete examples taken from our corpus.

StaXML: Static Typing of XML Document Fragments for Imperative Web Scripting Languages

We present a type system, StaXML, which employs the stacked type syntax to represent essential aspects of the potential roles of XML fragments to the structure of complete XML documents. The simplest application of this system is to enforce well-formedness upon the construction of XML documents without requiring the use of templates or balanced "gap plugging" operators; this allows it to be applied to programs written according to common imperative web scripting idioms, particularly the echoing of unbalanced XML fragments to an output buffer. The system can be extended to verify particular XML applications such as XHTML and identifying individual XML tags constructed from their lexical components. We also present StaXML for PHP, a prototype precompiler for the PHP4 scripting language which infers StaXML types for expressions without assistance from the programmer.

Milton and romance: vernacular romance and chivalric traditions in Paradise Lost

The thesis examines Milton's strategic use of romance in Paradise Lost, arguing that such a handling of romance is a provocative realignment of its values according to the poet’s Christian focus. The thesis argues that Milton's use of romance is not simply the importation of a tradition into the poem; it entails a backward judgement on that tradition, defining its idealising tendencies as fundamentally misplaced. The thesis also examines the Caroline uses of romance and chivalry in the 1630s to provide a vision of British unification, and Milton's reaction to this political agenda.

The Evolution of the Russian Romance Through the Nineteenth and Twentieth centuries

This performance dissertation traced the evolution of the Russian romance from 1800 to the present. The Russian romance is a relatively unknown and greatly neglected genre of classical art songs. It is commonly believed that the Russian romance began with Dargomizhsky and Glinka proceeding directly to Tchaikovsky and Rachmaninoff. Forgotten are the composers before Dargornizhsky and Glinka, the bridge composers, and the post-Tchaikovsky and post-Rachmaninoff composers. This may be, in part, because of the difficulties in obtaining Russian vocal scores. While most of the musical world is acquainted with the magnificent Russian instrumental music, the "true soul" of the Russian people lies in its romances. I presented examples of the two different schools of composition, reflecting their philosophical differences in thinking that came about in the 1860s: (1) Russian National school, (2) Western European school. Each school's influence on generations of Russian composers and their pupils have been represented in the recital programs. Also represented was the effect of the October Revolution on music and the voice of the Russian people, Anna Akhmatova. The amount of music that could be included in this dissertation greatly exceeds the amount of available performance time and represents a selected portion of the repertoire. The first recital included repertoire from the beginning of the romance in the early nineteenth century to the beginning of the twentieth century and the second recital focused on the music of the twentieth century, pre and post, the October Revolution. Finally, given the status of Anna Akhmatova and her contributions, the third recital was devoted entirely to her poetry. The "Russian soul" is one of deep, heartfelt emotions and sorrow. Happiness and joy are also present, but always with a touch of melancholy. The audience did not simply go through a musical journey, but took a journey through the "Russian soul". With the strong response of the audience to these recitals, my belief that this repertoire deserves a prominent place in recital programming was confirmed.

Internal languages of retrieval: the bilingual encoding of memories for the personal past.

In contrast to most research on bilingual memory that focuses on how words in either lexicon are mapped onto memory for objects and concepts, we focus on memory for events in the personal past. Using a word-cue technique in sessions devoted exclusively to one language, we found that older Hispanic immigrants who had come to the United States as adults internally retrieved autobiographical memories in Spanish for events in the country of origin and in English for events in the U.S. These participants were consistently capable of discerning whether a memory had come to them "in words" or not, reflecting the distinction between purely imagistic or conceptual memories and specifically linguistic memories. Via examination of other phenomenological features of these memories (sense of re-living, sensory detail, emotionality, and rehearsal), we conclude that the linguistic/nonlinguistic distinction is fundamental and independent of these other characteristics. Bilinguals encode and retrieve certain autobiographical memories in one or the other language according to the context of encoding, and these linguistic characteristics are stable properties of those memories over time.