- 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/
我正在使用 PLT 方案 (DrScheme)。我想加载从 here 获得的文件.要加载文件,我进入 PLT Scheme 并在交互窗口(或底部窗口)中输入(加载“simply.scm”),然后按 E
根据我的阅读,Scheme 中的符号不区分大小写 - 即 (eq? 'Hello 'hello) 评估为 #t (因为两者都由符号 'hello 表示,并且 scheme 具有两个具有相同名称的符
我正在尝试在 Scheme 中完成一个有限状态机。问题是,我不确定如何告诉它应该测试哪些字符。如果我想测试字符串“abc112”,我该怎么做? 代码如下: #lang racket (defin
我正在尝试做我的家庭作业,并通过一些示例代码进行破解,我看到了这一行: [(:+ (:or VAR)) (token-VAR (string->symbol lexeme))] 这是来自计算器中
我在 MIT/GNU Scheme 中运行了这个: (define x (+ 2 3)) 然后解释器打印: ;Value: x 但是根据我的教科书,define 表达式返回的值应该是未定义的。为什么解
考虑以下定义数字树的 BNF。请注意,树可以是叶子、具有一个子树的节点 1 或节点 2有两个子树。 tree ::= (’leaf number) | (’node-1 tree) | (’node-
(show-data 'YHOO :config 'my-config) 我看到了一些 Scheme 代码(在 Guile 中),如上面的行,并且对 colon 语法 :config 感到困惑。 这有
我目前正在尝试理解方案中流的概念。例如,我应该编写一个函数 fibonacci,它返回斐波那契数作为流表示形式。 函数的期望输出/用法如下所示: > (define a (finbonacci)) >
我想创建一个可以确定方案中任意函数定义的函数。如果我们将这样的函数称为“定义”,它会这样工作: (define (triple x) (* 3 x)) (definition triple) woul
在 Common Lisp 中,当我想根据 Common Lisp 实现使用不同的代码片段时,我可以使用 *features* 和提供的 #+ 和 #- 符号来检查给定功能的可用性并相应地进行。例如(
我正在学习 Scheme,具有 C/C++ 背景。我非常习惯于将相关的值组合到结构中,而且我发现 Scheme 的记录在这方面工作得很好。 如果发现自己经常这样做以避免函数体中的视觉噪音: (defi
在 Scheme R7RS 中,有 load 和 include 两种形式。 包含描述为: Semantics: Both include and include-ci take one or mor
我无法理解 Scheme 中收集器函数的使用。我正在使用“The Little Schemer”一书(Daniel P. Friedman 和 Matthias Felleisen 着)。一个带有一些
我知道您可以使用 (read) 来获取用户输入的表达式,但是 (read) 只会获取第一个表达式,然后对任何内容进行评估。我想知道是否有任何方法可以读取整行用户输入,也许将所述行转换为列表? (let
我正在重新熟悉 Scheme,我遇到了一个问题,这可能反射(reflect)了我的根本误解。 假设我在 Scheme 中执行以下操作(在这种情况下使用 Guile,但在 Chicken 中也是如此):
这是我目前正在自学的链接 Scheme,http://www.ccs.neu.edu/home/dorai/t-y-scheme/t-y-scheme-Z-H-1.html 据作者介绍, 然后我尝试了
假设我有这样的事情: (define pair (cons 1 (lambda (x) (* x x)) 如果我想返回这对的前对象,我会这样做: (car pair) 它返回 1。但是当对象是一个过程
我编写了以下示例,以尝试在 Chibi Scheme 0.5.3 中使用 R7RS 库: (define-library (example hello) (export hello-world
CODE SNIPPET 1 和 CODE SNIPPET 2 有什么区别? ;CODE SNIPPET 1 (define i 0) (do ()
长度为 n 的 k 元项链是一个长度为 n 的有序列表,其项目是从长度为 k 的字母表中抽取的,它是所有共享轮换排序的列表中按字典顺序排列的第一个列表。 例子: (1 2 3) 和 (1 3 2) 是
我是一名优秀的程序员,十分优秀!