0

状态机、术语和工具对我来说都是新的,尽管我最近一直在尝试用各种在线资源来围绕它们。这开始于我想在 Ragel 和 Go 中构建一个比正则表达式更快的解析器。我对Ragel 文档的第 3 章感到困惑,其中涵盖了行动。

我不清楚与状态转换相关的操作与状态本身之间的区别是什么。这些示例仅对状态嵌入操作有错误,因此我不确定您何时会使用toandfrom运算符。我做了一个简单的例子:

package main

import (
    "fmt"
)

%% machine scanner;

%%{
    action fooStart { fmt.Println("foo start")}
    action fooEnd   { fmt.Println("foo end")}
    action barStart { fmt.Println("bar start")}
    action barEnd   { fmt.Println("bar end")}
    action bazStart { fmt.Println("baz start")}
    action bazEnd   { fmt.Println("baz end")}

    main := "foo" >fooStart @fooEnd "bar" >barStart @barEnd "baz" >bazStart @bazEnd;
}%%

%% write data;

func main() {
    ParseEmbedding([]byte("foobarbaz"))
}

func ParseEmbedding(data []byte) {


    cs, p, pe := 0, 0, len(data)
    %%{
    write init;
    write exec;
    }%%
}

输出以下内容,这是我所期望的:

foo start
foo end
bar start
bar end
baz start
baz end

但是,如果我使用相同的周围代码将它们替换为状态嵌入操作:

main := "foo" >~fooStart %*fooEnd "bar" >~barStart %*barEnd "baz" >~bazStart %*bazEnd;

我得到以下输出,其中的顺序和缺失的行对我来说没有意义:

bar start
foo end
baz start
bar end

我最初的印象是,当您只想在整个状态机中的某些点运行操作而不是更细粒度的转换时,使用状态嵌入操作。这仍然让我对它们的执行顺序感到困惑,以及为什么不执行“foo”的启动“to-state”操作。

所以我的问题是,使用状态操作而不是转换操作有哪些实际原因或示例?用外行的话来说,它们的工作方式有何不同?

这是状态嵌入操作的图表。 状态嵌入动作

4

1 回答 1

1

通常你想使用过渡动作。我实际上很少使用基于状态的操作。大多数情况下,仅当我想初始化某些东西并且我希望它在查看角色之前执行。例如,在执行条件之前。目前,基于状态的行动是实现这一目标的唯一途径。

有一段时间,我梦想有一个解决方案,您可以在其中嵌入基于转换的操作,这些操作在测试条件之前运行,这样您就不需要基于状态的操作来进行 init。使用基于状态的动作总是感觉有点像 hack。

于 2019-09-02T15:21:57.380 回答