/* DFA for removing whitespaces from string */

digraph G
{
   init -> init [label = "space (ignore)"];
   init -> write_char [label = "char (write)"];
   write_char -> write_char [label = "char (write)"];
   write_char -> write_space [label = "space (write)"];
   write_space -> init [label = "space (ignore)"];
   write_space -> write_char [label = "char (write)"];
}