Self-reproducing pushdown transducers

summary:After a translation of an input string, $x$, to an output string, $y$, a self- reproducing pushdown transducer can make a self-reproducing step during which it moves $y$ to its input tape and translates it again. In this self- reproducing way, it can repeat the translation $n$-times for any $n \ge 1$. This paper demonstrates that every recursively enumerable language can be characterized by the domain of the translation obtained from a self- reproducing pushdown transducer that repeats its translation no more than three times

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing

DiSECCS - final summary report. Work packages, 1 - 4

Seismic techniques comprise the key geophysical toolset for imaging and characterising induced changes in the subsurface associated with human activity. This ability to observe and quantify changes in fluid saturation, pressure and geological stress and strain using active and passive seismic techniques has critical application to the monitoring of geological CO2 storage. The DiSECCS project (Diagnostic Seismic Toolbox for Efficient Control of CO2 Storage) has developed seismic monitoring tools and methodologies to identify and characterise injectioninduced changes, whether of fluid saturation or pressure, in storage reservoirs. We have developed guidelines for the monitoring systems and protocols required to maintain the integrity of storage reservoirs suitable for large-scale CO2 storage. The focus is on storage in saline aquifers (comprising the largest potential global storage resource), where considerable amounts of in situ water have to be displaced and both pressure and two-phase flow effects have consequences for storage integrity and storage capacity. Underground storage of CO2 is associated with significant levels of public concern. A better understanding of this is a key element of establishing monitoring protocols to instil wider public confidence in CO2 storage. DiSECCS draws on analogue activities, such as ‘fracking’ for shale gas, in conjunction with a discursive process involving lay participants, to gain insights into how people engage with similar underground activities and how controversies surrounding particular projects develop and evolve

Formal Linguistic Models and Knowledge Processing. A Structuralist Approach to Rule-Based Ontology Learning and Population

2013 - 2014The main aim of this research is to propose a structuralist approach for knowledge processing by means of ontology learning and population, achieved starting from unstructured and structured texts. The method suggested includes distributional semantic approaches and NL formalization theories, in order to develop a framework, which relies upon deep linguistic analysis... [edited by author]XIII n.s

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