A code generator for generating codes in several programming languages from state transition diagrams.