Functions definable by numerical set-expressions
نویسندگان
چکیده
منابع مشابه
Functions Definable by Numerical Set-Expressions
A numerical set-expression is a term specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. If these operations are confined to the usual Boolean operations together with the result of lifting addition to the level of sets, we speak of additive circuits. If they are confined to the usual Boolean operations together with the result of lifting ...
متن کاملFunctions Definable by Arithmetic Circuits
An arithmetic circuit (McKenzie and Wagner [6]) is a labelled, directed graph specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. In this paper, we consider the definability of functions by means of arithmetic circuits. We prove two negative results: the first shows, roughly, that a function is not circuit-definable if it has an infinite r...
متن کاملCost Functions Definable by Min/Max Automata
Regular cost functions form a quantitative extension of regular languages that share the array of characterisations the latter possess. In this theory, functions are treated only up to preservation of boundedness on all subsets of the domain. In this work, we subject the well known distance automata (also calledmin-automata), and their dualmax-automata to this framework, and obtain a number of ...
متن کاملOn the Euler characteristic of the links of a set determined by smooth definable functions
Consider a polynomially bounded, o-minimal structure on the field R of reals. A smooth (i.e. of class C∞) definable function φ : U −→ R on an open set U in R determines two closed subsets W := {u ∈ U : φ(u) ≤ 0} and Z := {u ∈ U : φ(u) = 0}. We shall investigate the links of the sets W and Z at the points u ∈ U , which are well-defined up to a definable homeomorphism. It is proven that the Euler...
متن کاملInteger-valued definable functions
We present a dichotomy, in terms of growth at infinity, of analytic functions definable in the real exponential field which take integer values at natural number inputs. Using a result concerning the density of rational points on curves definable in this structure, we show that if a function f : [0,∞) → R is such that f(N) ⊆ Z, then either sup|x̄|≤r f(x̄) grows faster than exp(r), for some δ > 0,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2011
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exr050