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

Fixed promise rejection when there is not specified error handler in the reaction....

Fixed promise rejection when there is not specified error handler in the reaction. FIXED SPELLING IN THE XML CONTAINER CONFIGURATION signleton->singleton Code cleanup Update tests make them working on dotnet core

cin - - Load All Authors

File last commit:

r289:95896f882995 v3.0.14 v3


                r295:28af686e24f7

default

Download file

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

        cin
    
Added tests for Implab.ServiceHost.Unity configuration loader.

              r289
            
      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

cin Added tests for Implab.ServiceHost.Unity configuration loader.	r289	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;
		}
		}
		}