Petri net controlled grammars

Different types of regulated grammars have been introduced in order to supplement shortcomings of context-free grammars in applications preserving their elegant mathematical properties. However, the rapid developments in present day industry, biology, and other areas challenge to deal with various tasks which need suitable tools for their modelling and investigation. We propose Petri net controlled grammars as models for representing and analyzing of metabolic pathways in living cells where Petri nets are responsible for the structure and communication of the pathways, and grammars represent biochemical processes. On the other hand, the control by Petri nets has also theoretical interest: it extends possibilities to introduce and investigate concurrent control mechanisms in formal language theory. The thesis introduces various variants of Petri net controlled grammars using different types of Petri nets and investigates their mathematical properties such as computational power and closure properties.Los diferentes tipos de gramáticas con reescritura regulada han sido introducidas para complementar las deficiencias de las gramáticas libres del contexto en las aplicaciones, preservando sus propiedades matemáticas. Por otro lado, la rápida evolución la biología, y otras áreas actuales supone un reto para tratar de las tareas varias que necesitan las herramientas adecuadas para la elaboración de modelos e investigación. Proponemos gramáticas controladas por redes de Petri como modelos para representar y analizar los procesos bioquímicos en las células vivas donde redes de Petri son responsables de la estructura, y gramáticas representan los procesos generativos. Además, el control de redes de Petri también tiene interés teórico: amplía las posibilidades de investigar los mecanismos de control concurrente en la teoría de lenguajes formales. La tesis presenta distintas variantes de gramáticas controladas por redes de Petri e investiga sus propiedades matemáticas

Research Laboratory of Electronics Quarterly progress report, period ending 31 Aug. 1966

Research reports in theoretical physics, plasma dynamics, spectroscopy, radio astronomy, and communication sciences and engineerin

Generic Trace Semantics via Coinduction

Trace semantics has been defined for various kinds of state-based systems, notably with different forms of branching such as non-determinism vs. probability. In this paper we claim to identify one underlying mathematical structure behind these "trace semantics," namely coinduction in a Kleisli category. This claim is based on our technical result that, under a suitably order-enriched setting, a final coalgebra in a Kleisli category is given by an initial algebra in the category Sets. Formerly the theory of coalgebras has been employed mostly in Sets where coinduction yields a finer process semantics of bisimilarity. Therefore this paper extends the application field of coalgebras, providing a new instance of the principle "process semantics via coinduction."Comment: To appear in Logical Methods in Computer Science. 36 page

Coordination and Learning with a Partial Language

This paper explores how efficiency promotes the use of structure in language. It starts from the premise that one of language’s central characteristics is to provide a means for saying novel things about novel circumstances, its creativity. It is reasonable to expect that in a rich and changing environment, language will be incomplete. This encourages reliance on structure. It is shown how creative language use emerges form common knowledge structures, even if those structures are consistent with an a priori absence of a common language. ZUSAMMENFASSUNG - (Koordination und Lernen mit einer Partialsprache) In diesem Beitrag wird die Anwendung von Strukturen in einer Sprache aus Effizienzsicht begründet. Der Artikel geht davon aus, daß eines der wichtigsten Merkmale der Sprache in ihrer Kreativität zu sehen ist, d. h. als Mittel, um Neues über neue Sachverhalte auszusagen. Es ist deshalb zu erwarten, daß in einer vielfältigen und sich verändernden Umwelt die Sprache unvollständig bleiben wird. Dies fördert die Anwendung von Strukturen. Es wird gezeigt, wie die kreative Sprachanwendung aus allgemeinen Wissensstrukturen entsteht, auch dann, wenn diese Strukturen a priori noch keine gemeinsame Sprache bilden.Language; Coordination; Optimal Learning; Common Knowledge

Speech perception & language change in old & middle English

An analysis of* methods and models in historical ling¬ uistics: specifically, the utilization of speech perception methodology with respect to the evolution of the structure which in modern English denotes progressive aspect

Aspects of the theory of syntax Special technical report no. 11

Formulation of transformational grammar - syntax theor

Topics in Programming Languages, a Philosophical Analysis through the case of Prolog

[EN]Programming languages seldom find proper anchorage in philosophy of logic, language and science. is more, philosophy of language seems to be restricted to natural languages and linguistics, and even philosophy of logic is rarely framed into programming languages topics. The logic programming paradigm and Prolog are, thus, the most adequate paradigm and programming language to work on this subject, combining natural language processing and linguistics, logic programming and constriction methodology on both algorithms and procedures, on an overall philosophizing declarative status. Not only this, but the dimension of the Fifth Generation Computer system related to strong Al wherein Prolog took a major role. and its historical frame in the very crucial dialectic between procedural and declarative paradigms, structuralist and empiricist biases, serves, in exemplar form, to treat straight ahead philosophy of logic, language and science in the contemporaneous age as well. In recounting Prolog's philosophical, mechanical and algorithmic harbingers, the opportunity is open to various routes. We herein shall exemplify some: - the mechanical-computational background explored by Pascal, Leibniz, Boole, Jacquard, Babbage, Konrad Zuse, until reaching to the ACE (Alan Turing) and EDVAC (von Neumann), offering the backbone in computer architecture, and the work of Turing, Church, Gödel, Kleene, von Neumann, Shannon, and others on computability, in parallel lines, throughly studied in detail, permit us to interpret ahead the evolving realm of programming languages. The proper line from lambda-calculus, to the Algol-family, the declarative and procedural split with the C language and Prolog, and the ensuing branching and programming languages explosion and further delimitation, are thereupon inspected as to relate them with the proper syntax, semantics and philosophical élan of logic programming and Prolog