Results 301 to 310 of about 2,243,395 (337)

Formalisms for Non-Formal Languages

1999
In recent decades computer scientists, linguists, and philosophers converged on offering what are called formal representations of natural languages. In this essay I wish to go back to some earlier work that Dov Gabbay and I did in cooperation, show its significance, and tie it to more recent work that I did on lexical semantics, showing that the early
openaire   +2 more sources

Formal languages: Origins and directions

20th Annual Symposium on Foundations of Computer Science (sfcs 1979), 1979
Origins of the theory of formal languages and automata are surveyed starting from 1936 with the work of Turing and Post. Special attention is given to the machine translation projects of the 1950s and early 1960s and associated work in mathematical linguistics.
openaire   +4 more sources

Formal Languages and Formal Logic

1994
Throughout this book we use sentences of formal logic to describe properties of words over a finite alphabet A. A sentence will thus define a language \(L \subseteq A^{*}\); L is the set of all words that have the property described by the sentence.
openaire   +2 more sources

Formal Models of Language Learning

Cognition, 1979
Abstract Research is reviewed that addresses itself to human language learning by developing precise, mechanistic models that are capable in principle of acquiring languages on the basis of exposure to linguistic data. Such research includes theorems on language learnability from mathematical linguistics, computer models of language acquisition from ...
openaire   +3 more sources

Z Formal Specification Language

2012
This chapter presents the Z specification language, which is one of the most widely used formal methods. Z is a formal specification language based on Zermelo set theory. It was developed at the Programming Research Group at Oxford University in the early 1980s. Z specifications are mathematical and employ a classical two-valued logic.
openaire   +2 more sources

Formal Grammars and Languages

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

Elements of Formal Languages

2002
In this chapter, you learn about: the building blocks of formal languages: alphabets and strings grammars and languages a way of classifying grammars and languages: the Chomsky hierarchy how formal languages relate to the definition of programming programming languages ….
openaire   +2 more sources

Natural Languages, Formal Languages, and Explication

2012
In 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

Formal Languages and Natural Languages

2018
The 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

Formal Logic and Language

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