3、1-Normal DRA与RNA折叠结构的形式语言建模

1-Normal DRA与RNA折叠结构的形式语言建模

1. 1-Normal DRA相关研究

1-Normal DRA在形式语言识别领域有着独特的性质和能力。

1.1 插入语言的成员问题

插入语言的成员问题可以通过1 - normal DRA来解决。这一结论为插入语言的研究提供了有效的识别方法。

1.2 1-Normal DRA的识别能力

• 正则语言识别 ：所有正则语言都能被1 - normal DRA识别。对于一个正则文法γ = (N, T, P, S) ，可以构造一个1 - normal DRA M = (Q, Σ, ◁, ▷, q0, k, δ) 来接受L(γ) 。具体构造步骤如下：
  • Q = {q0 = q′, q, Accept, Reject} ，其中Q是状态集合。
  • Σ = N ∪ T 是输入字母表。
  • ◁, ▷ 分别是左右边界，且◁, ▷ ∉ Σ 。
  • k是前瞻窗口的大小，k ≥ 1 。
  • δ的定义：
    • 对于正则文法规则A → aB （A ∈ N ），1 - normal DRA M的指令为(q′, v′) ∈ δ(q, u′) ，其中u′ = aB ，v′ = A ，且|v′| < |u′| ，v′是u′的分散子串，紧接着是RST指令：RST ∈ δ(q, u′) 。
    • 对于正则文法规则A → b （b ∈ T ），1 - normal DRA的指令为(q′,