If I am correct, phrase structure grammars in linguistics are the grammars for recursively enumerable languages.
Does formal language theory have concepts corresponding to dependency grammars, the concept in contrast to phrase structure grammars in linguistics?
Thanks.