A general homomorphic overloading in a first-order type system is discussed. Type inference is applied within predefined classes each containing an arbitrary first-order subtyping hierarchy. We propose a computationally efficient type inference algorithm by converting the attendant constraint-satisfaction problem into the algebraic path problem for a constraint graph weighted with elements of a...

We present a variant of the Weighted Maximum Satisfiability Problem (Weighted Max-SAT), which is a modeling of the Semiring Constraint Satisfaction framework. We show how to encode a Semiring Constraint Satisfaction Problem (SCSP) into an instance of a propositional Weighted Max-SAT, and call the encoding Weighted Semiring Max-SAT (WS-Max-SAT). The clauses in our encoding are highly structured ...

We present a disambiguation algorithm for weighted automata. The algorithm admits two main stages: a pre-disambiguation stage followed by a transition removal stage. We give a detailed description of the algorithm and the proof of its correctness. The algorithm is not applicable to all weighted automata but we prove sufficient conditions for its applicability in the case of the tropical semirin...

Weighted automata map input words to values, and have numerous applications in computer science. A result by Krob from the 90s implies that universality problem is decidable for weighted over tropical semiring with weights N ? { ? } undecidable when are Z . We continue study of borders decidability semiring. give a complete picture complexity various decision problems them, including non-emptin...

Many statistical translation models can be regarded as weighted logical deduction. Under this paradigm, we use weights from the expectation semiring (Eisner, 2002), to compute first-order statistics (e.g., the expected hypothesis length or feature counts) over packed forests of translations (lattices or hypergraphs). We then introduce a novel second-order expectation semiring, which computes se...

We present a new generic-removal algorithm for weighted automata and transducers deened over a semiring. The algorithm can be used with any semiring covered by our framework and works with any queue discipline adopted. It can be used in particular in the case of unweighted automata and transducers and weighted automata and transducers deened over the tropical semiring. It is based on a general ...

A Γ-semihyperring is a generalization of a semiring, a generalization of a semihyperring and a generalization of a Γ-semiring. In this paper, we define the notion of a fuzzy (prime) Γ-hyperideal of a Γ-semihyperring. Then we prove some results in this respect. Also, by using the notion of fuzzy Γ-hyperideals, we give several characterizations of Γ-semihyperrings. 2000 Mathematics Subject Classi...

We investigate the theory of skew (formal) power series introduced by Droste, Kuske [5, 6], if the basic semiring is a Conway semiring. This yields Kleene Theorems for skew power series, whose supports contain finite and infinite words. We then develop a theory of convergence in semirings of skew power series based on the discrete convergence. As an application this yields a Kleene Theorem prov...

We introduce a weighted logic with discounting and we establish Büchi’s and Elgot’s theorem for weighted automata over finite words and arbitrary commutative semirings. Then we investigate Büchi and Muller automata with discounting over the max-plus and the min-plus semiring. We show their expressive equivalence with weighted MSO-sentences with discounting. In this case our logic has a purely s...

In this work, we analyze the nonsymmorphic symmetry group structures for a variety of generalized Kitaev spin chains and ladders with bond alternations, including Kitaev-Gamma chain, Kitaev-Heisenberg-Gamma beyond nearest neighbor interactions, two-leg ladders. The analysis is applied to determine breaking patterns several magnetically ordered phases in bond-alternating chains, as well dimeriza...