Linear automaton transformations
Anil Nerode
- Vol. 9, Iss: 4, pp 541-544
Reads0
Chats0
TLDR
For a finite commutative ring with unit the authors determine which linear transformations M: RN—+RN can be realized by finite automata.Abstract:
Let R be a nonempty set, let N consist of all non-negative rational integers, and denote by RN the set of all functions on N to R. If R is a ring, a map M: R"—>P^ is linear if M(rxfx+r2f2)=rx(Mfx) +r2(Mf2) for rx, r2 in R, fx, f2 in RN. For a finite commutative ring with unit we determine which linear transformations M: RN—+RN can be realized by finite automata. More precisely, let A, B he finite nonempty sets. A map M: AN—>BN is an automaton transformation if there exists a finite set Q, maps Mq: A X£>—><2, Mb: A XQ-*B, elements h in B, q in Q such that corresponding to each/ in AN there exists an h in QN satisfyingread more
Citations
More filters
Book ChapterDOI
Can abstract state machines be useful in language theory
Yuri Gurevich,Charles Wallace +1 more
TL;DR: In this article, the authors consider how and whether state machines could be useful in language theory, and they consider how to use state machines in the context of the Developments in Language Theory (DDLI) conference.
Journal ArticleDOI
Computability in the Lattice of Equivalence Relations
TL;DR: In this paper, the authors investigate computability in the lattice of equivalence relations on the natural numbers, and they mostly investigate whether the subsets of appropriately defined subrecursive relations form sublattices.
Grundlagen des aktiven Automatenlernens: Eine algorithmische Sichtweise
TL;DR: Durch eine komplett frische, erstmals formal grundierte Auseinandersetzung mit diesem nahezu dreißig Jahre alten Forschungsthema löst die vorliegende Dissertation das zentrale Problem der effizienten Behandlung of langen Gegenbeispielen.
References
More filters
Book ChapterDOI
Representation of Events in Nerve Nets and Finite Automata
TL;DR: This memorandum is devoted to an elementary exposition of the problems and of results obtained on the McCulloch-Pitts nerve net during investigations in August 1951.