Results 271 to 280 of about 852,128 (332)

Recoverable Formal Language

Problems of Information Transmission, 2022
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Diplomatic language and formal language:

2021
Jusqu’au début du XXe siècle, la langue utilisée en diplomatie tire ses racines de la langue de cour, plus particulièrement celle de Louis XIV, ce qui explique la place du français comme langue diplomatique. Cet article propose une mise en perspective historique et anthropologique des formes d’expression du diplomate et montre pourquoi le langage ...
openaire   +1 more source

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   +2 more sources

Introduction to Formal Languages

1977
1.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   +1 more source

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   +2 more sources

A Formal Language

2023
AbstractA restricted version of the higher-order logic motivated in the previous chapter is introduced. The language includes variables in the position of sentences, and quantifiers binding them; these propositional quantifiers can be used to formalize talk of propositions.
openaire   +1 more source

Home - About - Disclaimer - Privacy