nullary

(programming)

A description of an operator or function which takes no arguments, e.g. a function that returns the current time.

"Nullary" is part of the unary, binary, ternary sequence, and is more common than its synonym niladic.

This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

Mentioned in

References in periodicals archive

and the only new nullary predicate is [R.sup.y,y,y].

Let P and Q be fresh nullary predicate variables, and let [Psi]'(y, [x.sub.1], [x.sub.2]) (respectively, [Psi]"(y, [x.sub.1], [x.sub.2])) be obtained from [Psi](y, [x.sub.1], [x.sub.2]) by replacing E([x.sub.1], [x.sub.2]) with P (respectively, Q) and replacing E([x.sub.2], [x.sub.1]) with Q (respectively, P).

R(x) where R is any (monadic) predicate from R, and remove atoms R(c) where c [element of] {min, max, [y.sub.1], ..., [y.sub.k]} by using fresh nullary predicate variables.

(4) Observe that we assume MSO allows one to use nullary predicate variables (i.e., propositional variables) along with unary predicate variables.

Existential Second-Order Logic Over Strings

An algebra (X; *, 0) with a binary operation * and a nullary operation 0.

On quotient binary algebras

All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.