腾讯云
开发者社区
文档
建议反馈
控制台
登录/注册
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
有限
自动机
及其在密码学中的应用
、
密码学中的自动逆理论是指自治有限
自动机
,它相对于基于有限
自动机
的单密钥密码系统的规范形式,基于有限
自动机
的公钥加密可以由有限
自动机
执行。 有限
自动机
在密码学中的应用是什么?
浏览 0
提问于2018-09-27
得票数 1
回答已采纳
1
回答
确定性有限
自动机
最小化
如果我们有一个没有最终/接受状态的有限
自动机
。所以F是空的。如何最小化它?在测试中,我被要求最小化一个
自动机
,但它有一个空的F,我不知道如何处理这个问题,因为
自动机
没有接受状态。一个初始状态的所有转换都是正确最小化的
自动机
吗?我认为,如果两个
自动机
A和B对于任何可能的输入,A返回与B完全相同的输出,那么它们肯定是等价的。因此,如果
自动机
没有最终状态,则它不接受任何输入或没有有效的输入,因此它必须与任何其他具有这种行为的
自动机
等价。
浏览 4
提问于2015-05-01
得票数 0
1
回答
生成我的Promela模型的
自动机
图像
、
、
、
GUI带有一个很好的
自动机
视图生成器,但是为了查看完整的
自动机
,我需要放大/缩小。另外,如果可能的话,我想将这个
自动机
保存在一个漂亮的图像中(避免使用打印屏幕)。有没有一种方法可以保存从SPIN或其他工具中生成的
自动机
图像,这些工具可以基于Promela模型生成
自动机
? PS下面是一个图像,显示了我想保存的生成的
自动机
图像。
浏览 4
提问于2015-03-24
得票数 3
2
回答
自动机
和语法研究的工具支持
、
、
、
有没有工具可以让你创建
自动机
和语法,并对它们执行操作?通过
自动机
文法最小化
自动机
,从文法到
自动机
,生成无epsilon文法等操作。 非常感谢
浏览 2
提问于2014-08-08
得票数 0
2
回答
SCXML描述了什么类型的
自动机
?
、
、
、
、
SCXML的局限性是否与确定性有限
自动机
/确定性有限状态机相同,还是SCXML的能力更好地被其他抽象机器/
自动机
所捕捉?例如,SCXML是否足够强大来描述下推
自动机
或图灵机?
浏览 0
提问于2014-04-21
得票数 1
回答已采纳
1
回答
确定性下推
自动机
与非确定性下推
自动机
你如何证明)确定性下推
自动机
(DPDA)比有限
自动机
更强大,而比非确定性下推
自动机
更弱?
浏览 21
提问于2020-03-04
得票数 1
回答已采纳
3
回答
这个makina程序会停止吗?
、
、
、
马基纳是一个基于单元格的模型,它由
自动机
组成,在网格上移动。这些
自动机
遵循指令的路径来指导它们的运动。指令I这个指令停止
自动机
的上升或下降,但对左或右的
自动机
不做任何操作。H这个指令停止
自动机
向左或向右,但对向上或向下的
自动机
不做任何操作。所有其他字符(包括空格)都会停止
自动机
,退出程序的界限也
浏览 0
提问于2022-04-21
得票数 8
2
回答
查找正则表达式的所有匹配字符串(不带+和*运算符)
库或程序应该输出如下内容:我不关心它是用什么语言实现的,只要它在
linux
求精:如果将正则表达式转换为确定的有限
自动机
,则
自动机
必须可表示为有向无环图。这就是为什么可能的输出字符串必须是可枚举的(而不是无限长的字符串)。
浏览 3
提问于2011-11-14
得票数 4
回答已采纳
1
回答
Linux
和许多本地用户帐户,限制与挂载--绑定?
、
、
我正在构建一个解决方案,以处理许多开发人员(可能有数百人)通过sftp处理他们的文件,每个开发人员都被关在自己的主目录中。针对我们的特殊需要,我们有一个samba挂载点,它包含所有的用户主目录。 我已经开始开发以下解决方案,并碰到了一些问题:-我已经将配置为sftp服务器。-为了囚禁主目录中的用户(不允许他们浏览目录并查看所有其他用户文件夹),我使用的是挂载-绑定,而不是符号链接(还有一些ftp客户端并不真正使用sym链接)。-用户帐户是sftp服务器上的本地unix用户帐户(不使用目录服务或任何东西),这些用户帐户具有在本地机器上创建的空主文件夹,然后我使用挂载-绑定将空文件夹绑定到samb
浏览 0
提问于2012-06-04
得票数 0
2
回答
如果使用开关,则与
自动机
失去通信。
、
我们有这样的建筑:计算机和
自动机
在同一个vlan中。因此,当
自动机
通过交换机使用我们的网络而不是直接连接到计算机时,它就不能工作了。更新15/05/2020 : 所以,
自动机
技术人员的配置失败了。计算机从未与
自动机
通信,因为他使用自己的计算机进行配置
浏览 0
提问于2020-05-14
得票数 3
回答已采纳
1
回答
关于
自动机
最小化的不确定性
、
我不得不最小化一些有限状态
自动机
,但我生来就有疑问:在这种转换之前,
自动机
必须证明是ε-productions?或者我可以离开他们?
自动机
是这样的:
浏览 1
提问于2014-08-10
得票数 0
1
回答
构造非确定性有限
自动机
、
我需要画一个不确定的有限
自动机
,它包含三个先前制作的有限
自动机
。我为飞机,云,跑道等关键词制作了它们。我需要帮助,如何构建这三个
自动机
的共同
自动机
。我需要一些例子如何做到这一点?
浏览 0
提问于2012-04-24
得票数 0
回答已采纳
1
回答
如何使用
自动机
编写for循环
、
、
我感兴趣的是如何将for循环/ while循环实现为一个
自动机
。我很难想象那会是怎么回事。假设this循环执行了以下操作:while (i < 10) i = i + 1 不确定如果将其实现为
自动机
会发生什么(状态和转换将是什么,以及i = i + 1操作将在
自动机
中发生在哪里想知道如果它是一个
自动机
的话,它是否能显示主要的状态和跃迁。
浏览 0
提问于2018-06-22
得票数 0
回答已采纳
1
回答
关于有限
自动机
的大小和状态数
、
、
我试图找出有限
自动机
的大小和它的状态数。我想展示一下, 起初,我试图为L绘制
自动机
,但是我无法证明它的大小和它有多少个状态。真的需要帮助。
浏览 0
提问于2018-04-18
得票数 0
1
回答
将参数传递给Scapy的Automaton.run()方法
、
我正在尝试创建一个
自动机
来使用Scapy的
自动机
类解析不同的数据包。 为了做到这一点,我需要能够将包作为参数传递给
自动机
。这样做的一种方法是在创建
自动机
时传递数据包: my_automaton = MyAutomaton(packet) 此参数将由
自动机
代码中重载的parse_args函数处理: class MyAutomaton如果我为每个传入的数据包创建一个新的
自动机
,这会很好地工作。 但我只想创建一个
自动机
,并用不同的包运行它。通过在调用parse_args方法时
浏览 13
提问于2019-02-03
得票数 0
回答已采纳
4
回答
转换图与有限
自动机
的区别
、
我不知道转换图和有限
自动机
之间有什么区别。当我搜索“转换图”时,就会得到状态图。谢谢。
浏览 1
提问于2014-04-07
得票数 2
回答已采纳
1
回答
如何动态分配循环数据?
、
、
为了示例起见,让我们定义一个玩具
自动机
类型: Auto Automatonsink =它由1种状态组成,这些状态总是转换到自身。但是,接受用户的输入并构造一个
自动机
可能会更好。例如,可以从转换矩阵中构建一个。然而,这种方法产生的
自动机
是O(n)来跟踪一个转换,因为除了缓存之外,每次进行转换时都
浏览 7
提问于2021-12-24
得票数 15
回答已采纳
3
回答
如何通过NFA将该
自动机
转换为正则表达式
、
、
、
我需要通过将DFA (确定性有限
自动机
)转换为一般的NFA (非确定性有限
自动机
)来将这个有限
自动机
转换为正则表达式。应该怎么做呢?NFA和DFA的状态图是否相同?
浏览 4
提问于2019-03-29
得票数 0
1
回答
在这种情况下,下推
自动机
有用吗?
、
在大学里,他们要求我使用语法和下推
自动机
来检查一部分Java代码的语法。由于我以前没有使用过这个
自动机
,我已经了解了它们是如何工作的,并且我认为这个
自动机
在代码语法的检查中并不是很有用,因为下推
自动机
用于验证一个语法,在任何标记之间都有一定的比例,比如"0^n ^2n\n这种标记之间的比例在代码语法中不存在,因此我认为下推
自动机
在这种情况下是没有用的。 我一定要抱怨他们要我做的工作吗?
浏览 1
提问于2016-10-25
得票数 0
1
回答
如何在Promela旋转中将LTL转换为Automato?
、
、
如何在PROMELA中将LTL转换成
自动机
?我知道,使用自旋-f "ltl“命令,可以将LTL转换为永不声明,但我想要LTL的
自动机
,而不是否定的
自动机
。
浏览 1
提问于2016-08-05
得票数 2
回答已采纳
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
自动机器学习最新综述
1.基于AC自动机的快速分词
自动机器学习(AutoML):方法、系统与挑战
瑞典公司LFV开始测试自动机场除雪设备
中文分词系列之基于 AC 自动机的快速分词
热门
标签
更多标签
云服务器
ICP备案
实时音视频
对象存储
云直播
活动推荐
运营活动
广告
关闭
领券