A Transaction Represented with Weighted Finite-State Transducers

J. Nathaniel Holmes, Homayoon Beigi

Not all contracts are good, but all good contracts can be expressed as a finite-state transition system ("State-Transition Contracts"). Contracts that can be represented as State-T…