langage régulier oor Engels

langage régulier

Vertalings in die woordeboek Frans - Engels

regular language

regular set

voorbeelde

Les langages d'arbres réguliers sont les langages d'arbres reconnu par les automates d'arbres non-déterministes et les automates d'arbres déterministes ascendants.
The regular tree languages are also the languages recognized by bottom-up tree automata and nondeterministic top-down tree automata.

Les expressions régulières sont utilisées dans de nombreux langages de programmation et outils logiciels.
Regular expressions are used in many programming languages and tools.

L'analyseur lexical et l'analyseur syntaxique gèrent la partie régulière et algébrique de la grammaire d'un langage de programmation.
The lexical analyzer and the parser handle the regular and context-free parts of the programming language's grammar.

Les expressions régulières sont aussi couramment utilisées dans le langage de programmation Perl.
Regular expressions are also commonly used in the Perl programming language.

Sa thèse contenait aussi une preuve du théorème de König, sur l'existence d'un couplage complet pour tout graphe régulier biparti, formulé dans le langage des configurations.
His thesis also contains the proof of Kőnig's theorem for regular bipartite graphs, phrased in the language of configurations.

Des caractérisations algébriques de classes de langages réguliers définies par des fragments logiques équipés de prédicats réguliers, 2.
Algebraic characterizations of classes of regular languages defined by fragments of logics equipped with regular predicates, 2.

Les expressions régulières sont un mécanisme puissant exprimant la théorie des langages réguliers.
Status: not implemented Regular expressions are a powerful mechanism expressing the regulars languages theory.

Des résultats de non-définissabilité de langages réguliers dans des fragments logiques équipés de prédicats numériques arbitraires.
Undefinability results of regular languages in fragments of logics equipped with arbitrary numerical predicates.

Grammaires de type 3 génèrent des langages réguliers.
Type-3 grammars generate regular languages.

Les langages réguliers peuvent être décrits par des automates finis.
A regular language can be described by a finite automaton.

Toute expression régulière décrit un langage régulier.
Any regular expression describes a regular language.

Tout langage régulier peut être décrit par une expression régulière.
Any regular language can be described by a regular expression.

Résumé de Langages réguliers (LTP4A02K)
Summary of Langages réguliers (LTP4A02K)

(3,0,0) 3 cr. Langages réguliers, automates d'états finis, graphes de transition et théorème de Kleene.
(3,0,0) 3 cr. Regular languages, finite automata, transition graphs Kleene's theorem.

Les expressions régulières sont un mécanisme puissant exprimant la théorie des langages réguliers.
Regular expressions are a powerful mechanism expressing the regulars languages theory.

Le sujet de notre étude est l'apprentissage des langages réguliers d'arbres pour la modélisation algorithmique de l'acquisition du langage.
The subject of our study is the learning of regular tree languages for an algorithmic modeling of language acquisition.

En 1997, Philip Hazel remplace la bibliothèque des expressions rationnelles POSIX écrite par Henry Spencer, par une nouvelle bibliothèque, écrite par lui-même, et appelée PCRE (Perl Compatible Regular Expression : expressions régulières compatibles avec le langage Perl).
In 1997, Philip Hazel replaced Exim's POSIX regular expression library written by Henry Spencer with a new library he developed called PCRE (Perl Compatible Regular Expressions).

Les états accessibles (ou des sur-approximations de cet ensemble d’états)sont représentés par des langages réguliers, ou automates d’états finis.
Reachable states (or over-approximations of this set of states) are represented by regular languages or,equivalently, by finite-state automata.

Ceux qui ne sont pas des utilisateurs réguliers trouvent que le langage utilisé et les explications affichées sur le site pourraient être simplifiés et plus accessibles – si l’on ne sait pas exactement ce que l’on cherche, il est très difficile de le trouver!
Those who were not "regular" clients agreed that the language and explanations on the site could be made much simpler and user-friendly - if you don`t know what you`re looking for, it`s very difficult to find it!!

Ils commentent à intervalles réguliers et pour différentes raisons: analyser les conversations, déchiffrer le langage corporel des membres, ou plaisanter sur l'un d'eux.
They provide commentary at regular intervals: analysing conversations, deciphering members body language and joking about the last 10 minutes of footage.

Un langage est régulier ou rationnel si et seulement s’il existe une grammaire régulière générant ce langage.
A language is regular (i.e. rational) if and only if there is a regular grammar generating this language.

Ces générateurs sont une forme de langage dédié, prenant en entrée une spécification lexicale (généralement des expressions régulières et quelques balises) et produisent en sortie un lexer.
These generators are a form of domain-specific language, taking in a lexical specification – generally regular expressions with some markup – and emitting a lexer.

En particulier, ceci lui permettra de fournir des expressions régulières respectant un monoïde syntaxique d'un langage, minimiser des automates, décider si un langage régulier est sans étoile.
In particular, he/she will be able to obtain regular expressions respecting particular syntactical criteria, build deterministic or non-deterministic automata, find the minimal automaton of a given language, give explicitely the Nerode congruence or the syntactic monoid of a language, minimize automata, decide whether or not a regular language is star-free.

Cette logique est suffisamment expressive pour prendre en compte les langages réguliers d'arbres ainsi que la navigation multidirectionnelle dans les arbres, tout en ayant une complexité simplement exponentielle.
This calculus is expressive enough to capture regular tree types along with multi-directional navigation in trees, while having a single exponential time complexity.

Le premier concerne l'étude de la conservation de la reconnaissabilité par la multiplication par une constante dans des systèmes de numération abstraits construits sur des langages réguliers polynomiaux.
The first problem concerns the study of the preservation of recognizability under multiplication by a constant in abstract numeration systems built on polynomial regular languages.