Concept
Langage formel
Concepts associés (50)
Arbre de la syntaxe abstraite
En informatique, un arbre de la syntaxe abstraite ou ASA (abstract syntax tree, ou AST, en anglais) est un arbre dont les nœuds internes sont marqués par des opérateurs et dont les feuilles (ou nœuds externes) représentent les opérandes de ces opérateurs. Autrement dit, généralement, une feuille est une variable ou une constante. Un arbre de la syntaxe abstraite est utilisé par un analyseur syntaxique comme un intermédiaire entre un arbre d'analyse et une structure de données.
Logical constant
In logic, a logical constant or constant symbol of a language is a symbol that has the same semantic value under every interpretation of . Two important types of logical constants are logical connectives and quantifiers. The equality predicate (usually written '=') is also treated as a logical constant in many systems of logic.
Reference
A reference is a relationship between objects in which one object designates, or acts as a means by which to connect to or link to, another object. The first object in this relation is said to refer to the second object. It is called a name for the second object. The next object, the one to which the first object refers, is called the referent of the first object. A name is usually a phrase or expression, or some other symbolic representation. Its referent may be anything – a material object, a person, an event, an activity, or an abstract concept.
Substring
In formal language theory and computer science, a substring is a contiguous sequence of characters within a string. For instance, "the best of" is a substring of "It was the best of times". In contrast, "Itwastimes" is a subsequence of "It was the best of times", but not a substring. Prefixes and suffixes are special cases of substrings. A prefix of a string is a substring of that occurs at the beginning of ; likewise, a suffix of a string is a substring that occurs at the end of .
Grammaire contextuelle
Une grammaire contextuelle est une grammaire formelle dans laquelle les substitutions d'un symbole non terminal sont soumises à la présence d'un contexte gauche et d'un contexte droit. Elles sont plus générales que les grammaires algébriques. Les langages formels engendrés par les grammaires contextuelles sont les langages contextuels. Ils sont reconnus par les automates linéairement bornés. Les grammaires contextuelles ont été décrites par Noam Chomsky. Ce sont les grammaires de type 1 dans la hiérarchie de Chomsky.
Distinction type-jeton
La dichotomie type–jeton est la différence entre le fait de nommer une classe (type) d'objets et le fait de nommer les instances individuelles (jetons) de cette classe. Comme chaque type peut être représenté par plusieurs jetons, il y a généralement plus de jetons que de types d'un objet. Par exemple, on pourra alors associer un jeton « Einstein» à un type comme « être humain ». La formulation « Einstein est un être humain » est alors sans ambiguïté sur la formulation « est un ».
Caractéristique universelle
thumb|Gottfried Wilhelm Leibniz, inventeur du concept de caractéristique universelle. La caractéristique universelle ou, en latin, est une langue universelle et formelle imaginée par le philosophe, mathématicien et scientifique allemand Gottfried Wilhelm Leibniz capable d'exprimer aussi bien les concepts mathématiques, scientifiques ou métaphysiques. Leibniz espérait ainsi créer une langue utilisable dans le cadre d'un calcul logique universel mécanisable ou calculus ratiocinator.
Introduction to Automata Theory, Languages, and Computation
Introduction to Automata Theory, Languages, and Computation is an influential computer science textbook by John Hopcroft and Jeffrey Ullman on formal languages and the theory of computation. Rajeev Motwani contributed to later editions beginning in 2000. The records the book's nickname, Cinderella Book, thusly: "So called because the cover depicts a girl (putatively Cinderella) sitting in front of a Rube Goldberg device and holding a rope coming out of it. On the back cover, the device is in shambles after she has (inevitably) pulled on the rope.
Identifiant
Un identifiant est une sorte de nom qui sert à identifier un objet précis dans un ensemble d'objets ; ou plus largement toute suite de caractères qui joue ce rôle-là. En principe, un identifiant devrait être unique pour chaque objet. En pratique (comme pour les noms de personnes ou de lieux) ce n'est pas toujours le cas, sauf s'il s'agit d'un ensemble d'identifiants défini par une norme technique. Un identifiant de métadonnée est un signe, une étiquette ou un jeton indépendant du langage, qui identifie de manière unique un objet au sein d'un schéma d'identification.
Colorless green ideas sleep furiously
Colorless green ideas sleep furiously (en français D'incolores idées vertes dorment furieusement) est une phrase proposée par Noam Chomsky dans son livre de 1957 Syntactic Structures comme exemple d'une phrase grammaticalement correcte, mais sémantiquement absurde. Cette phrase apparaît d'abord dans sa thèse de 1955 puis son article de 1956 « Three Models for the Description of Language ». La phrase démontrerait la différence entre syntaxe et sémantique : en effet, bien que grammaticalement correcte, aucune signification compréhensible évidente ne peut en être déduite.