Изменения

Перейти к: навигация, поиск

Теорема о непринадлежности XOR классу AC⁰

796 байт добавлено, 23:07, 20 мая 2012
Нет описания правки
===Теорема===
{{Определение
|definition=
<tex>\oplus~-</tex> [[Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками|язык]] над [[Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками|алфавитом]] <tex>\left\{0, 1\right\}</tex>, состоящий из [[Основные определения: алфавит, слово, язык, конкатенация, свободный моноид слов; операции над языками|слов]], содержащих нечетное число <tex>1.</tex>
}}
 
{{Теорема
|statement=
100
правок

Навигация