44、揭示与隐藏：更多用于布基包含的模拟游戏及有界语言相关研究

揭示与隐藏：更多用于布基包含的模拟游戏及有界语言相关研究

在自动机理论中，语言包含问题是一个核心问题，为了解决这个问题，人们提出了多种模拟游戏。同时，有界上下文无关语言也因其独特的性质和应用受到广泛关注。本文将介绍几种用于布基包含的模拟游戏，以及有界上下文无关语言的一些性质。

模拟游戏介绍

在自动机的语言包含问题研究中，模拟游戏是一种重要的工具。下面将详细介绍几种不同类型的模拟游戏。

• 静态多字母游戏

  • 游戏定义 ：对于 (k \geq 1)，静态 (k) 字母游戏在两个非确定性布基自动机（NBA）(A = (Q_A, q_{A_{init}}, \Delta_A, F_A)) 和 (B = (Q_B, q_{B_{init}}, \Delta_B, F_B)) 上由反驳者（Refuter）和验证者（Verifier）进行。与公平模拟游戏类似，但在每一轮中，双方玩家在 NBA 中前进 (k) 步，而不是公平模拟游戏中的 1 步。
  • 游戏流程 ：
    1. 开始 ：(q_0 := q_{A_{init}})，(q’ 0 := q {B_{init}})，(j := 0)。
    2. 第 (i) 轮 ：
       • 反驳者选择某个 (w = a_1 \cdots a_k \in \Sigma^k)。