Closedness properties and decision problems for finite multi-tape automata Peter H. Starke (1976) Kybernetika Similarity: