How can I generate strings that satisfy some restrictions?

Can anyone give me a hand with techniques to generate strings that satisfy certain restrictions. For example, say I need to generate strings s and t such that