You must prove that your machine works by providing the source and a definition of how your input string should be formatted.