Automata - Revision history

Arjun Suresh at 21:10, 22 October 2014

2014-10-22T21:10:30Z

Arjun Suresh at 21:10, 22 October 2014

2014-10-22T21:10:03Z

Arjun Suresh at 21:09, 22 October 2014

2014-10-22T21:09:37Z

Arjun Suresh at 21:06, 22 October 2014

2014-10-22T21:06:27Z

Arjun Suresh at 21:05, 22 October 2014

2014-10-22T21:05:30Z

Arjun Suresh: Created page with " digraph example { rankdir=LR; node [shape = none] ""; node [shape = circle]; A->BC [label="1/1"]; A->D [label="0/0"]; BC->BC [label="1/1"]; BC ..."

2014-10-22T20:56:05Z

Created page with "<graphviz caption='1996.2.23'> digraph example { rankdir=LR; node [shape = none] ""; node [shape = circle]; A->BC [label="1/1"]; A->D [label="0/0"]; BC->BC [label="1/1"]; BC ..."

New page

<graphviz caption='1996.2.23'>
digraph example {
rankdir=LR;
node [shape = none] "";
node [shape = circle];

A->BC [label="1/1"];
A->D [label="0/0"];
BC->BC [label="1/1"];
BC -> A [label="0/0"];
D -> BC[label="1/1"];
D -> A[label="0/1"];
}
</graphviz>

@@ Line 3: / Line 3: @@
 rankdir=LR;
 node [shape = none] "";
-node [shape = doublecircle] D,A;
+node [shape = doublecircle] D,AC;
 node [shape = circle];
 ""-> AC;

@@ Line 10: / Line 10: @@
 B->AC [label="0"];
 B->AC [label="1"];
-A->AC [label="a"];
+AC->AC [label="a"];
 AC->D [label="b"];
 D -> E [label="a"];

@@ Line 5: / Line 5: @@
 node [shape = doublecircle] D,A;
 node [shape = circle];
+""-> AC;
-A->B [label="0"];
+AC->B [label="0"];
-A->B [label="1"];
+AC->B [label="1"];
-B->A [label="0"];
+B->AC [label="0"];
-B->A [label="1"];
+B->AC [label="1"];
-A->A [label="a"];
+A->AC [label="a"];
-A->D [label="b"];
+AC->D [label="b"];
 D -> E [label="a"];
 D -> D [label="b"];

@@ Line 10: / Line 10: @@
 B->A [label="0"];
 B->A [label="1"];
-A->a [label="a"];
+A->A [label="a"];
 A->D [label="b"];
 D -> E [label="a"];
 E -> E[label="a"];
 E -> E[label="b"];
+}
 </graphviz>