23、程序转换系统行为学习：SBA方法解析

程序转换系统行为学习：SBA方法解析

1. 基础概念与形式化定义

在程序行为分析领域，为了准确描述和学习程序系统的行为，我们引入了一些关键的概念和形式化定义。首先，我们从状态转换系统（SPTS）诱导的标记迁移系统（LTS）开始。

SPTS诱导的LTS的路径集合包含了如 F · a · F · b 和 F · G · c · R · R 这样的路径。通过特定的定义，我们可以得到一个有效的LTS，进而描述程序系统的行为。

为了建立与主动自动学习（AAL）兼容的概念，我们基于语言等价的形式化方法来描述SPTS。这里涉及到两个重要的概念：行为自动机（BA）和行为自动机系统（SBA）。
- 行为自动机（BA） ：设 Σ 是一个SPA字母表， c ∈ Σcall 表示一个过程。过程 c 的行为自动机是一个关于 Σ 的前缀封闭的确定有限自动机（DFA） P c B 。
- 行为自动机系统（SBA） ：设 Σ 是一个SPA字母表， Σcall = {c1, ..., cq} 。一个关于 Σ 的行为自动机系统 SB 由行为自动机的元组 (P c1 B , ..., P cq B ) 给出，使得每个调用符号都有一个对应的行为自动机。 SB