Representation of Events in Nerve Nets and Finite Automata

First-Order Dynamic Logic

“…This was proved for the axiomatization of Section 16.4 in Kozen (1991aKozen ( , 1994a, but the idea essentially goes back to Kleene (1956); Conway (1971); Backhouse (1975). This result gives rise to an algebraic treatment of finite automata in which the automata are represented by their transition matrices.…”

“…It is named for S. C. Kleene (1909Kleene ( -1994, who among his many other achievements invented regular expressions and proved their equivalence to finite automata in Kleene (1956).…”

“…Beginning with the monograph of Conway (1971), many authors have con-tributed over the years to the development of the algebraic theory; see Backhouse (1975); Krob (1991); Kleene (1956); Kuich and Salomaa (1986); Sakarovitch (1987); Kozen (1990);Bloom andÉsik (1992); Hopkins and Kozen (1999). See also Kozen (1996) for further references.…”

“…Axiomatization of the equational theory of the regular sets is a central question going back to the original paper of Kleene (1956). A completeness theorem for relational algebras was given in an extended language by Ng (1984); Ng and Tarski (1977).…”

Modeling Neural Processes in Lindenmayer Systems

“…The basic transmitting unit in the nervous system is brain cells, so called neurons [3], [6]. The neuron is not one homogeneous integrative unit but is (potentially) divided in many sub-integrative units, each one with the ability of mediating a local synaptic output to another cell or a local electro-tonic output to another part of the same cell.…”