模拟非确定性有限状态机的递归函数
非确定性有限状态机（Non-deterministic Finite Automaton，NFA）是一种计算模型，用于描述具有有限个状态和转移规则的系统。与确定性有限状态机（Deterministic Finite Automaton，DFA）不同，NFA在某些情况下可以具有多个可能的转移路径，即存在非确定性。
递归函数是一种在函数定义中调用自身的函数。它通过将问题分解为更小的子问题来解决复杂的计算任务。递归函数通常包含一个或多个基本情况（base case），用于终止递归过程，以及一个或多个递归情况（recursive case），用于调用自身并解决更小的子问题。
要模拟非确定性有限状态机的递归函数，可以使用递归的方式来实现状态转移和状态判断。具体步骤如下：
- 定义状态：确定状态集合，每个状态代表NFA的一个状态。
- 定义转移规则：确定状态之间的转移规则，包括输入字符和转移到的下一个状态。对于NFA，一个状态可能有多个可能的下一个状态。
- 实现递归函数：编写递归函数来模拟状态转移和状态判断。函数接收当前状态和输入字符作为参数，并根据转移规则进行状态转移。如果存在多个可能的下一个状态，则递归调用函数处理每个可能的状态。
- 定义基本情况：在递归函数中定义基本情况，即终止递归的条件。例如，当输入字符为空或达到终止状态时，递归函数可以返回结果。
- 调用递归函数：在主程序中调用递归函数，并传入初始状态和输入字符。
非确定性有限状态机的递归函数可以应用于各种场景，例如正则表达式匹配、语法分析、自动机模型等。
腾讯云提供了一系列与云计算相关的产品和服务，包括云服务器、云数据库、云存储、人工智能等。具体推荐的产品和产品介绍链接地址可以根据具体需求和场景来确定。
相关·内容
1回答
戴维·西尔弗将马尔可夫链的一种性质描述为：
鉴于现在，未来是独立于过去的。
(4分钟进入视频)
这引起了我的共鸣，因为我目前正在学习函数式编程(FP)。
在FP中，您也可以忽略过去，因为您的函数只需要当前状态来执行某些操作并输出新状态。在面向对象的情况下，THis不一定是正确的，因为输出可能依赖于不同地方的几个状态。
我不知道FP和马尔可夫链之间有什么更深层次的联系吗？
例如，用FP编写的函数是确定性马尔可夫链，这种说法准确吗？
浏览 11提问于2017-06-05得票数 2
回答已采纳
1回答
我正在使用greenery模块实现一个
from greenery import fsm, lego
E, O = range(2)
z, o = '0', '1'
# Create the FSM
machine = fsm.fsm(
alphabet = {o, z},
states = {E, O},
initial = E,
finals = {E},
map = {
E : {z: O, o: E},
O : {o: O, z: E
浏览 8提问于2022-04-29得票数 0
4回答
有没有人能解释一下(用简单的英语举例会更好) list monad可以用来模拟非确定性计算？也就是说，问题是什么，list monad可以提供什么解决方案。
浏览 1提问于2013-12-18得票数 34
2回答
我正在尝试开发一个用Java执行非确定性有限自动机的模拟程序。第一个命令行参数是一个定义计算机的文本文件。第二个参数是一个输入字符串。如果它接受这个字符串，它会打印到标准输出" accept“，后面跟着一个可以结束的接受状态列表。如果拒绝，则输出"reject“，后跟所有可能的结束状态的列表。
例如，文本：
state 1 start
state 2
state 7 accept
transition 1 0 1
transition 1 1 1
transition 1 0 2
transition 2 0 2
tr
浏览 3提问于2014-09-14得票数 6
我想解析一个HTML代码，并从它们在表中的文本表示创建对象。我有几列，我想在每一行上保存某些列的上下文。现在，我有了HTML代码，我知道我应该使用Pattern和Matcher来获取这些字符串，但我不知道如何编写所需的正则表达式。
这是我要解析的一行：
<tr><td><a href="delirium.htm">Delirium</a></td><td>65...</tr>
所以，我想从这个字符串中提取Delirium。如何编写保存正则表达式
获取字符串htm">和</a&
浏览 1提问于2010-01-19得票数 0
回答已采纳
1回答
什么是常规语言？
、、、、
我试图理解语言层次的概念(规则，上下文无关，上下文敏感，等等)。
我可以很容易地查到这一点，但我找到的所有解释都是一堆符号，都是关于场景的。我有两个问题：
你能用文字描述什么是常规语言吗?这些语言有何不同？
人们在哪里学会理解这些东西？据我所知，这是形式数学吗？我在大学上了几门课程，他们使用了它，但几乎没有人理解它，因为导师们只是假设我们知道。我在哪里可以学到它，为什么人们“期望”在这么多的来源了解它？好像在教育上有差距。
这是一个
属于此集合的任何语言都是字母上的常规语言。
一种语言怎么能“超越”任何东西？
浏览 0提问于2011-07-16得票数 89
回答已采纳
2回答
我见过Ruby和Perl程序员完全用正则表达式做一些。Perl中的功能使其比大多数其他语言中的regex实现更强大。我想知道他们到底有多强大。
有没有一种简单的方法来证明或反驳Perl正则表达式是的？
浏览 16提问于2011-11-02得票数 56
回答已采纳
1回答
我想知道在Javascript中如何实现与Regex的相互递归。
例如，识别语言{a^n b^n}的正则表达式将是/a$0b/，其中$0代表当前正则表达式。这将是基本的递归。
相互递归是相同的，但使用不同的正则表达式。
我们怎样才能用Javascript来完成它呢？
感谢您的回答！
浏览 0提问于2015-08-06得票数 1
1回答
递归下降解析器先来后来
、、、、
要实现递归下降解析器，第一个和第二个集合是必需的吗？如果是这样的话，你还能在第一个和之后的不唯一性的情况下构建递归下降吗？我很难区分递归下降和ll(1)解析。
谢谢。
浏览 3提问于2015-02-28得票数 0
1回答
StoplightStatus
1 - Red
2 - Yellow
3 - Green
因为这是一个确定性函数...
CREATE FUNCTION dbo.udf_StoplightStatusRed()
RETURNS TINYINT
WITH SCHEMABINDING
AS
RETURN CAST(1 as TINYINT)
END
这样做安全吗？
SELECT
[Status] = CASE StoplightStatusID WHEN dbo.udf_StoplightStatusRed() THEN 1 ELSE 0 END
FROM dbo.Stopli
浏览 1提问于2013-06-21得票数 0
为什么正则表达式((x，y)x(x，z))像“核心Java”一书所说的那样是不确定的？提交人提出了他的观点：
当解析器看到x时，它不知道take.This表达式的两个替代方案中的哪一个可以以确定的形式重写为(x，(y=z))
有人能给我解释一下吗？
浏览 0提问于2015-11-24得票数 8
回答已采纳
我有一系列常量函数，使编程和读取一些SQL查询更容易。例如,
dbo.CONST_DogBreed(NVARCHAR(MAX))将为给定的狗品种返回一个INT。例如，dbo.CONST_DogBreed('Labrador')可能返回12。
我的问题是，如果我在查询中用常量调用这个函数，它会反复计算它还是会意识到它是一个常量，并且只计算一次呢？所以，如果我要做：
SELECT * FROM Dogs
WHERE [DogType] = dbo.CONST_DogBreed('Labrador')
每一次都要评估dbo.CONST_DogBreed('La
浏览 2提问于2016-12-20得票数 3
回答已采纳
4回答
表达式引用不属于模拟对象的方法。
、、、、
我有一个api服务，它调用另一个api服务。当我设置Mock对象时，它失败了，出现了一个错误：
NotSupportedException:表达式引用不属于模拟对象的方法。
这是代码：
private Mock<IEnumerable<ICarrierApiService<AccountSearchModel>>> _mockCarrierService;
private Mock<IApiService<AccountSearchModel>> _mockApiService;
[SetUp]
public void Se
浏览 3提问于2014-12-04得票数 44
回答已采纳
1回答
我有一个问题，那就是从托管的C语言中生成一个滞后的数据，并在UI的C#中使用。
示例如下：
托管端：
public ref class c1
{
public:
c1(void);
~c1(void);
String ^Name;
double dtata;
};
public ref class c2
{
public:
c2(void);
~c2(void);
!c2();
String ^Name;
List<c1^> ^arrData;
void CreateData();
voi
浏览 0提问于2012-11-29得票数 1
我有一个困扰了我几个星期的情况。我运行的逻辑在每次执行(大约20次)时都会在数据库之间来回执行一些操作。问题是，相同的代码大约有一半的时间是有效的。执行性能差异的可能原因是什么?我如何才能更好地解决这个问题？
浏览 1提问于2010-09-25得票数 0
回答已采纳
8回答
最近，我一直在考虑有限状态机(FSM)，以及如何在软件中实现它们(编程语言并不重要)。
我的理解是确定性状态机被广泛使用(分析器/词汇器、编译器等等)，但是非确定性状态机有什么问题呢？
我知道，可以将所有非确定性状态机转换为确定性状态机(甚至以编程方式)。这不是我想说的。我还设想，非确定性状态机的实现要复杂得多。
无论如何，实现非确定性状态机是否使有任何意义？有什么我不知道的特殊应用吗？这样做的理由是什么？也许优化和专门化的非确定性状态机更快？
浏览 11提问于2008-10-13得票数 8
回答已采纳
嗯，我需要为不确定的下推自动机做模拟器。一切都很好，我知道我需要做一些递归或类似的事情。但我不知道如何制作模拟自动机的函数。
其他的都在我的控制之下，自动机生成器，堆栈...我是用java做的，所以这可能是人类唯一能碰到的问题，我做到了。因此，如果有人做过类似的事情，我可以提供一些建议。
这是我目前的代码组织：
Classes: class transit:
list<transit> -contains non deterministic transitions
state
input sign
stack sign class generator
it
浏览 1提问于2009-04-27得票数 1
回答已采纳
有没有人知道是否有一种方法可以达到与默认绑定getdate()和计算列的datetime列相同的效果？
我尝试将公式设置为getdate()并保留为Yes，但得到一个错误
Computed column 'InsertDateTime' in table 'Tmp_Table' cannot be persisted because the column is non-deterministic.
浏览 0提问于2011-08-30得票数 3
回答已采纳
我希望将有限状态机(特别是DFAs)编码为神经网络的输出(或输入)，用于有监督的学习任务。
在文献中有什么方法可以做到这一点吗？
我已经发现了一些算法能够从递归神经网络中提取DFA，但是DFAs没有作为ANN的输入或输出。
浏览 0提问于2016-07-21得票数 7
4回答
我正在尝试创建自定义shell作为练习，并希望实现通配符扩展。像bash这样的shell到底是如何执行扩展的？我的意思是所有的步骤都涉及到什么？
据我所知，shell在当前目录中查找文件名，并将包含'*‘的参数替换为应该匹配的文件名。这是正确的吗？除了'*‘，shell还应该做哪些其他通配符扩展
浏览 1提问于2011-02-08得票数 3
1回答
如何根据此代码绘制有限状态机
machine() ->
receive
{add, P} -> receive {X, Y} -> P!(X + Y), machine() end;
{sub, P} -> receive {X, Y} -> P!(X - Y), machine() end
end.
浏览 1提问于2019-05-05得票数 0
我正在运行一个Montecarlo模拟生态发明v3.8相应的系统模型，当随机抽样活动市场的废纸，排序‘(公斤，GLO，无)，我得到非常不切实际和高估的结果。
myact = bw.Database('ecoinvent 3.8_conseq').get('aae12a8b0ba521d60af5341c75cc9d3c') # waste paper sorted
mymethod = ('IPCC 2013', 'climate change', 'GWP 100a')
lca = bw.LCA({myact :
浏览 11提问于2022-06-29得票数 1
回答已采纳
2回答
我想使用Haskell进行随机模拟，但我不知道如何使用。我读过Hutton的“Programming in Haskell”，我很喜欢写确定性的函数式程序。然而，我不知道如何开始编写在像R或python这样的命令式语言中很容易实现的随机模拟。有没有我可以阅读的教程或入门读物，或者有人能提供一些入门的提示？
浏览 3提问于2013-03-22得票数 5
4回答
我不知道转换图和有限自动机之间有什么区别。当我搜索“转换图”时，就会得到状态图。
转换图和有限自动机之间有区别吗？还是有限自动机是转换图的一种形式？
谢谢。
浏览 1提问于2014-04-07得票数 2
回答已采纳
4回答
如果我多次调用一个函数，那么它是每次都执行，还是只执行一次，然后在几次之后使用该值？示例：
select my_function('filed'),my_function('filed')/field2,
(my_function('filed')*field1)/field3,
...... from my_table where group by filed1;
我的问题是，my_function('filed')将执行一次，然后结果将在my_function('filed')/fie
浏览 0提问于2013-01-16得票数 5
2回答
我不确定以下函数的确定性/非确定性定义。function1函数不是确定性函数，但包含确定性函数(function2)。因为里面有确定性的函数，我应该把它改成确定性的吗？
CREATE FUNCTION function1 (a varchar(12), bDate timestamp, cDate timestamp, insertCache bool, forceNotToUseCache bool, e INT(10), f INT(10))
**RETURNS DOUBLE
NOT DETERMINISTIC
READS SQL DATA**
BEGIN
DECLARE v_val
浏览 2提问于2020-01-17得票数 2
2回答
什么是非确定性过程？
、、、
我有个问题...什么是不确定的程序？我做了这个练习
为下列语言提供一个不确定的过程:l= {：G=(V，E)有一个独立的集合Is.t。|I| >= k和顶点V\I形成哈密顿圈}
谢谢!
浏览 3提问于2013-07-06得票数 2
2回答
在R中模拟时间序列模型
、、、、
我想回答以下问题，我知道我可以使用arima.sim函数，但我不确定如何模拟被问到的模型：
我想要模拟以下内容：
yt =α+βt+φyt−1 +εt，εt∼IIDN(0,1)
时间: alpha=1、beta=0和theta=0.8
在每次模拟之前，我们应该将种子设置为100,000。假设初始值为y0=0，并获得500个观察值。我尝试了以下方法，但似乎不起作用：
set.seed(seed = 100000)
e <- rnorm(500)
m1 <- arima.sim(model = list(c(ma=0.8,alpha=1,beta=0)),n=500)
我必须模拟4个不
浏览 18提问于2020-03-10得票数 0
回答已采纳
1回答
我的问题是一方面是应用类和Monad类型的类，另一方面是Chomsky层次结构的上下文无关和上下文敏感的语法级别。
我听说类型类和语法级别之间有对应关系。这封信有多精确？
也就是说，所有上下文无关的语法都能被解析为没有比应用组合器更强的语法吗?所有语法都可以用比应用组合子上下文无关的任何东西来解析吗？换句话说，应用程序类型类是否准确地对应于上下文无关语法？
和同样的问题，除了‘上下文无关’替换为‘上下文敏感’和应用由Monad。
Bounty澄清：类型类(Es)是否与语法级别相对应？例如，是否有一组类型类提供表达式正则语言所需的所有操作，而仅此而已？
这个问题的动机是，我正在研究一个解析器，
浏览 1提问于2013-05-17得票数 20
2回答
只需跟踪自动机所处的状态，以及自动机在输入字符串中的距离，就可以很容易地在输入字符串上模拟非确定自动机。但是如何模拟不确定的换能器(当然，换能器可以将输入符号转换为输出符号，并将字符串作为输出，而不仅仅是布尔值)？这似乎更复杂，因为我们需要以某种方式跟踪输出字符串，由于不确定性，输出字符串可能会很多。
浏览 7提问于2012-06-27得票数 4
6回答
现在有了<canvas>，就可以很容易地在互联网上找到各种很酷的东西。像模拟器，演示，游戏，只是视觉上的东西，等等。
但似乎每个人都在使用canvas的基本原语进行编程。
有没有在<canvas>或实用程序库上工作的框架？
浏览 2提问于2009-12-14得票数 16
回答已采纳
1回答
Server 2016的S AT TIME ZONE似乎是不确定的。但是，我还没有找到正式说明这一点的文档，也没有给出其背后的理由。
为什么AT TIME ZONE是不确定的？
示例显示了非决定论
执行：
CREATE TABLE Test (
LegacyTimestamp DATETIME,
Timestamp AS LegacyTimestamp AT TIME ZONE 'Eastern Standard Time' PERSISTED
);
返回以下错误：
Msg 4936, Level 16, State 1, Line 1
Computed co
浏览 0提问于2016-09-23得票数 19
我有一个工作流的需求，我试图将其建模为一个状态机，我看到一个给定的转换(或活动)有不止一个结果。
状态机拥有多个可能的状态有效吗?但是在给定的时间内只有一个状态是真的吗？
注意:这是我第一次尝试对状态机建模。
例如：可能是：
s1->t1->s2
s1->t1->s3
s1->t1->s4
其中s1、s2、s3、s4是状态，而t1是转换/活动。
一个虚构的现实世界的例子可能是：
对于一个人来说，有两种状态:饥饿，而不是饥饿--一个篮子只能有一个东西:苹果，橘子。
因此，为了建立模型，我们将有：
饥饿->从篮子中挑选->苹果找到了
饥饿->从
浏览 0提问于2014-06-06得票数 5
回答已采纳
7回答
我被一个看似简单的概念弄糊涂了。Mysql将确定性函数定义为
对于相同的输入参数，总是产生相同的结果。
所以在我看来，功能就像
CREATE FUNCTION foo (val INT) READS SQL DATA
BEGIN
DECLARE retval INT;
SET retval = (SELECT COUNT(*) FROM table_1 WHERE field_1 = val);
RETURN retval;
END;
不是确定性的(不能保证在对函数的两个调用之间不会发生删除/更新/插入)。同时，我看到了许多函数，它们的作用基本相同，即基于查询结果返回
浏览 2提问于2011-10-30得票数 39
回答已采纳
我有这个函数，我希望返回添加参数的url。
export const addParamsToURL = (
params: param | param[],
url?: string
): string => {
if (!url) return ''
const __url = new URL(url)
const __params = new URLSearchParams(__url.search)
if (params instanceof Array) {
params.map(({key, value}) => __pa
浏览 1提问于2022-05-11得票数 1
我正在尝试理解，如果函数依赖于另一个表(而不是创建索引的表)中的数据，如何正确地使用function-based index。 假设我有以下测试数据： SQL> drop table table_with_data;
2 drop table table_test_a;
3 drop table table_test_b;
4
5 create table table_with_data (data_id integer, val1 number);
6 create table table_test_a (val1 number, val2 varcha
浏览 14提问于2019-04-18得票数 2
在mysql中导入数据库时，我得到了以下错误：
1418 (HY000) at line 10185: This function has none of DETERMINISTIC, NO SQL, or READS SQL DATA in its declaration and binary logging is enabled (you *might* want to use the less safe log_bin_trust_function_creators variable)
我不知道我需要改变什么。有谁能帮我解决这个问题吗？
浏览 0提问于2014-09-24得票数 177
回答已采纳
7回答
非确定性程序设计语言
、、、
我知道在Prolog里你可以做这样的事情
someFunction(List) :-
someOtherFunction(X, List)
doSomethingWith(X)
% and so on
这将不会迭代列表中的每个元素；相反，它将分支到不同的“机器”(通过使用多个线程，在单个线程上进行回溯，创建并行宇宙或其他什么)，对每个可能的X值单独执行，从而使返回true!。
(我不知道它是如何做到的，但这对问题并不重要)
我的问题是：还有什么其他的非确定性编程语言？(非确定性)似乎是在一种具有不可变变量的语言中实现多线程的最简单和最合理的方法，但我以前从未见过这样做
浏览 16提问于2010-02-02得票数 23
回答已采纳
在零知识证明中，如果证明器是确定性的还是概率性的，它会不会起作用？
由于验证者可以模拟验证器与他的交互，所以我假设验证程序需要确定性。也许这是我的误会？
浏览 0提问于2019-08-14得票数 1
回答已采纳
2回答
先端替代线消失
、、、、
我正在ORACLE 12.1上运行APEX5.1。
我有大约80APEX类似的应用程序运行在同一个数据库上-每个应用程序都使用相同的替换字符串:CLIENT_ID和自己的值(存储应用程序的代码名)。:CLIENT_ID是通过"V“函数: V('CLIENT_ID')在所有调用数据库上视图和包共享框架的应用程序中使用的。
在其中一个应用程序中，一个交互式报告突然失败，但没有设置:CLIENT_ID的例外情况除外。在其他应用程序中，所有其他页面或类似的页面都能很好地工作。
令人惊讶的是，如果我添加了一个自然的连接与1行从双，它开始工作良好！但是，只有当它是自然连接时，并
浏览 0提问于2018-02-22得票数 1
回答已采纳
根据上的MSDN SQL BOL (联机丛书)页面，非确定性函数可以“以确定的方式”使用。
以下函数并不总是确定性的，但如果以确定性方式指定，则可以在计算列上的索引视图或索引中使用。
非确定性函数的含义是什么？可以以确定性的方式使用。
有人能说明是如何实现的吗？，，你会这样做吗？
浏览 1提问于2009-04-02得票数 6
回答已采纳
我知道这是多余的，但是我想从另一个查询中调用查询。我知道我可以把它添加到第一个，但是脚本变得越来越长，有时我不想运行所有的查询。
我一直在寻找，我最好的猜测是可能只是使用命令shell。我只是想知道有没有别的办法。
Declare @CommandDos VarChar(150) = 'sqlcmd -E -S Server-i h:\SQL\SomeThing.sql'
EXEC master..xp_cmdshell @CommandDos
浏览 3提问于2014-07-18得票数 1
回答已采纳
有几个问题与此正好相反，我不明白如何/为什么在发布模式下运行我的应用程序，但是在调试模式下会出现EXC_BAD_ACCESS错误。
崩溃的方法是递归的，而且是非常的！很重要；只要没有太多的递归，它在调试(在iPhone XS上小于1000，在模拟器上不受限制)和发布模式(无限？)中都工作得很好。
我不知道从哪里开始找出如何调试调试模式，我想知道是否有某种类型的递归、软限制绑定，因为堆栈跟踪或其他未知？它甚至可以归结到电缆，因为我能够成功地运行在模拟器中，没有问题？
我应该注意到，Xcode报告在看似随机的点崩溃，例如我知道的属性获取器是实例化和有效的；如果这有帮助的话。
我将把它重构成更小的块
浏览 0提问于2019-04-22得票数 0
回答已采纳
我需要帮助设计一个有限状态机，它接受包含与模式10一样多的模式01实例的二进制字符串。
我很难准确理解哪些字符串应该被接受，哪些应该被拒绝。
任何指导都将受到欢迎。
浏览 4提问于2014-10-11得票数 2
7回答
左因子分解与左递归的区别
、、、
Left Factoring和Left Recursion有什么区别？我知道Left factoring是一种预测性的自上而下的解析技术。但当我听到这两个术语时，我会感到困惑。
浏览 18提问于2013-03-04得票数 40
我试图在mysql数据库上创建触发器。在这样做时，我遇到了以下错误：
You do not have the SUPER privilege and binary logging is enabled (you *might* want to use the less safe log_bin_trust_function_creators variable)
在对MySQL医生进行了一些研究之后，我很清楚，在创建触发器或存储过程时，您可能会遇到它们不确定的风险，并会破坏二进制日志。这是因为如果这些函数中的任何一个在相同的输入下可能产生不同的结果，则二进制日志将无法正确地用于复制或数据恢复。
浏览 0提问于2018-07-25得票数 1
1回答
我在一个简单的有限状态机中遇到了“迭代限制达到”的错误。这是一个更大的有限状态机的一部分，我必须做一个类分配，我跟踪问题到这个特定的部分。FSM将控制计数器，IDLE状态等待输入，zero将计数器设置为零，并且INCREMENT状态将计数器递增1。
模拟时，错误发生在第一次输入"inc“为高电平且时钟上升时。如果我将"temp := anything“的语句"temp := temp + 1;”改为“temp：=anything”，则错误停止。我真的不知道哪里会出错，因为我发现这个错误发生在改变进程本身内部的进程敏感度列表中的信号时。
我使用Quartus II进行模拟
浏览 3提问于2016-07-03得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
实时音视频
对象存储
即时通信 IM活动推荐
腾讯云开发者
