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