Mercurial > pub > ImplabNet
diff Implab/Automaton/IDFATableBuilder.cs @ 192:f1da3afc3521 release v2.1
Слияние с v2
author | cin |
---|---|
date | Fri, 22 Apr 2016 13:10:34 +0300 |
parents | 76e8f2ba12b8 |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Implab/Automaton/IDFATableBuilder.cs Fri Apr 22 13:10:34 2016 +0300 @@ -0,0 +1,26 @@ +using System; +using System.Collections.Generic; + +namespace Implab.Automaton { + public interface IDFATableBuilder : IDFATable, ICollection<AutomatonTransition> { + /// <summary> + /// Marks the state as final. + /// </summary> + /// <param name="state">State.</param> + void MarkFinalState(int state); + + void SetInitialState(int s); + + /// <summary> + /// Increases if needed the input alphabet size to hold the specified symbol. + /// </summary> + /// <remarks> + /// <code> + /// AlphabetSize = Math.Max(AlphabetSize, symbol + 1) + /// </code> + /// </remarks> + /// <param name="symbol">Symbol.</param> + void AddSymbol(int symbol); + } +} +