-
- Downloads
concept of labels for symbols
Showing
- alib2/src/alphabet/Blank.cpp 0 additions, 18 deletionsalib2/src/alphabet/Blank.cpp
- alib2/src/alphabet/Blank.h 0 additions, 31 deletionsalib2/src/alphabet/Blank.h
- alib2/src/alphabet/BlankSymbol.cpp 54 additions, 0 deletionsalib2/src/alphabet/BlankSymbol.cpp
- alib2/src/alphabet/BlankSymbol.h 45 additions, 0 deletionsalib2/src/alphabet/BlankSymbol.h
- alib2/src/alphabet/LabeledSymbol.cpp 61 additions, 0 deletionsalib2/src/alphabet/LabeledSymbol.cpp
- alib2/src/alphabet/LabeledSymbol.h 54 additions, 0 deletionsalib2/src/alphabet/LabeledSymbol.h
- alib2/src/alphabet/Symbol.cpp 58 additions, 21 deletionsalib2/src/alphabet/Symbol.cpp
- alib2/src/alphabet/Symbol.h 31 additions, 25 deletionsalib2/src/alphabet/Symbol.h
- alib2/src/alphabet/SymbolBase.cpp 45 additions, 0 deletionsalib2/src/alphabet/SymbolBase.cpp
- alib2/src/alphabet/SymbolBase.h 49 additions, 0 deletionsalib2/src/alphabet/SymbolBase.h
- alib2/src/automaton/AutomatonFromXMLParser.cpp 20 additions, 18 deletionsalib2/src/automaton/AutomatonFromXMLParser.cpp
- alib2/src/automaton/AutomatonToXMLComposer.cpp 6 additions, 6 deletionsalib2/src/automaton/AutomatonToXMLComposer.cpp
- alib2/src/automaton/FSM/CompactNFA.cpp 1 addition, 1 deletionalib2/src/automaton/FSM/CompactNFA.cpp
- alib2/src/automaton/FSM/DFA.cpp 4 additions, 4 deletionsalib2/src/automaton/FSM/DFA.cpp
- alib2/src/automaton/FSM/EpsilonNFA.cpp 2 additions, 2 deletionsalib2/src/automaton/FSM/EpsilonNFA.cpp
- alib2/src/automaton/FSM/ExtendedNFA.cpp 1 addition, 1 deletionalib2/src/automaton/FSM/ExtendedNFA.cpp
- alib2/src/automaton/FSM/NFA.cpp 2 additions, 2 deletionsalib2/src/automaton/FSM/NFA.cpp
- alib2/src/automaton/PDA/PDA.cpp 8 additions, 8 deletionsalib2/src/automaton/PDA/PDA.cpp
- alib2/src/automaton/TM/OneTapeDTM.cpp 6 additions, 7 deletionsalib2/src/automaton/TM/OneTapeDTM.cpp
- alib2/src/automaton/common/BlankSymbolInputTapeAlphabet.cpp 4 additions, 4 deletionsalib2/src/automaton/common/BlankSymbolInputTapeAlphabet.cpp
Loading
Please register or sign in to comment