Formal Languages over GF(2)

Ekaterina Bakinova, Artem Basharin, Igor Batmanov, Konstantin Lyubort, Alexander Okhotin, Elizaveta Sazhneva

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборнике материалов конференции

5 Цитирования (Scopus)

Аннотация

Variants of the union and concatenation operations on formal languages are investigated, in which Boolean logic in the definitions (that is, conjunction and disjunction) is replaced with the operations in the two-element field GF(2) (conjunction and exclusive OR). Union is thus replaced with symmetric difference, whereas concatenation gives rise to a new GF(2)-concatenation operation, which is notable for being invertible. All operations preserve regularity, and their state complexity is determined. Next, a new class of formal grammars based on GF(2)-operations is defined, and it is shown to have the same computational complexity as ordinary grammars with union and concatenation.

Язык оригиналаанглийский
Название основной публикацииLanguage and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings
ИздательSpringer Nature
Страницы68-79
Число страниц12
ISBN (печатное издание)9783319773124
DOI
СостояниеОпубликовано - 1 янв 2018
Событие12th International Conference on Language and Automata Theory and Applications, LATA 2018 - Ramat Gan, Израиль
Продолжительность: 9 апр 201811 апр 2018

Серия публикаций

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Том10792 LNCS
ISSN (печатное издание)0302-9743
ISSN (электронное издание)1611-3349

конференция

конференция12th International Conference on Language and Automata Theory and Applications, LATA 2018
СтранаИзраиль
ГородRamat Gan
Период9/04/1811/04/18

Предметные области Scopus

  • Теоретические компьютерные науки
  • Компьютерные науки (все)

Fingerprint Подробные сведения о темах исследования «Formal Languages over GF(2)». Вместе они формируют уникальный семантический отпечаток (fingerprint).

Цитировать