RECURSIVELY ENUMERABLE LANGUAGES AND VAN WIJNGAARDEN GRAMMARS