Looking into infinite-state automata and associated formal languages and grammars, semigroups, monoids and semirings; in search of a reasonably elegant and general theory yielding composition and decomposition, structural complexity and such; inspired by Eilenberg, Schutzenberger, Rhodes, Greibach, Salomaa, Kuich, Pin, Ginsburg, Goldstine, etc.