Paper/The Accounting System as an Algebraic Automaton

Rambaud, Salvador Cruz; Pérez, José García (March 9, 2015). "The Accounting System as an Algebraic Automaton". INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS. local page: Wiley Periodicals, Inc. 20, 827–842(2005). 

Research Synopsis

This book is being used as the main reference book to integrate my work on Algebra of Systems with pragmatic accounting practice. It turns out that accounting, as described by Prof. Gautam Dasgupta, should be also be described as abstract-counting. For digitally realize these accounting models, one might to refer to the book Digital Accounting: The Effects of the Internet and ERP on Accounting.

Excerpts

The following sections are some excerpts from this book.

Decision problems for Accounting Systems

1. Decide whether a given transaction is allowable.
2. Decide whether a given balance vector is allowable.
3. Decide whether a given transaction is feasible.
4. Decide whether a final balance vector could actually have occurred by correctly applying a sequence of allowable transactions to a given initial balance vector.
5. Decide whether two accounting systems on the same account set are equivalent, i.e., if they have the same feasible transactions and hence the same monoid.
6. Decide whether a given accounting system is of a specific type such as those described in Chapter 7.