The present paper introduces and discusses generalized scattered context grammars that are based upon sequences of productions whose left-hand sides are formed by nonterminal strings, not just single nonterminals. It places two restrictions on the derivations in these grammars. More specifically, let k be a positive integer. The first restriction requires that all rewritten symbols occur within...

Propagating scattered context grammars, introduced in [3], represent an important type of semi-parallel rewriting systems. Since their introduction, however, the exact relationship of the family of languages they generate to the family of context-sensitive languages is unknown. The language family generated by these grammars is included in the family of context-sensitive languages; on the other...

By introducing the Regular Membership Constraint, Gilles Pesant pioneered the idea of basing constraints on formal languages. The paper presented here is highly motivated by this work, taking the obvious next step, namely to investigate constraints based on grammars higher up in the Chomsky hierarchy. We devise an arc-consistency algorithm for context-free grammars, investigate when logic combi...

One version of the problem of induction is how to justify hypotheses in the face of data. Why advance hypothesis A rather than B — or in a probabilistic context, why attach greater probability to A than B? If the data arrive as a stream of observations (distributed through time) then the problem is to justify the associated stream of hypotheses. Several perspectives on this problem have been de...

FcaBedrock employs user-guided automation to convert c.s.v. data sets into Burmeister .cxt and FIMI .dat context files for FCA.