文件名称：LangToGroup：Haskell中组的等距和等径函数的实现
文件大小：84KB
文件格式：ZIP
更新时间：2021-02-16 13:56:51
Haskell 朗拓集团 Haskell的实现。 实现算法可在保留语言的情况下为正式语言构建组的表示形式。 该算法的实现对于形式语言领域的研究是必要的，其中要涉及到群体理论方法。 目前，只有理论著作证明了这种构造的可能性，但是，到目前为止，该算法及其实现尚不存在。 据我们所知，此实现是该领域中的第一个。 建造状态 建筑 要构建运行： stack build 测验 为了运行测试： stack test 进行实验 对于运行实验并打印其数值结果，可以使用is_det
【文件预览】：
LangToGroup-master
----.travis.yml(646B)
----package.yaml(2KB)
----printers()
--------run_stack.sh(85B)
--------DotGraphWriter.hs(938B)
--------SMPrinter.hs(5KB)
--------GrammarPrinter.hs(2KB)
--------Lib.hs(437B)
--------TMPrinter.hs(3KB)
--------Main.hs(25KB)
--------ConfigPrinter.hs(1KB)
----test()
--------TmsTests.hs(4KB)
--------SMTests.hs(3KB)
--------TmsParserTests.hs(4KB)
--------Spec.hs(4KB)
--------SPTests.hs(1KB)
--------GrTests.hs(1KB)
--------Tms2TuringMachineTests.hs(4KB)
--------TuringMachine2TmsTests.hs(1KB)
--------ParserTests.hs(3KB)
----stack.yaml(2KB)
----LICENSE(11KB)
----src()
--------Tms2TuringMachine.hs(4KB)
--------ConfigType.hs(267B)
--------SM2GR.hs(2KB)
--------TMInterpreter.hs(5KB)
--------TMTestSet.hs(2KB)
--------SPKnuthBendix.hs(729B)
--------TM2SP.hs(1KB)
--------GPKnuthBendix.hs(3KB)
--------TmsParser.hs(4KB)
--------GPGenOrds.hs(1010B)
--------TM2SMHelpers.hs(4KB)
--------GapFuncWriter.hs(2KB)
--------OTMReader.hs(2KB)
--------Interpreter.hs(2KB)
--------ToGAP.hs(3KB)
--------SMType.hs(3KB)
--------KnuthBendix.hs(720B)
--------SPTypes.hs(318B)
--------GPGens.hs(1KB)
--------MapleFuncWriter.hs(1KB)
--------Tape.hs(2KB)
--------GPTypes.hs(630B)
--------TMReader.hs(778B)
--------TM2SymTM.hs(15KB)
--------OTMTSet.hs(1KB)
--------SMInterpreter.hs(6KB)
--------TMTesting.hs(14KB)
--------CFG2TM.hs(9KB)
--------SPSolver.hs(1KB)
--------SPReader.hs(802B)
--------Move.hs(220B)
--------TmsType.hs(4KB)
--------GrammarReader.hs(7KB)
--------GrammarType.hs(2KB)
--------GRType.hs(2KB)
--------OTM2ITM.hs(16KB)
--------TMSemigroup.hs(4KB)
--------GPKnuthBendixMain.hs(2KB)
--------TMTypes.hs(755B)
--------SP2GP.hs(2KB)
--------ParsingHelpers.hs(463B)
--------TM2SM.hs(31KB)
--------Helpers.hs(2KB)
--------XTMSymbol.hs(2KB)
--------Main.hs(2KB)
--------Set.hs(510B)
--------TM2Tms.hs(7KB)
--------TMType.hs(3KB)
--------TuringMachine2Tms.hs(2KB)
--------BiTMReader.hs(359B)
--------SPGens.hs(678B)
----Setup.hs(46B)
----examples()
--------tms()
--------grammar()
----.gitignore(313B)
----README.md(3KB)
----ChangeLog.md(51B)