Results 41 to 50 of about 698,419 (89)
Formal Languages and Compilation [PDF]
, 2013 This 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 +6 more sources
A class of formal languages [PDF]
Algebra and Logic, 1998 We deal with languages that are classes of fully invariant congruences on free semigroups of finite rank. The question is posed as to whether a given fully invariant congruence coincides with a syntactic congruence of the language in question. If all classes of a given fully invariant congruence are rational languages, the corresponding variety is then
Arseny M. Shur, E. V. Sukhanov
openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
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
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
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
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
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
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
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