The Maximum Invariant Set of an Automaton System

Hideyuki Takahashi. The Maximum Invariant Set of an Automaton System. Inf. Comput., 32(4):307-354, December 1976.

Abstract

Abstract is missing.