26,286 research outputs found
The rationality of Sol manifolds
Let be the fundamental group of a manifold modeled on three
dimensional Sol geometry. We prove that has a finite index subgroup
which has a rational growth series with respect to a natural generating
set. We do this by enumerating by a regular language. However, in contrast
to most earlier proofs of this sort our regular language is not a language of
words in the generating set, but rather reflects a different geometric
structure in .Comment: 30 pages; author's name changed to agree with published version; to
appear in Journal of Algebr
Equivalence checking for weak bi-Kleene algebra
Pomset automata are an operational model of weak bi-Kleene algebra, which
describes programs that can fork an execution into parallel threads, upon
completion of which execution can join to resume as a single thread. We
characterize a fragment of pomset automata that admits a decision procedure for
language equivalence. Furthermore, we prove that this fragment corresponds
precisely to series-rational expressions, i.e., rational expressions with an
additional operator for bounded parallelism. As a consequence, we obtain a new
proof that equivalence of series-rational expressions is decidable
Linearly bounded infinite graphs
Linearly bounded Turing machines have been mainly studied as acceptors for
context-sensitive languages. We define a natural class of infinite automata
representing their observable computational behavior, called linearly bounded
graphs. These automata naturally accept the same languages as the linearly
bounded machines defining them. We present some of their structural properties
as well as alternative characterizations in terms of rewriting systems and
context-sensitive transductions. Finally, we compare these graphs to rational
graphs, which are another class of automata accepting the context-sensitive
languages, and prove that in the bounded-degree case, rational graphs are a
strict sub-class of linearly bounded graphs
On periodic points of free inverse monoid endomorphisms
It is proved that the periodic point submonoid of a free inverse monoid
endomorphism is always finitely generated. Using Chomsky's hierarchy of
languages, we prove that the fixed point submonoid of an endomorphism of a free
inverse monoid can be represented by a context-sensitive language but, in
general, it cannot be represented by a context-free language.Comment: 18 page
A Metric for Linear Temporal Logic
We propose a measure and a metric on the sets of infinite traces generated by
a set of atomic propositions. To compute these quantities, we first map
properties to subsets of the real numbers and then take the Lebesgue measure of
the resulting sets. We analyze how this measure is computed for Linear Temporal
Logic (LTL) formulas. An implementation for computing the measure of bounded
LTL properties is provided and explained. This implementation leverages SAT
model counting and effects independence checks on subexpressions to compute the
measure and metric compositionally
- …