97,530 research outputs found
Extending Context-Sensitivity in Term Rewriting
We propose a generalized version of context-sensitivity in term rewriting
based on the notion of "forbidden patterns". The basic idea is that a rewrite
step should be forbidden if the redex to be contracted has a certain shape and
appears in a certain context. This shape and context is expressed through
forbidden patterns. In particular we analyze the relationships among this novel
approach and the commonly used notion of context-sensitivity in term rewriting,
as well as the feasibility of rewriting with forbidden patterns from a
computational point of view. The latter feasibility is characterized by
demanding that restricting a rewrite relation yields an improved termination
behaviour while still being powerful enough to compute meaningful results.
Sufficient criteria for both kinds of properties in certain classes of rewrite
systems with forbidden patterns are presented
Termination of Rewriting with and Automated Synthesis of Forbidden Patterns
We introduce a modified version of the well-known dependency pair framework
that is suitable for the termination analysis of rewriting under forbidden
pattern restrictions. By attaching contexts to dependency pairs that represent
the calling contexts of the corresponding recursive function calls, it is
possible to incorporate the forbidden pattern restrictions in the (adapted)
notion of dependency pair chains, thus yielding a sound and complete approach
to termination analysis. Building upon this contextual dependency pair
framework we introduce a dependency pair processor that simplifies problems by
analyzing the contextual information of the dependency pairs. Moreover, we show
how this processor can be used to synthesize forbidden patterns suitable for a
given term rewriting system on-the-fly during the termination analysis.Comment: In Proceedings IWS 2010, arXiv:1012.533
Forbidden ordinal patterns in higher dimensional dynamics
Forbidden ordinal patterns are ordinal patterns (or `rank blocks') that
cannot appear in the orbits generated by a map taking values on a linearly
ordered space, in which case we say that the map has forbidden patterns. Once a
map has a forbidden pattern of a given length , it has forbidden
patterns of any length and their number grows superexponentially
with . Using recent results on topological permutation entropy, we study in
this paper the existence and some basic properties of forbidden ordinal
patterns for self maps on n-dimensional intervals. Our most applicable
conclusion is that expansive interval maps with finite topological entropy have
necessarily forbidden patterns, although we conjecture that this is also the
case under more general conditions. The theoretical results are nicely
illustrated for n=2 both using the naive counting estimator for forbidden
patterns and Chao's estimator for the number of classes in a population. The
robustness of forbidden ordinal patterns against observational white noise is
also illustrated.Comment: 19 pages, 6 figure
- …