|
165
|
1 using System;
|
|
167
|
2 using System.Collections.Generic;
|
|
165
|
3
|
|
|
4 namespace Implab.Automaton {
|
|
167
|
5 public interface IDFATableBuilder : IDFATable, ICollection<AutomatonTransition> {
|
|
165
|
6 /// <summary>
|
|
|
7 /// Marks the state as final.
|
|
|
8 /// </summary>
|
|
|
9 /// <param name="state">State.</param>
|
|
|
10 void MarkFinalState(int state);
|
|
|
11
|
|
|
12 void SetInitialState(int s);
|
|
182
|
13
|
|
|
14 /// <summary>
|
|
|
15 /// Increases if needed the input alphabet size to hold the specified symbol.
|
|
|
16 /// </summary>
|
|
|
17 /// <remarks>
|
|
|
18 /// <code>
|
|
|
19 /// AlphabetSize = Math.Max(AlphabetSize, symbol + 1)
|
|
|
20 /// </code>
|
|
|
21 /// </remarks>
|
|
|
22 /// <param name="symbol">Symbol.</param>
|
|
|
23 void AddSymbol(int symbol);
|
|
165
|
24 }
|
|
|
25 }
|
|
|
26
|
