Time-variant automata and time-variant grammars - Arikawa, Setsuo 1941- (1973)