Talk:Quotient of a formal language

Requests and comments
The definition from formal language seems like it would be a good start. —The preceding unsigned comment was added by 67.30.5.108 (talk • contribs).

Some examples would also be very nice. —The preceding unsigned comment was added by 131.247.23.72 (talk • contribs).

On properties of quotients
The previous version incorrectly claimed that a quotient of two context-free languages is context-sensitive.

This is false, any RE set can be constructed in a similar way as the Computation history of a Turing machine can be constructed as an intersection of two context-free languages.

Misof (talk) 21:21, 8 April 2008 (UTC)