271
правка
Изменения
→Теорема
# <tex>q \rightarrow e</tex> для каждого <tex>q \in F</tex>
Используя правила 1 и 2 <Br>,
<tex>A_1 \Rightarrow^* q_o[a_1,a_1][a_2,a_2]...[a_n,a_n]A_2<tex>, где <tex>a_i \in \Sigma</tex> для некоторого <tex>i</tex>.
