salut...
Benoit Fraikin
"Regular Language" (ou "Expression" ou n'importe quoi )
Bien sur je ne cherche pas la traduction literale ;-)
Garulfo
Arnaud Delaloy
écrivit dans fr.sci.jargon:
>quelquun pourrait il m'indiquer le terme francais pour
>"Regular Language" (ou "Expression" ou n'importe quoi )
>Bien sur je ne cherche pas la traduction literale ;-)
bonjour,
dans toutes les pages de manuel Unix, les Regexp (Regular Expressions)
sont traduites par "expressions rationnelles".
faudrait juste que retrouver le Howto qui explique pourquoi.
bonne journée,
Arnaud.
Garulfo
J'enseigne a des eleves de fac la theorie des langages mais tout les
manuels sont en anglais ici (Quebec) donc je n'avais pas le nom
francais. Cependant je trouve plus approprie de leur donner le nom
francais lorsqu'il existe.
Mais c'est vrai ue ce serait interessant de savoir pourquoi ....
Garulfo
Arnaud Delaloy a écrit :
Arnaud Delaloy
dans fr.sci.jargon:
>Oui c'est ca que je cherchais merci.
>J'enseigne a des eleves de fac la theorie des langages mais tout les
>manuels sont en anglais ici (Quebec) donc je n'avais pas le nom
>francais. Cependant je trouve plus approprie de leur donner le nom
>francais lorsqu'il existe.
>
>Mais c'est vrai ue ce serait interessant de savoir pourquoi ....
j'ai sous les yeux _Linux in a Nutshell_ en version française, qui les
nomme aussi motifs, ou méta-caractères de recherche quand c'est pour grep;
et il y a une note de bas de page dans _Running Linux_, précisant que la
page man de grep contient plus d'infos.
malheureusement, (sur une RH5.2 patchée de partout) celle-ci utilise
"expression régulière"... oups.
le mystère reste entier...
bonne journée,
Arnaud.
Neil McNaughton
> >Mais c'est vrai ue ce serait interessant de savoir pourquoi ....
>
> j'ai sous les yeux _Linux in a Nutshell_ en version française, qui les
> nomme aussi motifs, ou méta-caractères de recherche quand c'est pour grep;
> et il y a une note de bas de page dans _Running Linux_, précisant que la
> page man de grep contient plus d'infos.
>
> malheureusement, (sur une RH5.2 patchée de partout) celle-ci utilise
> "expression régulière"... oups.
>
> le mystère reste entier...
je ne sais pas si cela est ce qu'on recherche mais dans mon "Starting with
Unix - Peter Brown" je lis "the term regular expression is used in the
mathematical analysis of syntax"
Neil
Marc Boyer
Si mes souvenirs d'informatique théoriques sont bons :
- Un language rationel est un language qui peut être reconnu par un
automate,
- Une expression régulière est une expression construite avec les
opérateurs séquence/choix/itération (; + *).
On montre ensuite que les languages des expressions régulières sont
les languages rationnels.
Une fois la preuve faite ;-), on peut utiliser l'un pour l'autre.
Cordialement,
Marc Boyer
--
------------------------------------------------------------
Entre le fort et le faible, | Henri Lacordaire
c'est la liberté qui opprime, | Dominicain
et le droit qui libère. | 1802-1861
------------------------------------------------------------
Garulfo
expression" et "regular langague". Mais le terme francais equivalent
pour "regular" est "rationnel(le)" . la question est de savoir pourquoi
est ce qu'on emploi "rationnel(le)" ?
J'aimerais bien savoir si qqun a une reponse.
Garulfo
Marc Boyer a écrit :
GF
"Garulfo" <b.fr...@sympatico.ca> a écrit dans le message news:
3A7EC47C...@sympatico.ca...
Philippe Deschamp
> [...] le terme francais equivalent
> pour "regular" est "rationnel(le)" . la question est de savoir pourquoi
> est ce qu'on emploi "rationnel(le)" ?
Parce que c'est plus rationnel que « régulier » :-)
Mes 2 ¢ :
J'imagine que les langages dits rationnels le sont parce que construits,
sur les automates linéaires, avec un opérateur qui a de bonnes propriétés
(la répétition *), comme les nombres rationnels sont construits à partir
des entiers relatifs.
--
____________________________________________________________________
Philippe Deschamp. In medio stat virtus
Garulfo
je sais aussi que certains traduisent paar expressions algebriques ce qui me
semble plus facilement concevable : c'est creer a partir de proprietes de
fermeture qu'on retrouve regulierement (c'est pas fait expres ;-) en algebre.
C'est comme les specifications algebriques en fait. Mais rationnel me semble
euh moins rationnel !
Garulfo en plein interrogation metaphysique
Philippe Deschamp a écrit :
Garulfo
"reguliers" en
anglais parce qu'il verifie certains motifs regulier a savoir ce qu'on
appele le
Pumping Lemma (lemme de l'etoile ... quelqu'un a t'il une autre
traduction ?)
C'est a dire que si L est un langage regulier (je garde le terme
anglophone)
infini alors toute chaine superieur a un certain m passe par un cycle et
donc
on la propriete de repeter un de leur motif de maniere reguliere !!!
Quand a "rationnel" pour le terme francais c'est probablement parce que
le quotientement est une operation de fermeture pour les langages
rationnels.
Bien sur ce n'est pas exactement le meme quotientement. Pis l'addition
(l'union
des expressions rationnelles), la multiplication (la fermeture de
Kleene) et
l'inverse sont aussi des operations de fermetures sur cet ensemble !!
Voila...
Benoit Fraikin a écrit :
Cyril Banderier
formal languages theory -> theorie des langages
compilation -> compiling
regular expression -> expression reguliere
...
pour une fois que le mot a mot est OK :-)
De plus, on peut en effet traduire
regular, rational, recognized (by a NFA)
par regulier, rationnel, reconnaissable (au choix !)
(au passage signalons
rationnel/rationalite versus fonctionnel/fonctionnalite)
La traduction depend de ce sur quoi on veut mettre l'accent :
regulier : point de vue "expression"
rationnel : point de vue "serie generatrice"
reconnaissable : point de vue "automate"
Le tout etant equivalent, a cause de 2 theoremes :
Kleene (prononcer clini) en 1957 : reg=rec
Noam Chomsky et Marcel-Paul Schutzenberger en 1963 : rec=rat
Pour des strutures mathematiques zarbi (pseudo monoide non libre),
les definitions different (ce qui justifie les 3 terminologies).
Pour ceux que ca branche, j'avais jadis fait un bref resume
pour mes eleves :
http://algo.inria.fr/banderier/P13/html/
Espoir ksa aide :-)
Bien cordialement, Cyril Banderier
Projet Algorithmes, INRIA
http://algo.inria.fr/banderier/