Motivated by problems in infinite-state verification, we study word rewriting systems that extend mixed prefix/suffix rewriting (short: bifix rewriting). We introduce several types of infix rewriting where infix replacements are subject to the condition that they have to occur next to tag symbols within a given word. Bifix rewriting is covered by the case where tags occur only as end markers. W...

This paper argues for a distinction between word formation from roots and word formation from existing words. Focusing on Hebrew, it is shown that roots – and only roots – may be assigned multiple interpretations in different environments. When the basis for the derivation is a word, this word forces its semantic and phonological properties on any element derived from it. To account for this di...

The article characterizes the mechanism of secondary marking verbal derivation, establishes boundaries semantically derived units in nominative-derivative processes Old Ukrainian language written records 14th – 17th centuries. suffixed word-formation nominatives should be considered not only within limits semantics, but also onomasiological aspect and its connections with structure consciousnes...

We propose a new evaluation for automatic solvers for algebra word problems, which can identify reasoning mistakes that existing evaluations overlook. Our proposal is to use derivations for evaluations, which reflect the reasoning process of the solver by explaining how the equation system was constructed. We accomplish this by developing an algorithm for checking the equivalence between two de...

abstract. let r be a 2-torsion free ring with identity. in this paper, first we prove that any jordan left derivation (hence, any left derivation) on the full matrix ringmn(r) (n  2) is identically zero, and any generalized left derivation on this ring is a right centralizer. next, we show that if r is also a prime ring and n  1, then any jordan left derivation on the ring tn(r) of all n×n up...

Document retrieval in languages with a rich and complex morphology – particularly in terms of derivation and (single-word) composition – suffers from serious performance degradation with the stemming-only query-term-totext-word matching paradigm. We propose an alternative approach in which morphologically complex word forms are segmented into relevant subwords (such as stems, prefixes, suffixes...

Document retrieval in languages with a rich and complex morphology – particularly in terms of derivation and (single-word) composition – suffers from serious performance degradation with the stemming-only query-term-to-text-word matching paradigm. We propose an alternative approach in which morphologically complex word forms are segmented into relevant subwords (such as stems, named entities, a...