|
165
|
1 using System;
|
|
|
2
|
|
|
3 namespace Implab.Automaton {
|
|
|
4 public interface IDFATableBuilder : IDFATable {
|
|
|
5 /// <summary>
|
|
|
6 /// Marks the state as final.
|
|
|
7 /// </summary>
|
|
|
8 /// <param name="state">State.</param>
|
|
|
9 void MarkFinalState(int state);
|
|
|
10
|
|
|
11 /// <summary>
|
|
|
12 /// Defines the transition from <paramref name="s1"/> to
|
|
|
13 /// <paramref name="s2"/> with input <paramref name="symbol"/>.
|
|
|
14 /// </summary>
|
|
|
15 /// <param name="s1">S1.</param>
|
|
|
16 /// <param name="s2">S2.</param>
|
|
|
17 /// <param name="symbol">Symbol.</param>
|
|
|
18 void DefineTransition(int s1, int s2, int symbol);
|
|
|
19
|
|
|
20 void SetInitialState(int s);
|
|
|
21
|
|
|
22 }
|
|
|
23 }
|
|
|
24
|
