次に示す有限オートマトンが受理する入力列はどれか。

ここでS1は初期状態をS3は受理状態を表している。