文献あり

ε-非決定性有限オートマトンについて

309

　先の記事で決定性有限オートマトンが認識する言語のクラス $L_{DFA}$ と, 非決定性有限オートマトンが認識する言語のクラス $L_{NFA}$ が一致することについて書きました. 結局, いまだにわたしが理解したいことごとは浮かんだままですが, 前へ進んで, 今回は $ϵ$ -非決定性有限オートマトンについて書こうと思います.
　わからないことがあるというより, 教科書では証明が省略されていたので, わたしが考えた証明にまちがっているところがないかみてもらいたいのです. ただ, 省略された理由が「明らかだから」だとすると, わたしがいろいろと考察した道は遠回りということにもなるかもしれません. なので, もっと単純に証明ができるならばぜひ教えてください. よろしくお願いします.

　非決定性有限オートマトン $N$ は, $5$ つの組 $⟨ Q, Σ, δ_{N}, q_{0}, F ⟩$ である. $Q$ は状態の集合, $Σ$ は入力される記号の集合, $δ_{N}$ は遷移関数と呼ばれる, $Q \times Σ \to Q$ という関数, $q_{0}$ は $Q$ の特別な元で, 初期状態と呼ばれ, $F$ は $Q$ の部分集合で, 受理状態の集合である.
　入力される記号の集合 $Σ$ のいくつかの列の集合を $Σ^{*}$ と書き, その元を語と呼ぶ. $0$ 個の列の場合, それを $ϵ$ と表わす.
　遷移関数 $δ_{N}$ に対して $δ_{N}^{*}$ を考える. これは $Σ^{*}$ から $2^{Q}$ への写像であって, 次のように帰納的に定義される. $w \in Σ^{*}$ として,
$δ_{N}^{*} (w) = {\begin{cases} {q_{0}} & (w = ϵ) \\ ⋃_{q \in δ_{N}^{*} (τ)} δ_{N} (q, σ) & (w = τ σ, τ \in Σ^{*}, σ \in Σ) \end{cases}$
　非決定性有限オートマトン $N$ が語 $w = w_{0} w_{1} \dots w_{n} \in Σ^{*}$ を受理するとは, ある状態の集合(すなわち $Q$ の部分集合) の列 $Q_{0}, Q_{1}, \dots, Q_{n}$ が存在して, 遷移関数 $δ_{N}$ による計算の列
$\begin{array}{rcl} δ_{N} (q_{0}, w_{0}) & = & Q_{0} \\ ⋃_{q \in Q_{0}} δ_{N} (q, w_{1}) & = & Q_{1} \\ ⋮ \\ ⋃_{q \in Q_{n - 1}} δ_{N} (q, w_{n}) & = & Q_{n} \end{array}$
において, $Q_{n}$ が受理状態の集合 $F$ と共通の元を持つ, すなわち $Q_{n} \cap F \neq \emptyset$ が成り立つことをいう. これは $δ_{N}^{*}$ を用いて, $δ_{N}^{*} (w) \cap F \neq \emptyset$ と表わせる.
　非決定性有限オートマトン $N$ が受理する語の集合を $L (N)$ と表わして $N$ は $L (N)$ を認識するといい, 非決定性有限オートマトンが認識する言語のクラスを $L_{NFA}$ と表わす.

　先の記事では $δ_{N}^{*}$ を $2^{Q} \times Σ^{*}$ から $2^{Q}$ への写像として定め, その理由を「帰納的な性質を持つから」と言いましたが, 実際にある語が受理されるかされないかの計算を行ってみると, $δ_{N}^{*} ({q_{0}}, w)$ しか考えなくてよく, たとえば $δ_{N}^{*} ({q_{1}, q_{2}}, w)$ などは考えてもあまり意味はないと思ったので, 今回は始域を $Σ^{*}$ として, $δ_{N}^{*} (ϵ) = {q_{0}}$ としました. これはちょっとした質問なのですが, このように定義することでなにか具合のわるいことが起きるでしょうか.

　 $ϵ$ -非決定性有限オートマトン $ϵ - N$ は $5$ つの組 $⟨ Q, Σ, δ_{ϵ}, q_{0}, F ⟩$ である. $Q, Σ, q_{0}, F$ は非決定性有限オートマトンと同様である. $δ_{ϵ}$ は $Q \times (Σ \cup {ϵ})$ から $2^{Q}$ への写像であって, 特に $δ_{ϵ} (q, ϵ)$ による遷移を $ϵ$ -遷移と呼ぶ.

　実を言うと, よくわかっていません. 入力が与えられたときに状態が遷移することは自然なふうに思えます. 一方で「なにも入力されない」ことで「動かない」というのもひとつの遷移と考えられると思えば $δ_{ϵ} (q, ϵ) ∋ q$ も自然だと思います. 不自然なのは「なにも入力されない」ときにどこかへ遷移することもあるということです. たぶんもっと先に進めば, なにか $ϵ$ -遷移の必要性がわかるのかなとぼんやりと思っています.

　 $ϵ - N$ の受理条件を考えるために, ある状態から $ϵ$ -遷移をして到達できる範囲を定めるのは自然です. $ϵ$ -遷移はなんの入力もなしに, すなわち無条件に遷移することなので, たとえば状態 $q_{0}, q_{1}, q_{2}$ において $q_{0}$ から $q_{1}$ への $ϵ$ -遷移 $q_{0} \overset{ϵ}{\to} q_{1}$ および $q_{1}$ から $q_{2}$ への $ϵ$ -遷移 $q_{1} \overset{ϵ}{\to} q_{2}$ があったとき, $q_{0}$ は $ϵ$ -遷移によって $q_{2}$ まで到達することが可能です.
　これは非決定的な遷移としてみることができます. したがって, ある状態から $ϵ$ -遷移のみをいくつか繰り返して経て到達する状態の集合を定めておくと好ましいです.

　 $q \in Q$ に対して, $ϵ$ -遷移のみをいくつか繰り返して経て到達できる状態の集合を $q$ の $ϵ$ -閉包と呼び, $ϵ - CL (q)$ と表わす.

　上の例では
$\begin{array}{rcl} ϵ - CL (q_{0}) & = & {q_{0}, q_{1}, q_{2}} \\ ϵ - CL (q_{1}) & = & {q_{1}, q_{2}} \\ ϵ - CL (q_{2}) & = & {q_{2}} \end{array}$
となります.

　これもちょっとした疑問で, でもあまり大事なことではないと思うのですが, $ϵ - CL (q)$ を $δ_{ϵ} (q, ϵ)$ を用いてどのように定義すればよいのでしょうか. たとえば $q_{2} \in ϵ - CL (q_{0})$ である理由は, $q_{2} = δ_{ϵ} (δ_{ϵ} (q_{0}, ϵ), ϵ)$ からなのですが, これを一般的にどうして書けますか？わたしがちらっと思ったのは, やはり $δ_{ϵ}$ の再帰と, $ϵ - N$ が有限であるという仮定についてなのですが, わたしには難しいです.

　 $ϵ - N$ の受理条件について, 大切な気持ちは $ϵ$ -遷移と入力されるアルファベット $σ \in Σ$ による遷移によって, 受理状態の集合 $F$ に到達するということです. その path は, 次に述べる遷移のいずれかに当てはまります.
　初期状態 $q_{0}$ は $σ$ を読み取る前に無条件で $ϵ$ -遷移することがあり, その $ϵ$ -遷移によって到達できる状態の集合は $ϵ - CL (q_{0})$ と表わされ, その後 $ϵ - CL (q_{0})$ のおのおのの元が $σ$ を読み取って遷移した状態の集合
$⋃_{q \in ϵ - CL (q_{0})} δ_{ϵ} (q, σ)$
の, おのおのの元は再び $ϵ$ -遷移をし,
$⋃_{q \in ϵ - CL (q_{0})} ϵ - CL (δ_{ϵ} (q, σ))$
と表わせます.
　ここで, $ϵ - CL : Q \to 2^{Q}$ であり, $⋃_{q \in ϵ - CL (q_{0})} δ_{ϵ} (q, σ) \subset Q$ の像について,
$ϵ - CL (⋃_{q \in ϵ - CL (q_{0})} δ_{ϵ} (q, σ)) = ⋃_{q \in ϵ - CL (q_{0})} ϵ - CL (δ_{ϵ} (q, σ))$
が成り立ちます. これを $δ_{ϵ}^{*} (σ)$ とおきます.
$δ_{ϵ}^{*} (σ) = ϵ - CL (⋃_{q \in ϵ - CL (q_{0})} δ_{ϵ} (q, σ))$

　これが $1$ つめの記号 $σ \in Σ$ を読み取ったときの $ϵ - N$ の状態です. 次に, $τ \in Σ$ として $σ τ$ をどのように読み込むのかというと, $σ$ を読み取ったあとの $ϵ$ -遷移は済んでいるので, はじめに $ϵ$ -閉包を取る必要はなく, たんに状態集合 $δ_{ϵ}^{*} (σ)$ のおのおのの元に $τ$ を読み込ませて, そしてその状態集合の $ϵ$ -閉包をとればよいです. すなわち
$δ_{ϵ}^{*} (σ τ) = ϵ - CL (⋃_{q \in δ_{ϵ}^{*} (σ)} δ_{ϵ} (q, τ))$
　これが $ϵ - N$ に語 $σ τ$ を与えたとき, 初期状態 $q_{0}$ から遷移する状態の集合となります.
　帰納的に, 語 $w = σ τ, σ \in Σ^{*}, τ \in Σ$ に対して,
$δ_{ϵ}^{*} (w) = ϵ - CL (⋃_{q \in δ_{ϵ}^{*} (σ)} δ_{ϵ} (q, τ))$
とすると, $δ_{ϵ}^{*} (w)$ は語 $w$ を与えられた $ϵ - N$ が初期状態 $q_{0}$ から遷移を経て到達する状態の集合となります. したがって, この $δ_{ϵ}^{*} (w)$ が受理状態の集合 $F$ と共通の元を持っているならば, 語 $w$ は受理されます.
　 $w = ϵ$ の特別な場合は $δ_{ϵ}^{*} (ϵ) = ϵ - CL (q_{0})$ とします. あとでも質問するのですが, こうする妥当な理由はあるでしょうか. 「妥当」かどうかはわかりませんが, こうするとたとえば $σ \in Σ$ として
$δ_{ϵ}^{*} (σ) = ϵ - CL (⋃_{q \in δ_{ϵ}^{*} (ϵ)} δ_{ϵ} (q, σ))$
と表わせます.
　 $ϵ$ -非決定性有限オートマトン $ϵ - N$ が受理する語の集合を $L (ϵ - N)$ とすると,
$w \in L (ϵ - N) \Leftrightarrow δ_{ϵ}^{*} (w) \cap F \neq \emptyset$
　 $ϵ$ -非決定性有限オートマトンが認識する言語のクラスを $L_{ϵ - NFA}$ と書きます. わたしが確認してほしいのは,

$L_{NFA} = L_{ϵ - NFA}$

の証明です. $L_{NFA} \subset L_{ϵ - NFA}$ は自明な $ϵ$ -遷移だけの $ϵ$ -非決定性有限オートマトンを考えれば成り立ちます.

$L_{ϵ - NFA} \subset L_{NFA}$

　 $ϵ - N = ⟨ Q, Σ, δ_{ϵ}, q_{0}, F ⟩$ を $ϵ$ -非決定性有限オートマトンとし, それに対して $N = ⟨ Q, Σ, δ_{N}, q_{0}, F ⟩$
$δ_{N} (q, σ) = ϵ - CL (⋃_{q^{'} \in ϵ - CL (q)} δ_{ϵ} (q^{'}, σ))$
なる非決定性有限オートマトンが $ϵ - N$ を模倣すること, すなわち, 上で定めた受理を判定する関数
$δ_{ϵ}^{*} (w) = {\begin{cases} ϵ - CL (q_{0}) & (w = ϵ) \\ ϵ - CL (⋃_{q \in δ_{ϵ}^{*} (σ)} δ_{ϵ} (q, τ)) & (w = σ τ, σ \in Σ^{*}, τ \in Σ) \end{cases}$
と, 模倣遷移関数 $δ_{N}$ による判定関数
$δ_{N}^{*} (w) = {\begin{cases} ϵ - CL (q_{0}) & (w = ϵ) \\ ⋃_{q \in δ_{N}^{*} (σ)} δ_{N} (q, τ) & (w = σ τ, σ \in Σ^{*}, τ \in Σ) \end{cases}$
とが等しいことを示す. ただし
$δ_{N}^{*} (ϵ) = ϵ - CL (q_{0})$
としている. $^{* 1}$
　語 $σ_{0} σ_{1} \dots σ_{n}$ 　が与えられたとき, 遷移関数 $δ_{ϵ}$ による遷移過程に現れる状態の集合 $P_{n}$ を次のように帰納的に定める.
$P (0) = ⋃_{q \in ϵ - CL (q_{0})} δ_{ϵ} (q, σ_{0})$
$P (n) = ⋃_{q \in ϵ - CL (P_{n - 1})} δ_{ϵ} (q, σ_{n})$
　このとき,
$\begin{array}{rcl} δ_{ϵ}^{*} (σ_{0}) & = & ϵ - CL (⋃_{q \in ϵ - CL (q_{0})} δ_{ϵ} (q, σ_{0})) \\ = & ϵ - CL (P_{0}) \end{array}$
であり, $n \in N$ について $δ_{ϵ}^{*} (σ_{0} \dots σ_{n}) = ϵ - CL (P_{n})$ と仮定すると
$\begin{array}{rcl} δ_{ϵ}^{*} (σ_{0} \dots σ_{n} σ_{n + 1}) & = & ϵ - CL (⋃_{q \in δ_{ϵ}^{*} (σ_{0} \dots σ_{n})} δ_{ϵ} (q, σ_{n + 1})) \\ = & ϵ - CL (⋃_{q \in ϵ - CL (P_{n})} δ_{ϵ} (q, σ_{n + 1})) \\ = & ϵ - CL (P_{n + 1}) \end{array}$
　この $σ_{0} \dots σ_{n}$ に依存する遷移過程の状態集合 $P_{n}$ を用いて $δ_{ϵ}^{*} (σ_{0} \dots σ_{n})$ は
$δ_{ϵ}^{*} (σ_{0} \dots σ_{n}) = ϵ - CL (⋃_{q \in ϵ - CL (P_{n - 1})} δ_{ϵ} (q, σ_{n})) = ϵ - CL (P_{n})$
と表わせる.
　ところで, $w = σ τ, σ \in Σ^{*}, τ \in Σ$ について, 定義から
$\begin{array}{rcl} δ_{N}^{*} (w) & = & ⋃_{q \in δ_{N}^{*} (σ)} δ_{N} (q, τ) \\ = & ⋃_{q \in δ_{N}^{*} (σ)} ϵ - CL (⋃_{p \in ϵ - CL (q)} δ_{ϵ} (p, τ)) \\ = & ϵ - CL (⋃_{q \in δ_{N}^{*} (σ)} ⋃_{p \in ϵ - CL (q)} δ_{ϵ} (p, τ)) \end{array}$
である. もし $δ_{ϵ}^{*} (σ) = δ_{N}^{*} (σ)$ が成り立つならば, これは
$δ_{N}^{*} (w) = ϵ - CL (⋃_{q \in δ_{ϵ}^{*} (σ)} ⋃_{p \in ϵ - CL (q)} δ_{ϵ} (p, τ))$
となる. $δ_{ϵ}^{*} (σ)$ はある状態集合の $ϵ$ -閉包として表わせるから, それを $P$ とおくと,
$δ_{N}^{*} (w) = ϵ - CL (⋃_{q \in ϵ - CL (P)} ⋃_{p \in ϵ - CL (q)} δ_{ϵ} (p, τ))$
　この式において, $p$ は状態 $q$ からの $ϵ$ -遷移で到達する状態であり, $q$ は状態集合 $P$ のある元から $ϵ$ -遷移で到達できる状態である. $^{* 2}$
　したがって上の式は
$ϵ - CL (⋃_{q \in ϵ - CL (P)} δ_{ϵ} (q, τ)) = ϵ - CL (⋃_{q \in δ_{ϵ}^{*} (σ)} δ_{ϵ} (q, τ)) = δ_{ϵ}^{*} (w)$
と等しい.

　 $^{* 1}$ は恣意的な気がします. 定義 $1$ では $δ_{N}^{*} (ϵ) = {q_{0}}$ としていたのに, 上の証明では $δ_{N}^{*} (ϵ) = ϵ - CL (q_{0})$ としました. もし $ϵ$ -非決定性有限オートマトンが空列 $ϵ$ を受理するとしたら(実際にそのような $ϵ - N$ はつくれます), それを模倣しようとする非決定性有限オートマトンは $ϵ$ を受理しますか？でも, 非決定性有限オートマトンの遷移関数は $ϵ$ を受けとることができないので, それは不可能だとわたしは思っています. それは模倣と言えるのでしょうか. よくわかりません. ただひとつ言えるのは, $δ_{N}^{*} (ϵ) = ϵ - CL (q_{0})$ とすれば, $1$ つ以上の記号 $σ \in Σ$ に関して $δ_{N}^{*} (σ) = δ_{ϵ}^{*} (σ)$ は成り立つ, ということです.

　 $^{* 2}$ はうまく言葉にすることができません. 言葉にすることができないということはまちがっているのかもしれません. もしここがまちがっているとすれば, わたしの証明はまちがっています. 気持ちとしては, $P$ の $ϵ$ -閉包の元である $q$ の, さらに $ϵ$ -閉包をとってもなにも変わりません. なぜならば $ϵ$ -遷移で行き着く先をすべて取り上げたのが $ϵ$ -閉包なのですから. $q$ の $ϵ$ -閉包の元である $p$ が $P$ の $ϵ$ -閉包の元ではないということはありません. $p$ が動き得るのは, すでに $P$ の $ϵ$ -閉包のすべて, そしてそれのみです. これを形式的に書きたかったのですが, うまくいきませんでした.