Cet article met l'accent sur l'originalité de la démarche adoptée. Dans le domaine de l'étude des sports collectifs, avec comme exemple de référence le rugby à XV, on se place du point de vue formel en utilisant des outils issus de l'informatique théorique. Les techniques de spécification mises en oeuvre sont les automates qui proviennent de la théorie des graphes, et la notation classique BNF, combinée aux Expressions Régulières, vue comme un langage de spécification formelle. L'un des intérêts de cette approche résulte dans l'équivalence, pour tout match de la classe des sports collectifs de circulation de balle, entre l'automate de spécification et le langage de description. D'autre part, l'introduction d'outils largement utilisés en informatique, dans un domaine jusqu'alors très peu étudié sous cet angle, a donné des résultats intéressants.
This paper emphasizes the originality of our approach. Within the framework of team games studies, rugby quoted as an example, our point of view is formal and based on tools belonging to theoretical computer science. The specification techniques used are finite automata, which arise from the graph theory, and the well-known BNF notation which is combined with Regular Expressions and seen as a formal specification language. One of the interest of such an approach results in the fact that the specification automaton is strictly equivalent to the description language, for each match of the class of ball games here considered. On the other and, introducing in the area of sports studies specific tools, widely spread in computer science, yields interesting results.
@article{MSH_1991__114__19_0,
author = {Villepreux, Pierre and Singer, Benjamin},
title = {Vers une formalisation de l'analyse s\'emantique de matches en sports collectifs. Application au rugby \`a XV},
journal = {Math\'ematiques et Sciences humaines},
volume = {116},
year = {1991},
pages = {19-33},
zbl = {0800.68558},
language = {fr},
url = {http://dml.mathdoc.fr/item/MSH_1991__114__19_0}
}
Villepreux, Pierre; Singer, Benjamin. Vers une formalisation de l'analyse sémantique de matches en sports collectifs. Application au rugby à XV. Mathématiques et Sciences humaines, Tome 116 (1991) pp. 19-33. http://gdmltest.u-ga.fr/item/MSH_1991__114__19_0/
[Aho et al 89] - , & , Compilateurs : principes, techniques et outils. Paris, Inter-éditions, Juillet 1989. Traduction française de l'ouvrage : Compilers. Principles, Techniques, and Tools, Reading, Addison-Wesley, Mass., March 1986.
[Backus 59] - , "The syntax and semantics of the proposed International Algebraic Language of the Zürich ACM-GAMM Conference", Proceedings of the International Conference on Information Processing, UNESCO,1959,125-132. | Zbl 0112.08301
[Berge 73] - , Graphes et hypergraphes, Deuxième édition, Paris, Dunod, 1973. | MR 357171 | Zbl 0332.05101
[Chen 71] - , Applied Graph Theory, Amsterdam, North-Holland et New York, American Elsevier Publ., 1971. | MR 325271 | Zbl 0229.05107
[Chomsky 56] - , "Three models for the description of language", IRE Trans. on Information Theory, Vol.2, n°3, 1956, 113-124. | Zbl 0113.32701
[Chomsky 59] - , "On certain formal properties of grammars ", Information and Control, Vol.2, n°2, 1959, 137-167. | MR 105365 | Zbl 0088.10801
[Chomsky 63] - , "Formal properties of grammars", Handbook of Math. Psych., Vol.2, New York, Wiley, 1963, 323-418. | Zbl 0156.25303
[Conquet & Dévaluez 78] - et , Les fondamentaux du rugby, Paris, Éditions Vigot, 1978.
[Conquet & Dévaluez 82] - et , "L'ordre et le désordre", Mensuel de la FFR, n°821,1982, 36-38.
[Conquet 88] - , "La didactique du Rugby", Rapport du Stage International de Rugby MARCIAC 88, Sidi Bou Saïd, Tunisie, 2-9 juillet 1988,145-229.
[Deleplace 72] - , "L'enseignement du rugby", Colloque des cadres techniques de la FFR, brochure ronéotypée, 1972.
[Deleplace 79] - , Rugby de mouvement, rugby total, Paris, Éditions EPS, 1979.
[Deleplace 90] - , Dans notre pays, comment obtenir le meilleur joueur possible ? Forum sur la Culture Rugbystique organisé à l'occasion du Centenaire du Stade Toulousain, Toulouse, 20 décembre 1990.
[Deleplace 91] - , Modélisation des phases de mouvement général, Communication privée, Février 1991.
[Even 79] - , Graph Algorithms, Computer Science Press, 1979. | MR 540205 | Zbl 0441.68072
[Gondran & Minoux 85] - , , Graphes et algorithmes, deuxième édition revue et augmentée, Collection de la Direction des Etudes et Recherches d'EDF, Paris, Eyrolles, 1985. | MR 868083
[Gréhaigne 89] - , Football de mouvement : vers une approche systémique du jeu, Thèse de Doctorat de 3ème cycle (Spécialité : Sciences & Techniques APS), Université de Bourgogne, Mars 1989.
[Harary 69] - , Graph Theory, Reading, Mass., Addison-Wesley, 1969. | MR 256911 | Zbl 0182.57702
[Hopcroft & Ullman 79] - , , Introduction to automata theory, languages and computation, Reading, Mass., Addison-Wesley,1979. | MR 645539 | Zbl 0426.68001
[Lee 72] - , "The formal definition of the BASIC language ", The Computer Journal, Vol.15, n°1, 1972, 37-41. | Zbl 0226.68041
[Mahlo 74] - , L'acte tactique en jeu, Paris, Vigot, Juillet 1974.
[Meek 90] - , "The static semantics file", SIGPLAN Notices, Vol.25, n°4, april 1990, 33-42.
[Naur 60] - , "Report on the algorithmic language Algol 60", Communication of the ACM, Vol.3, n°5, 1960, 299-314. | MR 134432 | Zbl 0089.12510
[Naur 63] - , "Revised report on the algorithmic language Algol 60", Communication of the ACM, Vol.6, n°1,1963,1-17, et aussi dans Computer Journal, Vol.5, 1963, 349-367. | MR 134831 | Zbl 0109.35105
[Pagan 81] - , Formal specification of programming languages, Englewood Cliffs, New Jersey, Prentice-Hall, 1981. | Zbl 0473.68007
[Parlebas 76a] - , "Activités physiques et éducation motrice ", 1ère édition, Supplément à EPS, n° 139, Mai-Juin 1976. Ce supplément regroupe tous les articles publiés dans cette revue de 1967 à 1974. Deux nouvelles éditions sont parues. L'une en 1987 et l'autre en décembre 1990.
[Parlebas 76b] - , "Les universaux du jeu sportif collectif. Un exemple : la balle assise", Revue EPS, n° 140, juillet-août 1976, 11-15.
[Parlebas 76c] - , "Les universaux du jeu sportif collectif. La modélisation du jeu sportif", Revue EPS, n°141, septembre-octobre 1976, 33-37.
[Parlebas 81] - , Contribution à un lexique commenté en science de l'action motrice, Paris, Publications INSEP,1981.
[Parlebas 85] - , "Texte de présentation de Thèse de Doctorat d'Etat" (Spécialité : Lettres et Sciences Humaines) intitulée Psychologie Sociale et Théorie des Jeux. Etude de certains jeux sportifs, Université de Paris V et Ecole Pratique des Hautes Études, soutenue à la Sorbonne en Octobre 1984, Revue STAPS, Vol.6, n°12, décembre 1985, 85-90.
[Parlebas 86] - , Eléments de sociologie du sport, Paris, Presses Universitaires de France, Juin 1986.
[Peys 90] - , Rugby total et entraînement, Paris, Vigot, Février 1990.
[Téodorescu 77] - , Théorie et méthodologie des jeux sportifs, Paris, Editeurs Français Réunis, 1977.
[Villepreux 85] - , Jeu des lignes arrières, Communication privée, Septembre 1985.
[Villepreux 87] - , Rugby de mouvement et disponibilité du joueur, Mémoire en vue de l'obtention du diplôme de l'INSEP, 1987.
[Villepreux 88a] - , "Disponibilité du joueur", Rapport du Stage International de Rugby MARCIAC 88, Sidi Bou Said, Tunisie, 2-9 juillet 1988,107-120.
[Villepreux 88b] - , "Débat avec Herrero, Quilis et Barrière ", Rapport du Stage International de Rugby MARCIAC 88, Sidi Bou Saïd, Tunisie, 2-9 juillet 1988, 100-106.
[Villepreux 89] - , "Entraînement pour un rugby moderne", Actes des IIIèmes Journées Internationales d'Automne de l'ACAPS, (conférence invitée), Poitiers, 29-31 octobre 1989, 127.
[Villepreux 91] - , Le Rugby, Denoël, Paris, ouvrage à paraître en septembre-octobre 1991.
[Von Bertalanffy 80] - , Théorie générale des systèmes, Paris, Dunod, 1980.
[Williams 80] - , "A formal notation for specifying Static Semantic Rules", Computer Languages, Vol.5, n°1,1980, 37-55. | Zbl 0431.68080
[Williams 81] - , "Methods for specifying Static Semantics ", Computer Languages, Vol.6, n°1,1981,1-17. | Zbl 0456.68100