Eliminated a lot of temporary storage during conversion.
Use raw states rather than symbols in JSON transition table.
Avoid using hashes to represent output symbol/target state pairs.