Results 301 to 310 of about 2,322,283 (342)
Some of the next articles are maybe not open access.
Formal Languages and Compilation
2013This textbook presents a focused guide to the conceptual foundations of compilation, by explaining the fundamental principles and algorithms used for defining the syntax of languages and for implementing simple translators. This significantly updated and expanded third edition has been enhanced with an additional coverage of regular expressions ...
CRESPI REGHIZZI, STEFANO +2 more
openaire +3 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 +3 more sources
Introduction to Formal Languages
19771.1. Let A be any abstract set. We call A an alphabet. Finite sequences of elements of A are called expressions in A. Finite sequences of expressions are called texts.
openaire +2 more sources
1983
Some illustrations of the expressive powers of LC were given in Chapter I. The purpose of the formal language is to permit precise description of various types of interpersonal interaction, including those which are centrally involved in communication. The next task is to define that language, and to discuss some of its main properties.
openaire +2 more sources
Some illustrations of the expressive powers of LC were given in Chapter I. The purpose of the formal language is to permit precise description of various types of interpersonal interaction, including those which are centrally involved in communication. The next task is to define that language, and to discuss some of its main properties.
openaire +2 more sources
Formalisms for Non-Formal Languages
1999In 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 and Formal Logic
1994Throughout 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 languages: Origins and directions
20th Annual Symposium on Foundations of Computer Science (sfcs 1979), 1979Origins 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 Models of Language Learning
Cognition, 1979Abstract 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
2012This 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
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