正規表現から空動作を含む NFA を構成する方法（トンプソンの構成法）で、連接 $E_1{E}_2$ に対応する NFA の作り方として、適切なものはどれか。

解説

正解は「$E_1$ の NFA の受理状態から $E_2$ の NFA の開始状態へ ε遷移を加える」です。連接は、$E_1$ に当てはまる部分の直後に $E_2$ に当てはまる部分が続くことなので、$E_1$ を読み終えたら入力を読まずに $E_2$ の開始へ移ればよく、全体の受理状態は $E_2$ の受理状態になります。「新しい開始状態から $E_1$ と $E_2$ の両方の開始状態へ ε遷移を加える」は、選択 $E_1|E_2$ の作り方です。「$E_1$ の NFA の受理状態から $E_1$ の開始状態へ ε遷移を加える」は、繰返しの作り方の一部です。「$E_1$ と $E_2$ の開始状態どうしを ε遷移で結ぶ」と、$E_1$ を読まずに $E_2$ を読めてしまいます。