![]() We motivate the conjecture that weak MSO modulo bisimulation collapses inside MSO and well-founded MSO. We show that the alternation-free fragment of the modal μ-calculus and the bisimulation-invariant fragment of well-founded MSO have the same expressive power on trees of arbitrary branching degree. In analogy with the result of Janin and Walukiewicz for MSO and the modal μ-calculus, this raises the issue of which modal logic captures the bisimulation-invariant fragment of well-founded MSO and weak MSO. Indeed, in this generalized setting, weak MSO gives an account of properties of the ‘horizontal dimension’ of trees, which cannot be described by means of MSO or well-founded MSO formulae. We show that, on trees with arbitrary branching degree, weak MSO-automata characterize the expressive power of well-founded MSO, which turns out to be incomparable with weak MSO. Los traders pueden acceder a varios instrumentos de financila a travs de la plataforma internacional de Alpari, incluidos instrumentos de forex, metales. The associated class of automata (called weak MSO-automata) is a restriction of the class characterizing MSO-expressivity. Alpari international es el nombre comercial de Exinity Limited, que est regulado por la comisin de servicios financieros de la Repblica de Mauricio con una licencia de distribuidor de inversiones con el nmero de licencia c113012295. ![]() On finitely branching trees, weak and well-founded MSO have the same expressive power and are both strictly weaker than MSO. ![]() Este programa sin coste fue desarrollado originariamente por ClickMeIn Limited. La versión 1.0 es la más descargada por los usuarios del programa. No podemos garantizar que la descarga gratituita esté disponible. In particular we are interested in weak MSO and well-founded MSO, where the second-order quantifiers range respectively over finite sets and over subsets of well-founded trees. AnySend 1.0.18 estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. Hybrid Analysis develops and licenses analysis tools to fight malware. "In this thesis we study the expressive power of variants of monadic second-order logic (MSO) on infinite trees by means of automata. Submit malware for free analysis with Falcon Sandbox and Hybrid Analysis technology.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |