Type alias TuringMachine2SymbolToWriteFirstTuringMachineTransformLog

Type declaration

• Readonly initStateCandinates: readonly {
      firstSymbol: TMSymbol;
      state: TMState;
  }[]

• Readonly ruleTable: {
      originalRule: {
          out: TMRuleOutput;
          read: TMSymbol;
          state: TMState;
      };
      transformedRule: WriteFirstTMRule;
  }[]

• Readonly stateCorrespondenceTable: readonly {
      tmState: TMState;
      writeTMState: TMState;
  }[]

• Readonly symbol0: TMSymbol

• Readonly symbol1: TMSymbol