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.
CITATION STYLE
Bakinova, E., Basharin, A., Batmanov, I., Lyubort, K., Okhotin, A., & Sazhneva, E. (2018). Formal Languages over GF(2). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10792 LNCS, pp. 68–79). Springer Verlag. https://doi.org/10.1007/978-3-319-77313-1_5
Mendeley helps you to discover research relevant for your work.