In this paper, we study the tradeoffs in descriptional complexity of NFA (nondeterministic finite automata) of various amounts of ambiguity. We say that two classes of NFA are separated if one class can be exponentially more succinct in descriptional sizes than the other. New results are given for separating DFA (deterministic finite automata) from UFA (unambiguous finite automata), UFA from MD...

Working jointly in the equivalent categories of MV-algebras and lattice-ordered abelian groups with strong order unit (for short, unital l-groups), we prove that isomorphism is a sufficient condition for a separating subalgebra A of a finitely presented algebra F to coincide with F . The separation and isomorphism conditions do not individually imply A = F . Various related problems, like the s...

in this paper, the main results are:a study of the finitely generated mv-algebras of continuous functions from the n-th power of the unit real interval i to i;a study of hopfian mv-algebras; anda category-theoretic study of the map sending an mv-algebra as above to the range of its generators (up to a suitable form of homeomorphism).

We introduce the terms strong suband super-Gaussianity to refer to the previously introduced class of densities log-concave is x and log-convex in x respectively. We derive relationships among the various definitions of suband super-Gaussianity, and show that strong suband super-Gaussianity are related to the score function being star-shaped upward or downward with respect to the origin. We ill...