×

Intelligent graphs: Networks of finite automata capable of solving graph problems. (English) Zbl 0265.94030

Graph Theory Comput., 219-265 (1972).

MSC:

68Q45 Formal languages and automata
94C10 Switching theory, application of Boolean algebra; Boolean functions (MSC2010)
05C99 Graph theory
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)