- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我正在尝试在 Scheme 中完成一个有限状态机。问题是,我不确定如何告诉它应该测试哪些字符。如果我想测试字符串“abc112”,我该怎么做?
代码如下:
#lang racket
(define (chartest ch)
(lambda (x) (char=? x ch)))
;; A transition is (list state char!boolean state)
(define fsmtrlst
(list
(list 'start char-alphabetic? 'name)
(list 'start char-numeric? 'number)
(list 'start (chartest #\() 'lparen)
(list 'start (chartest #\)) 'rparen)
(list 'name char-alphabetic? 'name)
(list 'name char-numeric? 'name)
(list 'number char-numeric? 'number)))
(define (find-next-state state ch trl)
(cond
[(empty? trl) false]
[(and (symbol=? state (first (first trl)))
((second (first trl)) ch))
(third (first trl))]
[else (find-next-state state ch (rest trl))]))
(define fsmfinal '(name number lparen rparen))
(define (run-fsm start trl final input)
(cond
[(empty? input)
(cond
[(member start final) true]
[else false])]
[else
(local ((define next (find-next-state start (first input) trl)))
(cond
[(boolean? next) false]
[else (run-fsm next trl final (rest input))]))]))
这是我要测试的启动代码:
(fsmtrlst (list 'start (lambda (abc112) (char=? abc112 ))))
编辑:
好的,.. 整体产品还不错,但我的导师对此并不满意,..他希望我制作一个带有转换函数的有限状态机 -> 类似于全局定义的东西,它会说:当处于状态时X comes character Y go to Z ...然后我将测试一个字符列表,看看它是假还是真...所以唯一的区别是代码不应该只使用数字和字母,而是任何角色……有可能吗?谢谢你的回答
编辑 2:现在我有了基本信息:
也就是机器的样子
A ----------> B ----------> C ----------> D ----------> (五) 字母数字数字字母
(define fsmtrlst
(list
(list 'A char-alphabetic? 'B)
(list 'B char-numeric? 'C)
(list 'C char-numeric? 'D)
(list 'D char-alphabetic 'E)))
(define fsmfinal '(E))
(define fsmstart 'A)
但是我不确定如何写fsmstart的定义。
感谢您的回答。
这只接受四个字符的序列,即字母、数字、数字、字母,没有其他字符。
编辑 3:我正在使用在线教程和我的导师提供的一本书。我想出了我想制作的 fsm。感谢您的帮助。
出于好奇:
拥有相当具体的 fsm 会有什么不同?
例子:
开始 -----"b"-----> 状态 A -----"a"----> 状态 B -----"c"-----> 最终状态
仅当字符列表为“bac”且没有其他内容时,fsm 才为真。可能吗?
感谢您的反馈。
编辑 4:
好的,我成功地写了,但是我又一次不确定如何输入字符。这是代码:
有 3 种状态,但只有从状态 A 到状态 C 时才为真。
(define (chartest ch)
(lambda (x) (char=? x ch)))
(define fsm-trans
'((A, "a", B), (A, "b", A), (B, "c", C)))
(define (find-next-state state ch trl)
(cond
[(empty? trl) false]
[(and (symbol=? state (first (first trl)))
((second (first trl)) ch)) <- And also this line returns an error
(third (first trl))]
[else (find-next-state state ch (rest trl))]))
(define fsm-final '(C))
(define start-state 'A)
(define (run-fsm start trl final input)
(cond
[(empty? input)
(cond
[(member start final) true]
[else false])]
[else
(local ((define next (find-next-state start (first input) trl)))
(cond
[(boolean? next) false]
[else (run-fsm next trl final (rest input))]))]))
(run-fsm start-state fsm-trans fsm-final (list '("a", "c"))) <- I know this is the last problem with the code, the definition of the input. How can I tell Scheme what characters I want to test?
谢谢您的回答!!!
最佳答案
我很好奇:我想你没有写这个fsm?这是家庭作业还是你想自学? FSM 的代码看起来不错(实际上非常好)。但是,您的发布行:
(fsmtrlst (list 'start (lambda (abc112) (char=? abc112 ))))
没有意义。原因如下:fsmtrlst
是有限状态机转换列表。它是在第一个大代码块中定义的。它不是要调用的函数。我相信您要调用的函数是 run-fsm
。这需要一个开始符号、一个转换列表、一个最终状态列表和一个输入。输入实际上不是字符串,而是列表。因此,您可以使用以下行启动它:
(run-fsm 'start fsmtrlst fsmfinal (string->list "abc112"))
这将使用定义的转换列表 fsmtrlst
、定义的最终状态列表和字符串“abc112”的输入就绪形式调用 run-fsm
。
顺便说一下,除了'start
之外的所有内容都被定义为最终(接受)状态。但是,并非所有输入都接受输入。例如,不接受用“abc(122”替换“abc122”。
这是你想要的吗?
更新:
您的编辑澄清了一些事情。您对 fsmstart
的定义很好。您确实在 fsmtrlst
中的一个 char-alphabetic?
用法中遗漏了一个问号 (?)。您是否因为不知道如何使用新定义而感到困惑?首先,您应该删除 fsmtrlst
和 fsmfinal
的旧定义。否则,您可能会遇到重复定义错误。根据您的新定义,您要执行的行应如下所示:
(run-fsm fsmstart fsmtrlst fsmfinal (string->list "w00t"))
这将返回#t,因为“w00t”是一个字符后跟两个数字,再后跟一个字符。
我推测您仍然对 scheme 的语法规则有困难,而不仅仅是您的特定程序的逻辑问题。您可能想尝试更简单的练习。
更新 2:您不应该考虑制定一个新问题吗?
您最近的更新破坏了代码。 fsm 的过渡部分之所以有效,是因为过渡被定义为列表:
(from-state test-function to-state)
您已尝试创建转换:
(from-state string-literal to-state)
您可以将 (A, "a", B)
更改为 (A (lambda (x) (string=? x "a") B)
。
当您尝试调用您的函数时,您采用了一个需要字符列表的函数,并为它提供了一个字符串列表列表。这些不是一回事。此外,您是否注意到您在列表中放置了逗号,但它们在代码的其他地方不存在?这些错误是我建议您开始学习方案教程的原因。这些是基本方案问题,与您的特定练习无关。我建议您将编辑内容倒回到昨天的内容。
很遗憾,我无法再更新此答案。我想更新我的答案,这样如果有人带着类似的顾虑提出你的问题,他们就会看到完整的答案。但是,您提供了一个移动目标。请考虑停止编辑,并在有问题时提交新问题。
关于scheme - Scheme 中的有限状态机,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/6129761/
已关闭。此问题需要 debugging details 。目前不接受答案。 编辑问题以包含 desired behavior, a specific problem or error, and the
我刚刚开始使用 Arduino,对更多高级内容几乎一无所知。这看起来很简单。现在我是一个通常喜欢将两个设备集成在一起的人,所以我想知道我是否可以使用计算机的键盘或连接到 Arduino 板上的两个硬件
Hadoop上是否有支持 vector 机的实现? 我正在寻找使我能够训练然后在Hadoop之上测试SVM模型的代码。 最佳答案 有人正在使用BSP在Apache Hama之上进行实现,该实现基本上是
已关闭。此问题需要 debugging details 。目前不接受答案。 编辑问题以包含 desired behavior, a specific problem or error, and the
我想用 Java 编写一个“智能监视器”,它会在它检测到即将出现的性能问题时发出警报。我的 Java 应用正在将结构化格式的数据写入日志文件: | | 因此,例如,如果我有一个执行时间为 812
我在 Cappuccino 中遇到这种错误 TypeError: Result of expression '_2b' [undefined] is not an object. TypeError:
我想编写一个简单的 bean 机程序。该程序将接受用户输入的球数和槽数,并计算每个球的路径。每个槽中的球数也将打印为直方图。 我尽力让代码保持简短和简洁,但我能做到的最好的长度是 112 行。当我运行
我正在开发一个 Plone 模板。目前我正在对模板实现搜索。模板上有一个表单提交到同一模板,即同一页面。 我需要启用页面的某些部分,即结果 DIV,仅当页面中的表单已提交时。我不确定如何检查页面是否已
我是机器学习的新手。我正在使用 opencv 开源库做一个项目。我的问题是我没有机器学习方面的经验。我从不同的图像中提取了特征并对其进行了评估,现在我想使用 SVM 对这些图像中的对象进行分类,但我不
我有一个来自自定义抽象对象的数据集和一个自定义距离函数。是否有任何好的 SVM 库允许我训练我的自定义对象(不是 2d 点)和我的自定义距离函数? 我在 this similar stackoverf
我正在尝试编写 SVM 或 KNN 程序来对文本文档进行分类。我掌握了两者的概念,但我希望看到一些很好的代码示例,它们专门演示了如何将文本/单词表示为 vector 。有人知道好的教程/文章/讲座/任
我想知道支持 vector 机 (SVM) 对于大型/超大型数据集(5-15M+ 行)具有非线性决策边界(例如高斯核)? 我知道两种特殊的方法:一方面,这个使用随机梯度下降等的调查: http://c
我试图在 Raspberry Pi 中使用 python 控制连续伺服(DF15RSMG),但连续伺服无法停止。代码如下: import RPi.GPIO as GPIO import time
我们在 .net 中有银行项目。在那个项目中我们需要实现存折打印。 - 存折背面会有磁条。 - 当客户将存折插入自助服务终端时,自助服务终端将生成 ISO 8583 信息。 - 为响应此消息,CBS(
我想使用 svm 分类器进行面部表情检测。我知道 opencv 有一个 svm api,但我不知道训练分类器的输入应该是什么。到现在看了很多论文,都是说人脸特征检测后训练分类器。 到目前为止我做了什么
就目前而言,这个问题不适合我们的问答形式。我们希望答案得到事实、引用资料或专业知识的支持,但这个问题可能会引发辩论、争论、投票或扩展讨论。如果您觉得这个问题可以改进并可能重新打开,visit the
为了学习 ArchLinux,我在 VirtualBox 机器上安装并使用了 ArchLinux。它运行完美。现在我在我的电脑上安装了 Docker(Windows 环境)。在安装 Docker 的过
我找不到很多相关信息,但是我知道可以通过命令提示符electron-packager .创建一个 Electron 应用。但是,可以通过 Node 快速路由在前端执行它吗? 所以我想做这样的事情: r
我正在使用 MS Visual Studio 2008、OpenCV、C++ 和 SVM 继续我的 OCR 项目。我生成了一个超过 2000 个机印字符样本的数据集。当我用线性核测试时,我总是得到 9
我通过UART接口(interface)(RX-TX,GND-GND)将伺服(TowerPro sg90)连接到32伺服 Controller (this one)。 卖家提供了如何连接和控制我的伺服
我是一名优秀的程序员,十分优秀!