自动机
为不同类型的自动机定义应用实例：有限状态机、下推自动机和队列自动机。 我使用该库来编写解析器：队列自动机应用程序将使用广度优先搜索策略专门解析上下文无关语法，也可用于模拟并行运行的计算。
2022-05-31 21:17:43
66KB
1
语言描述如下：
{ 1n0m | n ≥ m ≥ 1 }
转化为上下文无关文法方法如下：
1 、拆分语言
{1^n│n≥0}
{1^m 0^m |m≥1｝
据此得到文法:
G : S->1S|10|1A0
A->1A0|10
PDA M=(Q,Σ,Γ,δ,q0,Z0,F)
所以 Σ={0,1}
2022-05-28 12:23:00
18KB
1