Standard
Formal Languages over GF(2). / Bakinova, Ekaterina; Basharin, Artem; Batmanov, Igor; Lyubort, Konstantin; Okhotin, Alexander; Sazhneva, Elizaveta.
Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings. Springer Nature, 2018. p. 68-79 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10792 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Harvard
Bakinova, E, Basharin, A, Batmanov, I, Lyubort, K
, Okhotin, A & Sazhneva, E 2018,
Formal Languages over GF(2). in
Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10792 LNCS, Springer Nature, pp. 68-79, 12th International Conference on Language and Automata Theory and Applications, LATA 2018, Ramat Gan, Israel,
9/04/18.
https://doi.org/10.1007/978-3-319-77313-1_5APA
Bakinova, E., Basharin, A., Batmanov, I., Lyubort, K.
, Okhotin, A., & Sazhneva, E. (2018).
Formal Languages over GF(2). In
Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings (pp. 68-79). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 10792 LNCS). Springer Nature.
https://doi.org/10.1007/978-3-319-77313-1_5Vancouver
Bakinova E, Basharin A, Batmanov I, Lyubort K
, Okhotin A, Sazhneva E.
Formal Languages over GF(2). In Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings. Springer Nature. 2018. p. 68-79. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
https://doi.org/10.1007/978-3-319-77313-1_5Author
Bakinova, Ekaterina ; Basharin, Artem ; Batmanov, Igor ; Lyubort, Konstantin
; Okhotin, Alexander ; Sazhneva, Elizaveta. /
Formal Languages over GF(2). Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings. Springer Nature, 2018. pp. 68-79 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
BibTeX
@inproceedings{4756af2bcff84ec49e9d7107fed5fa2f,
title = "Formal Languages over GF(2)",
abstract = "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.",
author = "Ekaterina Bakinova and Artem Basharin and Igor Batmanov and Konstantin Lyubort and Alexander Okhotin and Elizaveta Sazhneva",
year = "2018",
month = jan,
day = "1",
doi = "10.1007/978-3-319-77313-1_5",
language = "English",
isbn = "9783319773124",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Nature",
pages = "68--79",
booktitle = "Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings",
address = "Germany",
note = "12th International Conference on Language and Automata Theory and Applications, LATA 2018 ; Conference date: 09-04-2018 Through 11-04-2018",
}
RIS
TY - GEN
T1 - Formal Languages over GF(2)
AU - Bakinova, Ekaterina
AU - Basharin, Artem
AU - Batmanov, Igor
AU - Lyubort, Konstantin
AU - Okhotin, Alexander
AU - Sazhneva, Elizaveta
PY - 2018/1/1
Y1 - 2018/1/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85045299437&partnerID=8YFLogxK
UR - http://www.mendeley.com/research/formal-languages-gf2
U2 - 10.1007/978-3-319-77313-1_5
DO - 10.1007/978-3-319-77313-1_5
M3 - Conference contribution
AN - SCOPUS:85045299437
SN - 9783319773124
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 68
EP - 79
BT - Language and Automata Theory and Applications - 12th International Conference, LATA 2018, Proceedings
PB - Springer Nature
T2 - 12th International Conference on Language and Automata Theory and Applications, LATA 2018
Y2 - 9 April 2018 through 11 April 2018
ER -
