Updated [Dot] to support node shapes. Updated [AutomatonGraph] to double-circle nodes with a reduction.
Attach a file by drag & drop or click to upload
