An improved tool for automated compiler construction

Since the advent of High Level Programming languages (HLPLs) in the early 1950s researchers have sought ways to automate the construction of HLPL compilers. To this end a variety of Translator Writing Tools (TWTs) have been developed in the last three decades. However, only a very few of these tools have gained significant commercial acceptance. This thesis re-examines traditional compiler construction techniques, along with a number of previous TWTs, and proposes a new improved tool for automated compiler construction called the Aston Compiler Constructor (ACC). This new tool allows the specification of complete compilation systems using a high level compiler oriented specification notation called the Compiler Construction Language (CCL). This specification notation is based on a modern variant of Backus Naur Form (BNF) and an extended variant of Attribute Grammars (AGs). The implementation and processing of the CCL is discussed along with an extensive CCL example. The CCL is shown to have an extensive expressive power, to be convenient in use, and highly readable, and thus a superior alternative to earlier TWTs, and to traditional compiler construction techniques. The execution performance of CCL specifications is evaluated and shown to be acceptable. A number of related areas are also addressed, including tools for the rapid construction of individual compiler components, and tools for the construction of compilation systems for multiprocessor operating systems and hardware. This latter area is expected to become of particular interest in future years due to the anticipated increased use of multiprocessor architectures.

A unification-based natural language interface to a database.

An implementation of a Lexical Functional Grammar (LFG) natural language front-end to a database is presented, and its capabilities demonstrated by reference to a set of queries used in the Chat-80 system. The potential of LFG for such applications is explored. Other grammars previously used for this purpose are briefly reviewed and contrasted with LFG. The basic LFG formalism is fully described, both as to its syntax and semantics, and the deficiencies of the latter for database access application shown. Other current LFG implementations are reviewed and contrasted with the LFG implementation developed here specifically for database access. The implementation described here allows a natural language interface to a specific Prolog database to be produced from a set of grammar rule and lexical specifications in an LFG-like notation. In addition to this the interface system uses a simple database description to compile metadata about the database for later use in planning the execution of queries. Extensions to LFG's semantic component are shown to be necessary to produce a satisfactory functional analysis and semantic output for querying a database. A diverse set of natural language constructs are analysed using LFG and the derivation of Prolog queries from the F-structure output of LFG is illustrated. The functional description produced from LFG is proposed as sufficient for resolving many problems of quantification and attachment.

The use of deterministic parsers on sublanguage for machine translation

For more than forty years, research has been on going in the use of the computer in the processing of natural language. During this period methods have evolved, with various parsing techniques and grammars coming to prominence. Problems still exist, not least in the field of Machine Translation. However, one of the successes in this field is the translation of sublanguage. The present work reports Deterministic Parsing, a relatively new parsing technique, and its application to the sublanguage of an aircraft maintenance manual for Machine Translation. The aim has been to investigate the practicability of using Deterministic Parsers in the analysis stage of a Machine Translation system. Machine Translation, Sublanguage and parsing are described in general terms with a review of Deterministic parsing systems, pertinent to this research, being presented in detail. The interaction between machine Translation, Sublanguage and Parsing, including Deterministic parsing, is also highlighted. Two types of Deterministic Parser have been investigated, a Marcus-type parser, based on the basic design of the original Deterministic parser (Marcus, 1980) and an LR-type Deterministic Parser for natural language, based on the LR parsing algorithm. In total, four Deterministic Parsers have been built and are described in the thesis. Two of the Deterministic Parsers are prototypes from which the remaining two parsers to be used on sublanguage have been developed. This thesis reports the results of parsing by the prototypes, a Marcus-type parser and an LR-type parser which have a similar grammatical and linguistic range to the original Marcus parser. The Marcus-type parser uses a grammar of production rules, whereas the LR-type parser employs a Definite Clause Grammar(DGC).

Fitness and novelty in evolutionary art

In this paper the effects of introducing novelty search in evolutionary art are explored. Our algorithm combines fitness and novelty metrics to frame image evolution as a multi-objective optimisation problem, promoting the creation of images that are both suitable and diverse. The method is illustrated by using two evolutionary art engines for the evolution of figurative objects and context free design grammars. The results demonstrate the ability of the algorithm to obtain a larger set of fit images compared to traditional fitness-based evolution, regardless of the engine used.

Derivation of Context-free Stochastic L-Grammar Rules for Promoter Sequence Modeling Using Support Vector Machine

Formal grammars can used for describing complex repeatable structures such as DNA sequences. In this paper, we describe the structural composition of DNA sequences using a context-free stochastic L-grammar. L-grammars are a special class of parallel grammars that can model the growth of living organisms, e.g. plant development, and model the morphology of a variety of organisms. We believe that parallel grammars also can be used for modeling genetic mechanisms and sequences such as promoters. Promoters are short regulatory DNA sequences located upstream of a gene. Detection of promoters in DNA sequences is important for successful gene prediction. Promoters can be recognized by certain patterns that are conserved within a species, but there are many exceptions which makes the promoter recognition a complex problem. We replace the problem of promoter recognition by induction of context-free stochastic L-grammar rules, which are later used for the structural analysis of promoter sequences. L-grammar rules are derived automatically from the drosophila and vertebrate promoter datasets using a genetic programming technique and their fitness is evaluated using a Support Vector Machine (SVM) classifier. The artificial promoter sequences generated using the derived L- grammar rules are analyzed and compared with natural promoter sequences.

Ontology-Based Model of Representation of Knowledge about Language Mappings

The paper presents a short review of some systems for program transformations performed on the basis of the internal intermediate representations of these programs. Many systems try to support several languages of representation of the source texts of programs and solve the task of their translation into the internal representation. This task is still a challenge as it is effort-consuming. To reduce the effort, different systems of translator construction, ready compilers with ready grammars of outside designers are used. Though this approach saves the effort, it has its drawbacks and constraints. The paper presents the general idea of using the mapping approach to solve the task within the framework of program transformations and overcome the disadvantages of the existing systems. The paper demonstrates a fragment of the ontology model of high-level languages mappings onto the single representation and gives the example of how the description of (a fragment) a particular mapping is represented in accordance with the ontology model.

Using Inside-Outside Algorithm for Estimation of the Offspring Distribution in Multitype Branching Processes

Multitype branching processes (MTBP) model branching structures, where the nodes of the resulting tree are particles of different types. Usually such a process is not observable in the sense of the whole tree, but only as the “generation” at a given moment in time, which consists of the number of particles of every type. This requires an EM-type algorithm to obtain a maximum likelihood (ML) estimate of the parameters of the branching process. Using a version of the inside-outside algorithm for stochastic context-free grammars (SCFG), such an estimate could be obtained for the offspring distribution of the process.

Em Estimation of the Offspring Distribution in Mutitype Branching Processes - a Model in Cell Kinetics

2000 Mathematics Subject Classification: 60J80, 60J85, 62P10, 92D25.

Padrões de ordenação de constituintes das construções V2/V3 superficiais em cartas pessoais brasileiras dos séculos 19 e 20

In line with the model of grammar competition (Kroch, 1989; 2001), according to which the change in the syntactic domains is a process that develops via competition between different grammars, we describe and analyze the superficial constructions V2 / V3 in matrices / roots sentences of brazilian personal letters of the 19th and 20th centuries. The corpus, composed by 154 personal letters of Rio de Janeiro and Rio Grande do Norte, is divided into three century halves: (i) latter half of the 19th century; (ii) first half of the 20th century; and (iii) latter half of the 20th century. Our focus was the observation of the nature of preverbal constituents in superficial constructions V2 (verb in second position in the sentence) and V3 (verb in third position in the sentence), with a special attention on the position of the subject. Based on the various diachronical studies about the Portuguese ordination standards (Ambar (1992); Ribeiro (1995, 2001); Paixão de Sousa (2004); Paiva (2011), Coelho and Martins (2009, 2012)), our study sought to realize what are empirical ordination standards that involve superficial constructions V2 / V3 and how these patterns structure syntactically within a formal theoretical perspective (Chomsky, 1981; 1986), more specifically, in accordance with studies of Antonelli (2011), and Costa & Galves (2002). The survey results show that the data from the second half of the 19th century – unlike the first and second half of the 20th century data – have a greater balance in relation to the syntactic nature of preverbal constituent (contiguous or not), so that, in this period, the occurrence of orders with the subject in a preverbal position arrives at, at most, 52% (231/444 data); while in the 48% (213/444 data) remaining, the preverbal constituents are represented by a non-subject constituent, almost always an adverbial adjunct. Seen the results, we advocate that the brazilian personal letters of the 19th century have ordination patterns associated with a V2 system and an SV system, configuring, therefore, a possible competition process between different grammars that instantiate or a V2 system or an SV system. In other words, the brazilian letters of the 19th century instantiate a competition between the grammar of Classic Portuguese (a V2 system) and the grammars of Brazilian Portuguese and European Portuguese (an SV system). Therefore, that period is subject to the completion of two distinct parametric markings: (i) verb moved to the Fin core (grammar of Classic Portuguese) and (ii) verb moved to the T core (grammar of Brazilian Portuguese /European Portuguese). On the other hand, in the personal letters of the 20th century (first and second halves), there is a clear increase in ordenation patterns associated with the SV system, which shows more stable.

Os youtubers e a representação do certo, errado, adequado e inadequado no trabalho com a variação linguística em sala de aula

Some of the current discussions in the teaching of Portuguese Language (LP) pertain to how the school should deal with the phenomenon of language variation in the classroom. In 2010, for example, an explosion of talk took over the academic corridors: a book, entitled "Por uma vida melhor", the collection "Viver, Aprender", published by the MEC (Ministry of Education and Culture) to students EJA (Youth and Adults) brought notions regarding linguistic variation, even in their first chapter. In it is clear the notion that it is possible to make use of structures as "pretty boy", instead of "pretty boys", depending on the context in which such use is insert. Therefore, the discussions focused around the notions of variety cultivated, standard and popular measuring them to the possibilities of linguistic appropriateness. The community was surprised by the defense of the "power" to use, since it would be the school space to teach a standard "default", and not the possibility of legitimate use of grammatical patterns that clashed with those recommended in traditional grammars. The television media has been responsible for a major blaze that MEC had endorsed the use in schools of a book that legitimized such linguistic patterns. The quarrel was released on Youtube and in that space, netizens expressed themselves for or against the proposal of LD often directing the discussion to questions of a purely political. We observed that, on one side, loomed arguments related to Sociolinguistics (BAGNO , 2002, 2003, 2007, 2009; BAGNO, M.; STUBBS, M., Gagne, G., 2006; Bortoni - RICARDO, S.M., 2008; Tarallo, F., 1982; U. Weinreich, MARVIN I. HERZOG, Labov, W., 1968, Labov 1972, etc.); another, arguments concentrated on defending the school is the area of language teaching standard, and not fit to bring certain discussions within an LD. It was from these words, that this research was born. Interested in the particular way that the community media, which seemed to have no training in linguistics, understand the concepts of right, wrong, appropriate and inappropriate, so intimate in academic circles. Our thoughts take as reference the theoretical studies on the question of sociolinguistic variation and education, official documents that guide the "work" with the Portuguese language in the classroom, like the NCP (National Curriculum) and Curriculum Proposal for Education Youth and Adult (PCEJA). In our analysis, we found that LD" For a better life "makes no apology for teaching the "error", but it raises discussions about the possibility of "change", linked to factors and different order. We realize how significant it is to observe how speakers of a language are positioned in relation to language teaching which they are not speakers and scholars. Our study showed that certain issues regarding the teaching of the Portuguese language, as is the case of linguistic variation, points are far from being resolved, either for linguists and/or grammarians, whether for language speakers.

El ritual en los "Textos de las Pirámides": sintaxis, texto y significado

Este trabajo pretende explorar la dimensión ritual en los Textos de las Pirámides, el corpus de literatura religiosa extensa más antiguo de la humanidad. La naturaleza variada de sus componentes textuales ha impedido que los egiptólogos comprendan en profundidad las complejidades de la colección y los contextos originales en los que estos textos (ritos) aparecieron. La aplicación de la teoría del ritual, principalmente la aproximación de la sintaxis ritual, ofrece a los investigadores un marco excelente de análisis e interpretación del corpus, su estructura y función. Sujeto a las reglas de la sintaxis ritual es posible exponer los múltiples niveles de significado en el corpus para la resurrección y salvación del difunto.

"Abhold, leid, gewillt"... ¿Son adjetivos? Estableciendo un corpus para un diccionario sintáctico alemán-español de adjetivos

Si se pretende elaborar un diccionario de adjetivos, ya sea este monolingüe o bilingüe, la primera tarea que se le impone al lexicógrafo es la de definir qué es un adjetivo, una cuestión que todavía hoy no ha sido resuelta satisfactoriamente. En alemán hay una serie de palabras que han sido descritas tradicionalmente como adjetivos en función exclusivamente predicativa, cuyo estatus como adjetivos es, sin embargo, cuestionado por algunos autores. En este artículo se trata de dilucidar si estas palabras realmente solo pueden aparecer en función predicativa, cómo se las describe en diccionarios y gramáticas y cuáles son sus principales correspondencias en español, a fin de decidir si deberían ser incluidas en un corpus destinado a la elaboración de un diccionario sintáctico de adjetivos alemán-español.

A vueltas con la naturaleza del cambio fonético-fonológico: los casos de Nj y Lj

Las etapas del cambio fonético-fonológico han sido descritas desde hace décadas, especialmente desde un punto de vista articulatorio y casi siempre partiendo de los testimonios escritos de que se podía disponer. No obstante, recientemente han ido surgiendo nuevas teorías que defienden que el cambio puede ser explicado a través del estudio de la variación y los procesos fonéticos propios del habla actual, puesto que ambos están relacionados con fenómenos de hipo (e hiper) articulación y, a la postre, de coarticulación. Una de ellas es la Fonología Evolutiva (Blevins 2004), aun cuando no ofrece una explicación satisfactoria para la difusión del cambio. En este estudio, se ha recurrido a estas teorías para esclarecer las causas de la evolución de dos contextos de yod segunda: /nj/ y /lj/, que llevaron a la fonologización de // y //, en un primer estadio de la historia del español.

Multilingualism and conceptual modelling

One of the leading motivations behind the multilingual semantic web is to make resources accessible digitally in an online global multilingual context. Consequently, it is fundamental for knowledge bases to find a way to manage multilingualism and thus be equipped with those procedures for its conceptual modelling. In this context, the goal of this paper is to discuss how common-sense knowledge and cultural knowledge are modelled in a multilingual framework. More particularly, multilingualism and conceptual modelling are dealt with from the perspective of FunGramKB, a lexico-conceptual knowledge base for natural language understanding. This project argues for a clear division between the lexical and the conceptual dimensions of knowledge. Moreover, the conceptual layer is organized into three modules, which result from a strong commitment towards capturing semantic knowledge (Ontology), procedural knowledge (Cognicon) and episodic knowledge (Onomasticon). Cultural mismatches are discussed and formally represented at the three conceptual levels of FunGramKB.

Deictic Demonstratives in Japanese, Finnish and Swedish : First and Third Language Perspectives

The goal of this thesis is twofold. Firstly, it investigates the actual, native use of spatial-deictic demonstratives in Japanese, Finnish and Swedish. Secondly, it investigates and elucidates the interlanguage of Finnish-speaking and Swedish-speaking learners of Japanese regarding their use of Japanese spatial-deictic demonstratives in the light of respective native use and, in comparison to the descriptions of demonstratives in the teaching materials used. Thus, the present study deals with analyses of two sets of empirical data: data produced by native-speaking informants (L1 data) and data produced by language learners (L2 data). These were elicited by Discourse Completion Tasks (DCTs) designed, collected and analyzed using both quantitative and qualitative methods by the author. The results showed that the actual use of demonstratives by the native informants was not always in accordance with the way described in grammars. The typological similarities between Japanese and Finnish were in this study not reflected in the native use of demonstratives, and some uses were not solely based on the spatial relations between the referent, the speaker and the addressee, but rather on social-interactional factors. The main findings regarding the learner data revealed some differences in the usage rate of the demonstratives between the two Finnish-speaking groups and the one Swedish-speaking learner group studied. There were, however, no particular differences found between them regarding the type of demonstrative used. It is suggested that these differences are first and foremost connected both with the teaching materials used and the more or less heterogeneous linguistic environment in which the learners reside, and only thereafter with the typological similarities or differences between their respective native languages, Finnish and Swedish, and the target language, Japanese. It is further argued that the learners’ use of the different Japanese demonstratives, that is the type of demonstrative used, could be explained in terms of familiarity with the grammar. That is, when the situations used in the DCTs were exemplified in teaching materials and were familiar to them, the learners seemed to use Japanese demonstratives as they are described in the teaching materials and as the native Japanese speakers use them. When the situations used in the DCTs were not exemplified in the teaching materials, the learners seem to rely more on their native language. The results, thus, suggest that the learners’ interlanguage is influenced by the grammar of the target language known to the learners, but also by the number of languages (or varieties) that the learners have contact with at the time of learning. The results of the present study have implications for the teaching of Japanese in at least two ways. Firstly, the importance of grammar instruction must be emphasized since its effect on the learners’ language is apparent. Secondly, the contents of teaching materials should be revised on the basis of the native speakers’ actual use of the grammar.