Qualitative Analysis and Synthesis of Recurrent Neural Networks