Show simple item record

dc.contributor.authorAdams, Bryant
dc.date.accessioned2008-07-27T00:55:51Z
dc.date.available2013-07-27T06:26:45Z
dc.date.issued2008-07-27T00:55:51Z
dc.identifier.otherbibid: 6397224
dc.identifier.urihttps://hdl.handle.net/1813/11157
dc.description.abstractIn 2007 Nerode introduced the notion of an update automaton and update transducer to model the evolution of interactions of arbitrary functions on arbitrary domains governed by a finite automaton. We show the scope of this methodology by modeling a variety of processes, including database networks, interactive proofs, finite-state transducers, and financial ledgers. We produce a novel solution method and associated transducers for finite systems of arbitrary-order non-homogeneous linear difference equations over a field using Hermite's unimodular polynomial matrix row reduction. These transducers can be viewed as time invariant linear causal maps of the linear space of sequences of vectors over the base field.en_US
dc.language.isoen_USen_US
dc.subjectautomataen_US
dc.subjecttransducersen_US
dc.subjectstate machinesen_US
dc.subjectdifference equationsen_US
dc.subjectmodelingen_US
dc.titleRepresenting processes as Update Automata and Transducersen_US
dc.typedissertation or thesisen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Statistics