--- a/Implab/Automaton/IDFATableBuilder.cs	Mon Feb 29 18:41:01 2016 +0300
+++ b/Implab/Automaton/IDFATableBuilder.cs	Wed Mar 02 00:20:48 2016 +0300
@@ -1,22 +1,14 @@
 using System;
+using System.Collections.Generic;
 
 namespace Implab.Automaton {
-    public interface IDFATableBuilder : IDFATable {
+    public interface IDFATableBuilder : IDFATable, ICollection<AutomatonTransition> {
         /// <summary>
         /// Marks the state as final.
         /// </summary>
         /// <param name="state">State.</param>
         void MarkFinalState(int state);
 
-        /// <summary>
-        /// Defines the transition from <paramref name="s1"/> to
-        /// <paramref name="s2"/> with input <paramref name="symbol"/>.
-        /// </summary>
-        /// <param name="s1">S1.</param>
-        /// <param name="s2">S2.</param>
-        /// <param name="symbol">Symbol.</param>
-        void DefineTransition(int s1, int s2, int symbol);
-
         void SetInitialState(int s);
 
     }