Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
monadic second order logic
Vertaling van "monadic second order logic" in Frans
logique monadique du second ordre
In mathematical logic, monadic second order logic (MSO) is the fragment of second-order logic where second-order quantification is over sets.
En logique mathématique, la logique monadique du second ordre (abrégé en MSO pour monadic second order) est une logique du second ordre où la quantification du second ordre porte sur des ensembles.
Abstract: Every property definable in \emph{monadic second order logic} can be checked in polynomial-time on graph classes of bounded \emph{clique-width}.
Résumé : Tous les problèmes définissables en \emph{logique monadique du second ordre} peuvent être résolus en temps polynomial dans les classes de graphes qui ont une \emph{largeur de clique} bornée.
This technique allows graph properties involving orientations to be specified in monadic second order logic, allowing these properties to be tested efficiently on graphs of bounded treewidth using Courcelle's theorem.
Cette technique permet de spécifier des propriétés de graphe impliquant des orientations en logique monadique du second ordre, ce qui permet de tester ces propriétés efficacement sur des graphes de largeur d'arbre bornée en utilisant le théorème de Courcelle.
We also extend the Eilenberg theorem of variety to words of denumerable length.Finally, we give another proof of Büchi's theorem which establishes the equivalence between languages recognized by automata and languages defined by sentences of monadic second order logic for words of denumerable length.
Nous étendons également le théorème des variétés d'Eilenberg aux mots de longueur dénombrable.Finalement, nous remontrons l'équivalence entre langages reconnus par automates et langages définis par énoncés de logique monadique du second ordre quand on s'intéresse aux mots de longueur dénombrable.
In particular, we generalize the Büchi-Elgot-Trakhtenbrot theorem, establishing in the case of finite words the correspondence between the class of rational languages and the one of languages definable in monadic second order logic (MSO).
Nous généralisons en particulier le théorème de Büchi, Elgot et Trakhtenbrot, établissant pour le cas des langages de mots finis l'égalité entre la classe des langages rationnels et celle des langages définissables en logique monadique du second ordre (MSO).
In the first part, we consider some methods of generation of linear algorithms that have been proposed in the literature to solve the problems expressed in monadic second order logic on graphs of bounded treewidth or of bounded cliquewidth.
Dans la première partie, nous considérons des méthodes de génération d'algorithmes linéaires qui ont été proposées dans la littérature pour résoudre les problèmes exprimés en logique du second ordre monadique sur les graphes de largeur arborescente ou de largeur de clique bornée.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 6. Exact: 6. Verstreken tijd: 40 ms.
