implab/ImplabNet Files · Implab/Automaton/IDFATable.cs

Implab.Diagnostics drafts

cin - - Load All Authors

File last commit:

r171:0f70905b4652 ref20160224


                r253:34df34841225

v3.0.1-beta v3

Download file

             IDFATable.cs
        
                    53 lines
            
             | 1.8 KiB
            
                | text/x-csharp
            
             |
                CSharpLexer
            
             / Implab / Automaton / IDFATable.cs
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      using System.Collections.Generic;

      namespace Implab.Automaton {

          /// <summary>

          /// Полностью описывает DFA автомат, его поведение, состояние и входные символы.

          /// </summary>

          /// <example>

          /// class MyAutomaton {

          ///     int m_current;

          ///     readonly DFAStateDescriptor<string>[] m_automaton;

          ///     readonly IAlphabet<MyCommands> m_commands;

          /// 

          ///     public MyAutomaton(IDFADefinition&lt;MyCommands,MyStates,string&gt; definition) {

          ///         m_current = definition.StateAlphabet.Translate(MyStates.Initial);

          ///         m_automaton = definition.GetTransitionTable();

          ///         m_commands = definition.InputAlphabet;

          ///     }

          /// 

          ///     // defined a method which will move the automaton to the next state

          ///     public void Move(MyCommands cmd) {

          ///         // use transition map to determine the next state

          ///         var next = m_automaton[m_current].transitions[m_commands.Translate(cmd)];

          /// 

          ///         // validate that we aren't in the unreachable state

          ///         if (next == DFAConst.UNREACHABLE_STATE)

          ///             throw new InvalidOperationException("The specified command is invalid");

          /// 

          ///         // if everything is ok

          ///         m_current = next;

          ///     }

          /// }

          /// </example>

          public interface IDFATable : IEnumerable<AutomatonTransition> {

              int StateCount {

                  get;

              }

              int AlphabetSize {

                  get;

              }

              int InitialState {

                  get;

              }

              bool IsFinalState(int s);

              IEnumerable<int> FinalStates {

                  get;

              }

          }

      }

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

				using System.Collections.Generic;


				namespace Implab.Automaton {
				/// <summary>
				/// Полностью описывает DFA автомат, его поведение, состояние и входные символы.
				/// </summary>
				/// <example>
				/// class MyAutomaton {
				/// int m_current;
				/// readonly DFAStateDescriptor<string>[] m_automaton;
				/// readonly IAlphabet<MyCommands> m_commands;
				///
				/// public MyAutomaton(IDFADefinition<MyCommands,MyStates,string> definition) {
				/// m_current = definition.StateAlphabet.Translate(MyStates.Initial);
				/// m_automaton = definition.GetTransitionTable();
				/// m_commands = definition.InputAlphabet;
				/// }
				///
				/// // defined a method which will move the automaton to the next state
				/// public void Move(MyCommands cmd) {
				/// // use transition map to determine the next state
				/// var next = m_automaton[m_current].transitions[m_commands.Translate(cmd)];
				///
				/// // validate that we aren't in the unreachable state
				/// if (next == DFAConst.UNREACHABLE_STATE)
				/// throw new InvalidOperationException("The specified command is invalid");
				///
				/// // if everything is ok
				/// m_current = next;
				/// }
				/// }
				/// </example>
				public interface IDFATable : IEnumerable<AutomatonTransition> {
				int StateCount {
				get;
				}

				int AlphabetSize {
				get;
				}

				int InitialState {
				get;
				}

				bool IsFinalState(int s);

				IEnumerable<int> FinalStates {
				get;
				}
				}
				}