30 votes

Pourquoi les expressions régulières sont appelés "régulier" expressions?

Pourquoi les expressions régulières sont appelés régulièrement des expressions?

29voto

Oliver N. Points 1904

Ils sont basés sur l' régulièrement des langues.

16voto

Mitch Wheat Points 169614

Pourquoi sont-ils appelés "les expressions régulières?"

Les expressions régulières remontent à l' le travail d'un mathématicien Américain par le nom de Stephen Kleene (l'un des personnalités les plus influentes dans le le développement théorique de l'ordinateur la science) qui a mis au point des des expressions comme notation pour les décrivant ce qu'il appelle "l'algèbre d'ordinaire définit." Ses travaux par la suite a trouvé sa place dans quelques-uns des premiers efforts de de calcul des algorithmes de recherche, et à partir de là, les plus anciennes texte-outils de manipulation sur les Unix plate-forme (y compris les ed et grep). Dans le contexte de recherches informatiques, la "*" est officiellement connu comme un "Kleene une étoile."

À partir d' ici.

4voto

jjpcondor Points 441

Ce Kleene entend par "événements" a été un événement traitées par un ensemble de cellules nerveuses–un cas de perception ou de pensée. Kleene du livre ne dit rien à propos de l'informatique, la programmation, la reconnaissance de motifs dans un texte ou d'une recherche de texte sur un ordinateur, le papier n'a même pas été composé sur ou à proximité d'un ordinateur, comme le tapuscrit indiquerait.

Comme vous pourrez le lire dans une excellente histoire des Expressions Régulières, dans les beaux-M. Christopher Kelty du livre [Instruments logiques: les Expressions Régulières, de l'AI et de la pensée sur la pensée] (2011)1

Les Expressions régulières sont originaires de la neurologie et de la neurobiologie dans les travaux de McCulloch dans les années 1930. Plus tard, dans les années 1940, ce qui McCulloch et Pitts obtenu a été de loin les plus influents dans l'ingénierie, l'informatique et les mathématiques qu'en biologie ou les neurosciences. Des œuvres qui prennent McCulloch et Pitts logique de calcul de nerf filets comme un point de départ ont été extrêmement généreux en mathématiques et en informatique. La formalisation entièrement, en commençant au moins avec McCulloch et Pitts eux-mêmes, dont 1947 papier "Comment nous savons universels" et le 1959 du papier ils ont écrit avec Lettvin et Maturana, "Ce que les Grenouilles Yeux Dit la Grenouille du cerveau" [Lettvin et coll., 1959, Pitts et McCulloch, 1947] à la fois abandonner la stricte équivalence formelle avec propositionnelle des calculs ou de la machine de Turing, en faveur de plus de complexes modèles biologiques qui sont prête moins à la logique de la manipulation.

McCulloch intérêt a d'abord été dans la recherche de ce qu'il a émis l'hypothèse qu'une "psychon"-ou à l'unité atomique de l'activité neuronale, qu'il a tout d'abord cherché dans son physiologiques de la recherche menée au cours des années 1930, en partenariat avec la Yale physiologiste J. G. Dusser de Barenne. Au début des années 1940, McCulloch a été introduit à Walter Pitts par Jérôme Lettvin, et ainsi à Nicolas Rashevsky Mathématique du groupe de Biologie à l'Université de Chicago, où Walter Pitts a travaillé activement sur les modèles de l'activité neuronale avec Rashevsky et mathématicien Alston Chef de ménage.

La collaboration entre les deux était bancal, au mieux. McCulloch était dans la quarantaine, Pitts a 17; McCulloch avait passé toute sa carrière dans la physiologie et de la philosophie, Pitts a été par diverses et parfois peu fiables comptes mathématique prodige qui s'était enfuie de sa maison de Detroit et a rencontré Bertrand Russell dans un parc de Chicago [Smalheiser, 2000, Schlatter et Aizawa, 2008]. Cependant, ensemble, ils ont réussi à reconstituer quelque chose qui se rencontrèrent au milieu, une étude qui a démontré l'équivalence formelle entre un modèle plausible de l'activité neuronale, et une logique de calcul.

Partie de McCulloch et Pitts inspiration pour leur article a été celle de Turing. Comme Tara Abraham met "de Turing a été en mesure de définir le processus compliqué de calcul dans la "mécanique" de termes, avec l'idée d'un algorithme simple de manière exhaustive, rigoureuse et sans ambiguïté que l'exécuteur aurait besoin d'aucune "connaissance des mathématiques" à l'accomplissement de sa tâche." [Abraham, 2003, 18] Cette identification de calcul avec une procédure automatique a fourni l'inspiration pour McCulloch et Pitts pour modéliser un ensemble de nerfs, comme quelque chose que l'on pourrait aussi calculer "en l'absence de la connaissance mathématique."

Avec le recul, ce que McCulloch et Pitts obtenu a été de loin les plus influents dans l'ingénierie, l'informatique et les mathématiques qu'en biologie ou les neurosciences.

Kleene, Stephen C. (1956), "la Représentation des événements dans le nerf des filets et des automates finis"

célèbre 1959 papier par J. Y. Lettvin, H. R. Maturana, W. S. McCulloch et W. H. Pitts, Ce que la Grenouille de l'Œil, Dit la Grenouille Cerveau

En 1968, Ken Thompson a publié une courte "Techniques de Programmation" papier pour la CACM dans lequel il décrit la "Expression Régulière de l'Algorithme de Recherche"

3voto

Matthew Flaschen Points 131723

Parce que ils ont utilisé pour être régulier. Voir http://en.wikipedia.org/wiki/Regular_language et http://en.wikipedia.org/wiki/Regular_expressions . Larry Wall défenseurs de l'appelant modernes regexen parce qu'ils ne sont plus quelque chose comme régulière.

0voto

Glen Points 13521

Une brève histoire des expressions régulières

Prograide.com

Prograide est une communauté de développeurs qui cherche à élargir la connaissance de la programmation au-delà de l'anglais.
Pour cela nous avons les plus grands doutes résolus en français et vous pouvez aussi poser vos propres questions ou résoudre celles des autres.

Powered by:

X