complementation

Since we know that the CFL's are not closed under intersection, but are closed under intersection with a regular language, we also know about the set-difference and complementation operations on CFL's.

Поскольку КС-языки не замкнуты по пересечению, но замкнуты по пересечению с регулярным языком, то становятся понятными и свойства замкнутости относительно операций разности и дополнения.

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computationХопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычислений

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

The improvements made include elimination of (conditional or unconditional) jumps to jumps and complementation of conditionals.

Выполняемые преобразования включают устранение (условных или безусловных) переходов к переходам и дополнение условных переходов.

Aho, Alfred V.,Sethi, Ravi,Ullman, Jeffrey / Compilers: Principles, Techniques, and ToolsАхо, Альфред В.,Ульман, Джеффри,Сети, Рави / Компиляторы: принципы, технологии, инструменты

Компиляторы: принципы, технологии, инструменты

Ахо, Альфред В.,Ульман, Джеффри,Сети, Рави

© Addison-Wesley Publishing Company, Inc., 1985

© 2001

© Издательский дом "Вильямс", 2001

Compilers: Principles, Techniques, and Tools

Aho, Alfred V.,Sethi, Ravi,Ullman, Jeffrey

© 2001 by PEARSON EDUCATION NORTH ASIA LIMITED and PEOPLE'S POSTS & TELECOMMUNICATIONS PUBLISHING HOUSE

© 1986

Deduce from the formula in ex. 12 the complementation theorem 4.33.

Вывести из формулы упр. 12 теорему о дополнениях — теорему 4.33.

Aigner, Martin / Combinatorial TheoryАйгнер, Мартин / Комбинаторная теория

Комбинаторная теория

Айгнер, Мартин

© 1979 by Springer-Verlag New York Inc.

© Перевод на русский язык, «Мир», 1982

Combinatorial Theory

Aigner, Martin

© Springer-Verlag Berlin Heidelberg 1997

If the elements x and xa were independent elements in A, then neither of them would be 0; and there would exist a subspace T of A such that (F) [Complementation Principle].

Если бы х и ха были линейно независимыми элементами f-пространства А, то оба они были бы отличны от 0; поэтому в А существовало бы такое подпространство Т, что (F) (принцип дополнения).

Baer, Reinhold / Linear Algebra and Projective GeometryБэр, Р. / Линейная алгебра и проективная геометрия

Линейная алгебра и проективная геометрия

Бэр, Р.

© Издательство иностранной литературы, 1955

Linear Algebra and Projective Geometry

Baer, Reinhold

© 1965, by Academic Press

From the Complementation Theorem we deduce the existence of a subspace T such that F.

Из теоремы о дополнении следует существование такого подпространства T, что F.

Baer, Reinhold / Linear Algebra and Projective GeometryБэр, Р. / Линейная алгебра и проективная геометрия

Линейная алгебра и проективная геометрия

Бэр, Р.

© Издательство иностранной литературы, 1955

Linear Algebra and Projective Geometry

Baer, Reinhold

© 1965, by Academic Press