Coproducts and decomposable machines
β
Michael A. Arbib
π
Article
π
1973
π
Elsevier Science
π
English
β 387 KB
The crucial discovery reported here is that the free monoid U\* on the input set U does not yield a sufficiently rich set of inputs when algebraic structure is placed on the machine. For group machines, the appropriate structure is the coproduct U~ of an infinite sequence of copies of U. U~ reduces