in discussion Discussions / Q&A Fall 2015 » 2009 Semester B, Moed A, part2, q1
Notice that the algorithms I mentioned above decide what we need, since one formal definition of our problem can be:
{x in Sigma* : L is regular}
(this means that we have two "not related" things in the definition of the class: some x, and some requirement on L)