LangToGroup-0.1.0.0
Please see the README on GitHub at https://github.com/YaccConstructor/LangToGroup#readme
Signatures
Modules
- Boolean2TM
- Boolean2TMConstants
- Boolean2TMHelpers
- CFG2TM
- ConfigType
- Containers
- DebuggingTMTypes
- Format
- GP2GAP
- GP2SR
- GRType
- GapFuncWriter
- GrammarReader
- GrammarType
- GroupPresentation
- Helpers
- Lens
- MapleFuncWriter
- ParsingHelpers
- SM2GR
- SMInterpreter
- SMType
- SP2GP
- SP2SR
- SemigroupPresentation
- ShowInfo
- StringRewriting
- TM2SM
- TM2SMHelpers
- TM2SP
- TM2SymTM
- TM2Tms
- TMInterpreter
- TMType
- Time
- Tms2TuringMachine
- TmsParser
- TmsType
- TuringMachine
- TuringMachine2Tms