Vers une formalisation de l'analyse sémantique de matches en sports collectifs. Application au rugby à XV

Villepreux, Pierre  ; Singer, Benjamin

Mathématiques informatique et sciences humaines, Tome 114 (1991), pp. 19-33

Résumé (VO)

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.

Abstract

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.