ETUDE ALGEBRIQUE DE LA LOGIQUE TEMPORELLE / JOELLE COHEN CHESNOT ; SOUS LA DIRECTION DE JEAN-ERIC PIN

Date : 1989

Editeur / Publisher : [S.l.] : [s.n.] , 1989

Type : Livre / Book

Langue / Language : français / French

Pin, Jean-Éric (Directeur de thèse / thesis advisor)

Université Pierre et Marie Curie (Paris ; 1971-2017) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : UNE DEMONSTRATION DIRECTE DE L'EXPRESSIVITE DE LA LOGIQUE TEMPORELLE POUR DECRIRE DES ENSEMBLES DE MOTS INFINIS EST DONNEE. UN THEOREME DE SCHUTZENBERGER EST UTILISE POUR LES MOTS INFINIS: LES LANGAGES SANS ETOILE PEUVENT ETRE OBTENUS A PARTIR DES LETTRES EN UTILISANT L'UNION, LE PRODUIT ET L'ETOILE A DELAI BORNE. UNE CARACTERISATION ALGEBRIQUE DE LA LOGIQUE TEMPORELLE RESTREINTE EST ENSUITE DONNEE: LES LANGAGES CORRESPONDANTS SONT LES LANGAGES DONT LE SEMI-GROUPE SYNTACTIQUE EST LOCVALEMENBT L-TRIVIAL