Talk:Quotient of a formal language

Latest comment: 16 years ago by Misof in topic On properties of quotients

Requests and comments

edit

The definition from formal language seems like it would be a good start. —The preceding unsigned comment was added by 67.30.5.108 (talkcontribs) 09:00, 26 October 2003 (UTC).Reply

Some examples would also be very nice. —The preceding unsigned comment was added by 131.247.23.72 (talkcontribs) 16:20, 26 June 2007 (UTC).Reply

On properties of quotients

edit

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)Reply