Caractéristiques Formelles

Syntaxique Jean-Pierre Jouannaud Professeur Adresse de l’auteur : LIX École Polytechnique F-91128 Palaiseau CEDEX URL : http://www.lix.polytechnique.fr/ ii Table des matières Table des matières 1 Introduction 2 2 Langages formels 3 3 Automates de mots finis 3.1 Automates déterministes . . . . . . . . . . . . . . . . . . . . . 3.2 Automates non déterministes . . . . . . . . . . . . . . . . . . . Déterminisation d’un automate non-déterministe 3.3 Automates non déterministes

lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. Il a été le premier formalisme utilisé pour définir et caractériser les fonctions récursives et donc a une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing. Il a depuis été appliqué comme langage de programmation théorique et comme métalangage pour la démonstration formelle assistée par ordinateur. Le lambda-calcul

linguistique. - La théorie des langages formels : En informatique, la théorie des langages a pour objectif de décrire les langages formels, vus comme moyen de communication, d'un point de vue mathématique. Un langage formel est un ensemble de mots. Un mot est une suite finie de symboles. L'ensemble de ces symboles est appelé alphabet, les symboles eux-mêmes sont des lettres. Un langage (formel) doit pouvoir être décrit et analysé par une méthode formelle. - La théorie de l’information :

mathématiques à des manipulations formelles de symboles relève typiquement de l’informatique, même si les logiciens n’en ont pas toujours été conscients, et conduit, de ce point de vue, à considérer les mathématiques comme un domaine où la totalité de la sémantique est réductible à la syntaxe, ce que Léon Brillouin énonçait sous la forme suivante: «Le contenu informationnel des mathématiques est nul.» Automates et langages formels Langage formel Un langage formel est, par définition, un langage

potentiels de sortie de ses prédécesseurs, pondérée par les poids synaptiques. Ce potentiel d’activation est ensuite transformé par une fonction afin de déterminer le potentiel de sortie. 7 FIGURE 2 : Schéma d’un neurone artificiel Neurone formel w0 y0 w1 y1 w2 Potentiel de sortie : S y2 Potentiel d’activa- tion : A w3 y3 wn n A w y = S f A = ( ) yn i i i = 0 yi , désigne les sorties des prédécesseurs du neurone, wi , désigne les poids synaptiques. En

......... 4 I.4 Définition: Langage. ......................................................................................................... 4 Chapitre II Représentation finie des langages ...................... 6 II.1 Définition: Langages formels ........................................................................................ 6 II.2 Expressions régulières .................................................................................................... 6 II.2.1 Exemples Introductifs

peut être envisageable de lui donner une signification qui ne fasse pas double emploi avec d’autres termes grammaticaux bien établis. Donner une définition aux connecteurs, a fait constamment osciller les chercheurs entre une définition syntaxique formelle et une définition sémantico-logique. Ainsi dans la citation de Riegel, M., Pellat. J-C, et de Rioul, R., les termes de « structuration », « unités successives » renvoient plutôt à la syntaxe, tandis que les « relations sémantico-logique » renvoient

il désigne à l'origine l'ensemble des activités liées à la conception et à l'emploi des ordinateurs pour traiter des informations. Dans le vocabulaire universitaire américain, il désigne surtout l'informatique théorique : un ensemble de sciences formelles qui ont pour objet d'étude la notion d'information et des procédés de traitement automatique de celle-ci, l'algorithmique. Par extension, la mise en application de méthodes informatiques peut concerner des problématiques annexes telles que le traitement

Théorie des langages Chapitre 5 Langages algébriques Grammaires algébriques (à contexte libre, free context) 1  VI. Grammaires algébriques VI.1. Définitions et notations Définition : Une grammaire algébrique (ou à contexte libre) est la structure G=(V,T,P,S) où V  T=  et =V  T avec : V: ensemble de symboles appelés variables. T: ensemble de symboles appelés terminaux. P  V  *: ensemble de règles appelées règles de production. S : un symbole particulier appelé axiome (symbole initial)

Spécification des propriétés comportementales Concept de méthode Le comportement des objets se spécifie via le concept de méthode. Méthode : Algorithme (fonction, procédure) qui détermine les propriétés dynamiques d’un objet (on peut la voir comme attribut virtuel calculé) En R-O, on distingue 3 types de méthodes :  MEMBER : attachées aux objets d’une classe Elles permettent de mettre en œuvre le concept d’attribut virtuel calculé. L’objet sur lequel s’applique la méthode est désigné