Construct a DFA accepting constants, defined as any non-empty string of digits, optionally with a decimal point, such as 12., .12, 1.2 and 12. Transform it to a scanner in high-level pseudo-code.