Author: Languages, and Programming (21st : 1994 : Jerusalem) International Colloquium on Automata