状态机、术语和工具对我来说都是新的,尽管我最近一直在尝试用各种在线资源来围绕它们。这开始于我想在 Ragel 和 Go 中构建一个比正则表达式更快的解析器。我对Ragel 文档的第 3 章感到困惑,其中涵盖了行动。
我不清楚与状态转换相关的操作与状态本身之间的区别是什么。这些示例仅对状态嵌入操作有错误,因此我不确定您何时会使用to
andfrom
运算符。我做了一个简单的例子:
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”操作。
所以我的问题是,使用状态操作而不是转换操作有哪些实际原因或示例?用外行的话来说,它们的工作方式有何不同?