Skip to Main content Skip to Navigation
Journal articles

Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law

Abstract : Let T be a monadic-second order class of finite trees, and let T(x) be its (ordinary) generating function, with radius of convergence rho. If rho >= 1 then T has an explicit specification (without using recursion) in terms of the operations of union, sum, stack, and the multiset operators n and (>= n). Using this, one has an explicit expression for T(x) in terms of the initial functions x and x . (1 - x(n))(-1), the operations of addition and multiplication, and the Polya exponentiation operators E-n, E-(>= n). Let F be a monadic-second order class of finite forests, and let F (x) = Sigma(n) integral(n)x(n) be its (ordinary) generating function. Suppose F is closed under extraction of component trees and sums of forests. Using the above-mentioned structure theory for the class T of trees in F, Compton's theory of 0-1 laws, and a significantly strengthened version of 2003 results of Bell and Burris on generating functions, we show that F has a monadic second-order 0-1 law iff the radius of convergence of F (x) is 1 iff the radius of convergence of T (x) is >= 1.
Document type :
Journal articles
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-00990562
Contributor : Service Ist Inria Sophia Antipolis-Méditerranée / I3s <>
Submitted on : Tuesday, May 13, 2014 - 4:19:33 PM
Last modification on : Friday, December 18, 2020 - 5:12:01 PM
Long-term archiving on: : Monday, April 10, 2017 - 10:31:27 PM

File

1515-6903-1-PB.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00990562, version 1

Collections

Citation

Jason P. Bell, Stanley N. Burris, Karen A. Yeats. Monadic Second-Order Classes of Forests with a Monadic Second-Order 0-1 Law. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2012, Vol. 14 no. 1 (1), pp.87-107. ⟨hal-00990562⟩

Share

Metrics

Record views

282

Files downloads

814