我有一个任务，我需要拍摄一些现有的图片，这些图片显示了一些自动机(DFA，NFA，图灵机)，并以某种方式将它们转换成一种格式，这使得我能够使用数据将其表示为自动机，并将其编译为一些图形表示。有没有什么Python库/框架可以让我以图形的方式呈现一些自动机数据？
浏览 2提问于2010-11-02得票数 1
回答已采纳
我正在构建一个FST自动机(fst编译程序)，我希望使用它作为接受器来检查一组字符串是否匹配(非常相似的正则表达式，但具有OpenFST提供的自动化优化所提供的优势)。事情是这样的：我发现了，输入字符串将转换为一个简单的自动机，并与接受的自动机组合以获得结果。我发现它非常笨重和奇怪。有没有更简单的方法(通过cmd行或Python/C++)？
浏览 9提问于2017-07-20得票数 6
回答已采纳
我知道StateFlow的模型检查功能，但如果可能的话，我更愿意使用Python，因为它是开源的。我也知道TuLiP是设计和模拟有限状态机的可靠选择，但据我所知，它不进行模型检查。Python上的FSM包列表似乎充满了类似的面向实现的包。
有没有人知道一个不同的Python包，它能够根据时态逻辑设计规范进行模型检查？
浏览 2提问于2019-04-03得票数 3
回答已采纳
我目前正在分析一些用Python3编写的自动机代码。不幸的是，我对Python3知之甚少，正如我所想的那样。这里有一些背景知识:我目前正在分析一个确定性有限自动机的闭包属性(“连接”)的一段代码。
浏览 26提问于2020-02-24得票数 0
1回答
我有一个描述语言L的Python函数，它获取一个单词，如果该单词在该语言中，则返回True，否则返回False。此外，我有一个描述另一种语言L2的确定性有限自动机，我想检查一下L2=L，我想也许我可以使用假设库来获得反例并区分函数和有限自动机，但我不知道如何在我的代码中以编程方式组合假设，而不是作为测试。谢谢
浏览 23提问于2021-01-11得票数 1
3回答
我有一个python程序，它执行几个独立且耗时的进程。python代码通常是一个自动机，它通过popen调用几个批处理文件。
这个程序目前需要几个小时，所以我想把它分散到多台机器上。如何通过intranet网络拆分任务，以便与python并行处理？
浏览 1提问于2011-05-30得票数 6
回答已采纳
1回答
密码学中的自动逆理论是指自治有限自动机，它相对于基于有限自动机的单密钥密码系统的规范形式，基于有限自动机的公钥加密可以由有限自动机执行。
有限自动机在密码学中的应用是什么？
浏览 0提问于2018-09-27得票数 1
回答已采纳
下面是一个瘦小的角色:如何使字符集匹配，而不是以前捕获的字符？这是呃..。胖的?这是一个(简单的)密码程序的一部分。假设"hobo“被编码为"fxgx”。程序只获取编码的文本，并且必须计算它可能是什么，因此它生成模式：现在它(正确地)匹配"hobo"，也匹配"hoho“(想想看！)。我试过这样的东西：
r'(.)([^\1])([^
浏览 1提问于2017-06-01得票数 1
回答已采纳
有没有人知道Python (任何版本)是否使用NFA(非确定性有限自动机)来计算正则表达式，或者它是否使用了其他机制？请提供链接/参考资料(如果有)。
浏览 2提问于2009-11-17得票数 8
回答已采纳
1回答
如果我们有一个没有最终/接受状态的有限自动机。所以F是空的。如何最小化它？在测试中，我被要求最小化一个自动机，但它有一个空的F，我不知道如何处理这个问题，因为自动机没有接受状态。一个初始状态的所有转换都是正确最小化的自动机吗？我认为，如果两个自动机A和B对于任何可能的输入，A返回与B完全相同的输出，那么它们肯定是等价的。因此，如果自动机没有最终状态，则它不接受任何输入或没有有效的输入，因此它必须与任何其他具有这种行为的自动机等价。
浏览 4提问于2015-05-01得票数 0
1回答
我有一个问题，需要在散列图中进行模糊查找，即返回与查询最相似的键对应的值，在我的例子中，是用Levenshtein距离度量的。import Levenshtein
levs = [(key, Levenshtein.ratio(query, key)) for key in self.keys()]
浏览 0提问于2017-12-28得票数 3
回答已采纳
1回答
GUI带有一个很好的自动机视图生成器，但是为了查看完整的自动机，我需要放大/缩小。另外，如果可能的话，我想将这个自动机保存在一个漂亮的图像中(避免使用打印屏幕)。有没有一种方法可以保存从SPIN或其他工具中生成的自动机图像，这些工具可以基于Promela模型生成自动机？
PS下面是一个图像，显示了我想保存的生成的自动机图像。
浏览 4提问于2015-03-24得票数 3
2回答
有没有工具可以让你创建自动机和语法，并对它们执行操作？通过自动机文法最小化自动机，从文法到自动机，生成无epsilon文法等操作。
非常感谢
浏览 2提问于2014-08-08得票数 0
2回答
SCXML的局限性是否与确定性有限自动机/确定性有限状态机相同，还是SCXML的能力更好地被其他抽象机器/自动机所捕捉？例如，SCXML是否足够强大来描述下推自动机或图灵机？
浏览 0提问于2014-04-21得票数 1
回答已采纳
3回答
马基纳是一个基于单元格的模型，它由自动机组成，在网格上移动。这些自动机遵循指令的路径来指导它们的运动。指令I这个指令停止自动机的上升或下降，但对左或右的自动机不做任何操作。H这个指令停止自动机向左或向右，但对向上或向下的自动机不做任何操作。所有其他字符(包括空格)都会停止自动机，退出程序的界限也
浏览 0提问于2022-04-21得票数 8
我们有这样的建筑：计算机和自动机在同一个vlan中。因此，当自动机通过交换机使用我们的网络而不是直接连接到计算机时，它就不能工作了。更新15/05/2020 :
所以，自动机技术人员的配置失败了。计算机从未与自动机通信，因为他使用自己的计算机进行配置&#
浏览 0提问于2020-05-14得票数 3
回答已采纳
云服务器
ICP备案
对象存储
云直播
腾讯会议
腾讯云开发者
