Computing $f(y)$ can be done by enumerating $A(y)$ and testing each element for membership in $C$.
Thus $W$ satisfies two of the four requirements for membership in $Z$.
Go to the list of words starting with: a
Copyright © 2011 by Jerzy Trzeciak, Warszawa 2011. All rights reserved.
Copyright © 2006-2011 by IMPAN. All rights reserved.
Copyright © 2006-2012 by IMPAN. All rights reserved.