Бюрократы, editor, Администраторы
422
правки
Изменения
Новая страница: «{{Определение |definition= '''Прямым произведением''' двух [[Детерминированные конечные автоматы|...»
{{Определение
|definition=
'''Прямым произведением''' двух [[Детерминированные конечные автоматы|ДКА]] <tex>A_1 = \langle \Sigma, Q_1, s_1, T_1, \delta_1 \rangle</tex> и <tex>A_2 = \langle \Sigma, Q_2, s_2, T_2, \delta_2 \rangle</tex> называется ДКА <tex>A = \langle \Sigma, Q, s, T, \delta \rangle</tex>, где:
* <tex>Q = Q_1 \times Q_2,</tex>
* <tex>s = \langle s_1, s_2 \rangle,</tex>
* <tex>T = T_1 \times T_2,</tex>
* <tex>\delta(\langle q_1, q_2 \rangle, c) = \langle \delta_1(q_1, c), \delta_2(q_2, c) \rangle.</tex>
}}
== Применение ==
* С помощью данной конструкции можно построить автомат для [[Операции над языками: теоретико-множественные операции, конкатенация, замыкание_Клини|пересечения]] [[Регулярные языки: два определения и их эквивалентность|регулярных языков]].
|definition=
'''Прямым произведением''' двух [[Детерминированные конечные автоматы|ДКА]] <tex>A_1 = \langle \Sigma, Q_1, s_1, T_1, \delta_1 \rangle</tex> и <tex>A_2 = \langle \Sigma, Q_2, s_2, T_2, \delta_2 \rangle</tex> называется ДКА <tex>A = \langle \Sigma, Q, s, T, \delta \rangle</tex>, где:
* <tex>Q = Q_1 \times Q_2,</tex>
* <tex>s = \langle s_1, s_2 \rangle,</tex>
* <tex>T = T_1 \times T_2,</tex>
* <tex>\delta(\langle q_1, q_2 \rangle, c) = \langle \delta_1(q_1, c), \delta_2(q_2, c) \rangle.</tex>
}}
== Применение ==
* С помощью данной конструкции можно построить автомат для [[Операции над языками: теоретико-множественные операции, конкатенация, замыкание_Клини|пересечения]] [[Регулярные языки: два определения и их эквивалентность|регулярных языков]].
