Towards a Formal Model for Functional Generative Description: Analysis by Reduction and Restarting Automata