Results 51 to 60 of about 698,419 (89)
Some of the next articles are maybe not open access.
Natural Languages, Formal Languages, and Explication
2012In the early 1930s, Carnap’s philosophical programme underwent a radical change of method, which mainly consisted of two successive breakthroughs. These have been carefully distinguished by Steve Awodey and Andre Carus, who have also fully articulated the historical and philosophical context in which they occurred.1 The first step was taken in January ...
openaire +3 more sources
2012
This article introduces the preliminaries of classical formal language theory. It outlines the main classes of grammars as language-generating devices and automata as language-recognizing devices. It offers a number of definitions and examples and presents the basic results. It classifies grammar according to several criteria.
openaire +2 more sources
This article introduces the preliminaries of classical formal language theory. It outlines the main classes of grammars as language-generating devices and automata as language-recognizing devices. It offers a number of definitions and examples and presents the basic results. It classifies grammar according to several criteria.
openaire +2 more sources
Formal specification languages
Electronics and Power, 1986Bugs in computer software are still commonplace. The problem is often due to inadequate specification of the requirements. Formal specification is proposed as a solution, but is it practical?
Graham Titterington, John Parker
openaire +2 more sources
Formal Languages and Natural Languages
2018The old conception of logical form did not survive the problems that emerged in connection with the dichotomy between natural language and logically perfect language. After Frege, Russell, and Wittgenstein, the ideal of logical perfection lost traction. However, the spirit of that conception did not die with its letter.
openaire +2 more sources
Topologies on formal languages
Mathematical Systems Theory, 1975S. Y. Kuroda has shown that it is possible to attack problems concerning syntactic analysis and translation by means of topological concepts and methods. He presented a way to introduce topologies on context-free languages via the generating grammar, by considering all extensions of nonterminal derivations.
openaire +2 more sources
Soviet Studies in Philosophy, 1963
Science studies not only material entities and phenomena, but their reflections in the minds of men, in the form of sensations, perceptions, concepts, and the like. The study of a phenomenon like language involves simultaneous examinations of material entities (sounds and combinations of sounds) and the aspect of language which pertains to meaning ...
openaire +2 more sources
Science studies not only material entities and phenomena, but their reflections in the minds of men, in the form of sensations, perceptions, concepts, and the like. The study of a phenomenon like language involves simultaneous examinations of material entities (sounds and combinations of sounds) and the aspect of language which pertains to meaning ...
openaire +2 more sources
Formal Languages and Automata [PDF]
, 1985 Study of formal languages and automata theory is a prerequisite for much of the material covered in this text. In this chapter, I will give a survey which is adequate for our purposes. The literature in the field is, however, extensive and the interested reader can gain a much deeper understanding of the topics discussed in this survey by studying some
openaire +1 more source
2006
General properties of language Many generations of productive scholarship notwithstanding, the questions to which this paper is addressed can receive only quite tentative answers. There are few languages for which descriptions in depth are available, and only selected aspects of language have been studied with sufficient care and success to provide ...
openaire +2 more sources
General properties of language Many generations of productive scholarship notwithstanding, the questions to which this paper is addressed can receive only quite tentative answers. There are few languages for which descriptions in depth are available, and only selected aspects of language have been studied with sufficient care and success to provide ...
openaire +2 more sources
1991
ISO has developed two formal description techniques, LOTOS and ESTELLE, for communication purposes. Both are composed of a mathematical model and language elements. The LOTOS model is based on the Calculus of Communicating Systems (CCS). This section deals with the fundamental notions and basic elements of the CCS and gives an introduction to its ...
openaire +2 more sources
ISO has developed two formal description techniques, LOTOS and ESTELLE, for communication purposes. Both are composed of a mathematical model and language elements. The LOTOS model is based on the Calculus of Communicating Systems (CCS). This section deals with the fundamental notions and basic elements of the CCS and gives an introduction to its ...
openaire +2 more sources
Scientific Languages and Formalisms
1983If scientific language must not be detached in any way from the general conditions of the exercise of language without taking precautions, it nevertheless constitutes an original and highly differentiated aspect of this exercise. As I insisted above (2.13 and 2.14) it must be viewed as a vehicle of information; on the other hand we should now make ...
openaire +2 more sources