<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta>
      <journal-title-group>
        <journal-title>M. Pratsiovytyi);</journal-title>
      </journal-title-group>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>Directions of Two-Symbol Encoding Application in Information and Cyber Security⋆</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Svitlana Shevchenko</string-name>
          <email>s.shevchenko@kubg.edu.ua</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Iryna Lysenkо</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Borys Grinchenko Kyiv Metropolitan University</institution>
          ,
          <addr-line>18/2 Bulvarno-Kudriavska str., 04053 Kyiv</addr-line>
          ,
          <country country="UA">Ukraine</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Drahomanov Ukrainian State University</institution>
          ,
          <addr-line>9 Pirogova str., 01601 Kyiv</addr-line>
          ,
          <country country="UA">Ukraine</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Institute of Mathematics of NAS of Ukraine</institution>
          ,
          <addr-line>3 Tereschenkivska str, 01024 Kyiv</addr-line>
          ,
          <country country="UA">Ukraine</country>
        </aff>
      </contrib-group>
      <volume>000</volume>
      <fpage>0</fpage>
      <lpage>0003</lpage>
      <abstract>
        <p>Reliability and accuracy of information transmission are critically important in today's digital society. At the same time, error-free data transmission should not only guarantee security and efficiency but also optimize the use of resources, such as time, energy, and network bandwidth. To achieve these results, mathematical methods are used, which become the foundation for the development of new algorithms and solutions in the field of information and communication technologies, in particular in the theory of information coding. This article considers the possibility of using two-symbol encoding for efficient data transmission and storage. The paper presents a two-symbol encoding system for real numbers, which is a unique partial case of a system with two bases of different signs. Probabilistic and fractal theory of binary representations is covered. It was determined that this two-symbol information encoding system can be used in cryptography, using numbers recorded in this way as components of a series of pseudo-random numbers, and in steganography for hiding information in video images or other open data streams of both static and dynamic types based on fractal theory. The approaches considered in this study can be used in the training of specialists in the field of information and cyber security.</p>
      </abstract>
      <kwd-group>
        <kwd>eol&gt;two-symbol number encoding system</kwd>
        <kwd>G2-representation of numbers</kwd>
        <kwd>information protection</kwd>
        <kwd>information and cybernetic systems</kwd>
        <kwd>cryptography</kwd>
        <kwd>steganography</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>1. Introduction
Encoding is the process of converting information from one form to another that conforms to a
specific algorithm, standard, or protocol. Encoding information is an important component of
information and cyber security. Encoding information ensures compatibility, efficiency, and
security during data transmission, processing, and storage [1]. In other words, as a result of
encoding, if there is no interference, the message is presented in a more compact (compressed)
form, otherwise, the encoding process detects and corrects errors that arise due to interference.
The latter ensures the reliability of the information. A set of message characters receives a unique
numerical code that corresponds to a certain encoding standard.</p>
      <p>“A code is a system of symbols or signals for transmitting, processing, and storing information”
[2, p. 551]. In information transmission systems, codes can be classified according to various
characteristics:</p>
    </sec>
    <sec id="sec-2">
      <title>Regarding the construction of a code based on logical and mathematical theories (algebraic, combinatorial, probabilistic, and others).</title>
    </sec>
    <sec id="sec-3">
      <title>Regarding resistance to distortion (interference-resistant, non-interference-resistant).</title>
    </sec>
    <sec id="sec-4">
      <title>Regarding the structure of code combinations (block, tree-like, and others).</title>
      <p>








</p>
    </sec>
    <sec id="sec-5">
      <title>Regarding the length of the code combination (uniform, non-uniform).</title>
    </sec>
    <sec id="sec-6">
      <title>Regarding the code base (binary, ternary, etc.).</title>
    </sec>
    <sec id="sec-7">
      <title>Regarding the method of transmitting code elements by signals (serial, parallel, etc.).</title>
    </sec>
    <sec id="sec-8">
      <title>Regarding the form of information representation (text, numeric, graphic, audio, video, combined).</title>
    </sec>
    <sec id="sec-9">
      <title>Encryption.</title>
    </sec>
    <sec id="sec-10">
      <title>Steganography.</title>
      <p>In information theory and programming, there are a variety of encoding methods, many of
which are named after prominent scientists who made significant contributions to their
development. These codes are used for efficient and reliable data representation, including
compression, error protection, and information transmission:</p>
    </sec>
    <sec id="sec-11">
      <title>The Hamming code developed by Richard Hamming to detect and correct errors in data, is widely used in computer memory and communication.</title>
    </sec>
    <sec id="sec-12">
      <title>The Berger code, developed by Jerry Berger to detect errors in arithmetic operations is used in processors and other digital circuits.</title>
    </sec>
    <sec id="sec-13">
      <title>The Huffman code, developed by David Huffman for data compression, provides optimal</title>
      <p>encoding by using variable-length codewords and is used in many file formats, such as</p>
    </sec>
    <sec id="sec-14">
      <title>JPEG and MP3.</title>
    </sec>
    <sec id="sec-15">
      <title>The Shannon-Fano code, developed by Claude Shannon and Robert Fano for data</title>
      <p>compression, is a predecessor of the Huffman code and also uses variable-length
codewords.</p>
      <p>This list is not exhaustive and there are many other codes named after their authors. Some of
them may be less well-known but are also important for the development of information
technology. The main goal in the process of encoding information, scientists identify:

</p>
    </sec>
    <sec id="sec-16">
      <title>Search for codes that allow for efficient, unhindered transmission of information.</title>
    </sec>
    <sec id="sec-17">
      <title>Search for codes that allow for the reliable transmission of information.</title>
      <p>The first direction is studied by the theory of economic coding [3–7], and the second—by the
theory of noise-resistant coding [8–10]. Obviously, the solution to these problems is best solved by
encoded information, so this problem will be relevant in the future. The current state of coding is
characterized by the implementation of artificial intelligence, in particular machine learning.
Mathematical methods will play a key role in creating efficient and reliable coding systems that
ensure the transmission and storage of information [11].</p>
      <p>Today, exact sciences boldly operate with both finite and infinite sets and data arrays. At the
same time, the ideas of coordination and coding are effectively used. As a result, powerful families
of mathematical objects are described by a small number of basic (reference) objects and relations.
Meaningful information about dependencies, and relations (correspondences) takes on a digital
form, encrypted by codes: sets, matrices, and sequences of elements of the alphabet, which can be
finite and infinite, constant and variable [12].
2. Representation of real numbers through a two-symbol alphabet
In mathematics and its applications today, various representations and images (encodings) of real
numbers are used, which use finite and infinite, constant and variable alphabets, i.e. a real number
has different forms of existence. One of the simplest is the representation and image in the s-base
(binary, ternary, decimal, etc.) number system.
Two-symbol information encoding systems traditionally use the alphabet A ={0 ,1 }. Two-symbol
systems deserve special attention, in particular, due to the minimal alphabet. Next, we will focus on
encodings of real numbers.</p>
      <p>The coding of real numbers of the interval [ 0 ; 1] using the alphabet A is called the
correspondence between the sets [ 0 ; 1] and L= A × A × A × …, in which each number x ∈[ 0 ; 1]
corresponds to at least one element of the set L and each element of the set L is the image of at
least one number of the interval [ 0 ; 1]. The sequence itself (an)=( a1 , a2 , ... , an )∈ L, which
corresponds to the number x, is called its representation (or code), and а an is the nth digit (or
symbol) of its representation.</p>
      <p>It seems that the coding system has zero redundancy since each number can have no more than
two images, and what is important is the majority of numbers in one representation.</p>
      <p>
        The binary representation of numbers is the simplest example of two-symbol continuous
encodings with zero redundancy [13].
2.1. Existence of a G-representation of a natural number
Definition 1. If for a natural number a there exists a set ( a1 , a2 , … , an ) of zeros and ones such that
(
        <xref ref-type="bibr" rid="ref1">1</xref>
        )
(
        <xref ref-type="bibr" rid="ref2">2</xref>
        )
2=21=(
        <xref ref-type="bibr" rid="ref10">10</xref>
        )G=22−21=(110)G ,
3=22−21+20=(111)G=22−20=(101)G ,
4=22=(100)G=23−22=(1100)G ,
5=23−22+1=(1101)G=23−22+2−1=(1111)G ,
6=23−22+2=(1110)G=23−2+1=(1011)G ,
7=23−1=(1001)G=23−2+1=(1011)G ,
8=23=(1000)G=24−23=(11000)G ,
9=24−23+1=(11001)G=24−23+2−1=(11011)G ,
10=24−23+2=(110110)G=24−23+2−1=(11110)G .
      </p>
      <p>Note. As we can see, the G-representation of the same natural number can have a different
number of digits. For example, 8=(1000)G=(11000)G, and in general</p>
      <p>n
a=2n+∑ [(−1)1+σk ak 2n−k ] ≡ (1 a1 … an)G ,</p>
      <p>k=1
where σ k=a1+ …+ ak−1, then we will say that the number a has a G-representation, which is
symbolically written a=(1 a1 … an)G and is ( n+1 )-digit.</p>
      <p>For example, each of the numbers within ten has a G-representation, and there are exactly two
of them, which is easy to verify.</p>
      <p>
        1=20=(
        <xref ref-type="bibr" rid="ref1">1</xref>
        )G=21−20=(
        <xref ref-type="bibr" rid="ref11">11</xref>
        )G ,
a=2n= 1 0⏟… 0 = 11 0⏟… 0 .
      </p>
      <p>( ) ( )</p>
      <p>n G n G</p>
    </sec>
    <sec id="sec-18">
      <title>Then as</title>
      <p>
        a=2n+1=2n+1−2n+1=(11 0⏟… 0 1) =(11 0⏟… 0 11) . (
        <xref ref-type="bibr" rid="ref3">3</xref>
        )
n−1 G n−2 G
      </p>
      <p>
        Theorem 1. Every natural number has exactly two G-representation, i.e. for any natural number
a there exists a set of zeros and ones ( a1 , a2 , ... , an ) such that (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) where σ 1=0, σ k=a1+...+ ak−1,
and there are exactly two such decompositions.
Proof. It is obvious that for any natural number a there exists a natural number n, such that
2n−1&lt; a ≤ 2n. Let us use the method of mathematical induction on the number n. For n=1 we have
      </p>
      <sec id="sec-18-1">
        <title>1&lt; a ≤ 2 and the statement is obvious for the numbers 1 and 2 (see the example above).</title>
        <p>Let us assume the truth of the statement for n=k , i.e. a∈( ak−1 ; 2k ] has the decomposition
k
a=2k +∑ [(−1)1+σi ai 2k−i ] ≡ (1 a1 … ak )G ,</p>
        <p>i=1
where σ i=a1+ …+ ai−1, and there are exactly two of them.</p>
        <p>Consider n=k +1, i.e. the number a∈ ( 2k ; 2k+1 ]. If a=2k+1, then a= 1 0⏟… 0
(</p>
        <p>) =(11 0⏟… 0) .
k+1 G k+1 G</p>
        <sec id="sec-18-1-1">
          <title>Let 2k &lt; a&lt;2k+1, then 0&lt; a−2k ≡ u&lt;2k. By assumption, the number u has G-representation</title>
          <p>
            (
            <xref ref-type="bibr" rid="ref4">4</xref>
            )
u=(1 c1 c2 … cm)G ,
where m&lt; k .
          </p>
          <p>Then a=2k +u=2k+1−2k +u= 11 0⏟… 0 c1 … cm . Since the number u ≡ a−2k satisfies the
( )</p>
          <p>k−m G
inequality 0&lt;u&lt;2k, then by assumption, it has exactly two G-representation. Therefore, exactly
two G-representation has the number a. According to the principle of mathematical induction, the
statement is proved for any natural number a.</p>
          <p>Definition 2. The canonical G-representation of a natural number is the G-representation, which
has the minimum number of digits and the maximum number of zeros at the same time.</p>
        </sec>
      </sec>
      <sec id="sec-18-2">
        <title>For example, the canonical G-representation of numbers:</title>
        <p>16=(10000)G=(110000)G , a=2n−1=(1 0⏟… 0 1) =(1 0⏟… 0 11)
n−1 G n−2 G
is the first of the G-representations.
2.2. G-representation of the fractional part of a real number
Theorem 2 [14]. For any number x ∈[ 0 ; 1 ] there exists a sequence of zeros and ones ( α n ) such that
2
a=
α21 +∑k=∞2 α k (−2k1)σk</p>
        <p>= α21 +∑k=∞2 2k−σkα( −k2)σk ≡ ΔGα1α2….αn … ,
where σ k=a1+ …+ ak−1.</p>
        <p>Corollary. For any number x∈ [ 0 ; 1] there exists a sequence of zeros and ones ( α n ) such that
x= 12 α 0+
α21 +∑k=∞2 α k (−2k1)σk
≡ Δα0 α1…αn … .</p>
        <p>
          (
          <xref ref-type="bibr" rid="ref5">5</xref>
          )
(
          <xref ref-type="bibr" rid="ref6">6</xref>
          )
(
          <xref ref-type="bibr" rid="ref6">6</xref>
          )
(
          <xref ref-type="bibr" rid="ref7">7</xref>
          )
The symbolic notation ΔGα1α2….αn … is called the G-representations of the number x ∈[ 0 ; 1 ] and
2
its expansion into the series (
          <xref ref-type="bibr" rid="ref1">1</xref>
          ).
2.3. G2-representation of numbers in the interval [ 0 ; g0]
G-representations is a special case of a more general two-symbol mapping with two bases of
different signs. Let us recall its definition. Let two bases be fixed g0∈ ( 0 ; 12 ], g1 ≡ g0−1 and
numbers: δ0=0 , δ1=g0.
        </p>
        <p>Theorem 3 [15, 16]. For any number x ∈[ 0 ; g0] there is a sequence of zeros and ones ( α n ) such
that</p>
        <p>∞ k−1 G
x=δ α1+∑k=2 ( δ αk ∏j=1 gα j )≡ Δα12α2…αk … , δ αk=α k g1−αk .</p>
        <p>Corollary 1. If g0= 12 , then δ αk= α2kk ,</p>
        <p>
          ∏kj=−11 gα j= (−12)αk1+−…1+αk−1 (
          <xref ref-type="bibr" rid="ref9">9</xref>
          )
and the series (
          <xref ref-type="bibr" rid="ref8">8</xref>
          ) takes the form (
          <xref ref-type="bibr" rid="ref6">6</xref>
          ).
        </p>
        <p>The symbolic notation ΔG2</p>
        <p>
          α1α2…αk … of a number x and its decomposition into an alternating series
(
          <xref ref-type="bibr" rid="ref8">8</xref>
          ) is called the G2-representations, and α k is its kth digit.
        </p>
        <p>Lemma 1. Lebesgue measure of a set</p>
        <p>
          G
C ≡ C [ G2 ; s1 … sm ]={ x : x= Δα12α2…αn… , α k … α k+m−1 ≠ s1 … sm ∀ k ∈ N }
(
          <xref ref-type="bibr" rid="ref9">9</xref>
          )
numbers from the interval [ 0 ; g0], G2-representations of which does not use the set of digits s1 s2 … sm
as consecutive digits of the G2-representations of the number, is equal to zero.
        </p>
      </sec>
    </sec>
    <sec id="sec-19">
      <title>Proof. Consider sets</title>
      <p>E={x : x= Δα12α2…αn… , α km+1 α km+2 … α km+m ≠ s1 … sm ∀ k ∈ N }.</p>
      <p>G</p>
      <p>It is obvious that C ⊂ E. Let us prove that the Lebesgue measure λ ( E )=0. From which it
follows that λ (C )=0. To do this, let us denote by F0 ≡ [ 0 ; g0], Fk the union of all cylinders of
rank km, among the interior points of which there are points of the set E, and Fk+1 ≡ Fk ∖ Fk+1.
Then Fk= Fk+1∪ Fk+1, λ ( Fk+1)= λ ( Fk )− λ ( Fk+1 ), E⊃ Fk⊃ Fk+1 ∀ k ∈ N and
λ ( E )= lim λ ( Fk ) .</p>
      <p>k →∞
Let us express
λ ( Fk )= gλ0( λF(kF−1k)) ⋅ λλ (( FFkk−−12)) ⋅ …⋅ λλ (( FF10)) = ∏i=k1 λλ( F(Fi−i)1) = ∏i=k1 λ ( Fλi()F−i−λ1()Fi) =</p>
      <p>k
=∏ (1−
i=1
λ ( Fi)
λ ( Fi−1)</p>
      <p>).</p>
      <p>Whence</p>
      <p>∞
λ ( E )= lim λ ( Fk )=g0 ∏
k →∞ k=1 λ ( Fk−1)
λ ( Fk ) ∞
=g0 ∏ (1−
k=1</p>
      <p>).</p>
      <p>
        (
        <xref ref-type="bibr" rid="ref8">8</xref>
        )
(
        <xref ref-type="bibr" rid="ref10">10</xref>
        )
(
        <xref ref-type="bibr" rid="ref11">11</xref>
        )
then
|ΔGa12…ak i|=|gi||Δa12…ak|
      </p>
      <p>G
c1 ≤ |ΔGa12…ak i| ≤ c2 ,</p>
      <p>|ΔGa12…ak|
|ΔGα12…αkm|
0&lt;c1m ≤ |ΔGα12…αkm s1… sm|=∏|gsi|≤ c2m&lt;1.</p>
      <p>m
i=1
where c1=min {g0 ;−g1 }, c2=max {g0 ;−g1 }, and therefore</p>
      <p>Then the ratio
is separate from 0, and therefore the difference 1−
is separate
λ ( Fk−1) λ ( Fk−1)
from 1, i.e. the necessary condition for the convergence of the infinite product is not met, and
therefore it converges to zero.</p>
      <p>Corollary 2. The set C is a null set of Cantor type with a self-similar structure.</p>
      <p>Theorem 4. Almost every number from the interval [ 0 ; g0] in its G2-representations use each of
the sets of digits of the alphabet as consecutive digits an infinite number of times.</p>
      <p>Proof. Let ( s1 , … , sm) be an arbitrary ordered set of zeros and ones, H be the set of all numbers
[ 0 ; g0 ], in the G2-representation of which the set of digits s1 s2 … sm appears an infinite number of
times as consecutive digits, D be the set of all numbers that use this set as consecutive digits of the
G2-representation only a finite number of times.</p>
      <p>
        Let us prove that H is a set of full Lebesgue measure, that is, that λ ( H )=g0. To do this, it is
λ ( Fk )
enough to prove that λ ( H )=0, where H =[ 0 ; g0 ]∖ H . It is obvious that
(
        <xref ref-type="bibr" rid="ref12">12</xref>
        )
(
        <xref ref-type="bibr" rid="ref13">13</xref>
        )
(
        <xref ref-type="bibr" rid="ref14">14</xref>
        )
(15)
(16)
(17)
∞
      </p>
      <p>H =Un=1 Dn ,
where Dn={x : x= ΔG2</p>
      <p>α1…αn … , α k+1 … α k+m ≠ s1 … sm ∀ k ≥ n}.</p>
      <p>Let us calculate λ ( Dn ). Since</p>
      <p>Dn= U
α1∈A
… U [ ΔGα12…αn ∩ D ] , ΔGα12…αn ∩ D= ΔG2</p>
      <p>α1…αn ∩ H ,
αn∈A</p>
      <p>G
then according to the previous lemma 1 λ ( Δα12…αn ∩ D )=0, and therefore, λ ( Dn)=0. Therefore
λ ( H )=0, since</p>
    </sec>
    <sec id="sec-20">
      <title>The theorem is proved.</title>
      <p>∞
λ ( H ) ≤ ∑ λ ( Dn)=0.</p>
      <p>n=1
2.4. Probabilistic theory of binary representation
The probability theory of real numbers in their binary representation deals with solving problems
related to probability distributions on sets of numbers defined by the properties of the binary
representation of their elements [17].</p>
      <p>G
Theorem 5. If the random variable ξ = Δξ12ξ2… has a uniform distribution on the interval [ 0 ; g0 ], then
the digit (ξn) of its G2-representation are independent and have distributions P (ξn=0)=g0,
P (ξn=1)= – g1.</p>
      <p>Theorem 6. If the distribution function Fη ( x ) of a random variable η= ΔG2
η1…ηk … with independent
binary digits ηk has a positive derivative at the points 2−1 , 2−2 , …, then η has an exponential
distribution on а [ 0 ; 1] with density
where the distributions of digits ηk are given by the formulas
β ( eβx )
eβ−1
f ( x )=</p>
      <p>.−∝ &lt; β &lt;∝ ,
P (ηk=0)= p0 k=
P (ηk=1)= p1k=
2.5. Fractal theory of binary representation
The essence of the fractal theory of numbers in a given system of their coding consists in studying
fractal properties of a set of numbers, determined by conditions (restrictions) on their
representation (use of digits). These conditions can be formulated in terms of prohibitions on the
use of digits and their combinations, in terms of frequencies of digits or combinations of digits in
the representation of a number, etc.</p>
      <p>The methods of fractal theory are based on the ideas of self-similarity, in particular
selfsimilarity and self-affinity, tools of the theory of metric dimensions, and measures of fractional
orders. The Q2-representation of numbers is effectively used in fractal theory [17].
cylinders, [ 0 ; g0]⊃ E</p>
      <p>Let the G2-representation of numbers in the interval [ 0 ; g0 ] be given, W G is the set of all G
2
is a fixed set, 1 ≥ α is a positive number, ε &gt;0. Let
lε ≡ inf {∑|ωi|α : E⊂U ωi , ωi∈W G} be given, where |ωi| is the length of the cylinder ωi, and
α</p>
      <p>|ωi|≤ ε i i
the lower bound is taken as all possible coverings of the set E by G2-cylinders whose lengths do
not exceed ε.</p>
      <p>It is obvious that the numbers lαε ( E ) and mαε ( H ), generally speaking, are different (
lαε ( E ) ≥ mαε ( H ), since the class of all possible covers of the set E by intervals includes the class of
covers by G2-cylinders). Let us prove that despite this, the functions H α ( E ) and Lα ( E )=εl→im∝ lαε ( E )
of the variable α take the values 0 and ∞ simultaneously. And this is a reason to believe that when
determining the Hausdorff-Bezikovitch dimension of an arbitrary set E⊂ [ 0 ; g0 ] one can limit
oneself to covers of the set by G2-cylinders, which follows from the statement.</p>
      <p>Theorem 7. For arbitrary E⊂[ 0 ; g0 ], 0&lt; α ≤ 1, ε &gt;0, the double inequality holds
mαε ( E ) ≤ lαε ( E ) ≤ 2 (2m+1)⋅ mαε ( E ) ,
(20)
m
m is the smallest natural number satisfying the inequality g0 ≤ 1 – g0.
3. Two-symbol system in some variants of information encoding
The proposed two-symbol system has great prospects in mathematics, but its possibilities in the
field of coding were not considered. Let us try to highlight those areas of its application in
information coding for further research:</p>
    </sec>
    <sec id="sec-21">
      <title>Representation in the two-symbol system can be used as a simplified (primitive) variant of cryptographic information closure, using the numbers recorded in this way as components of a series of pseudorandom numbers.</title>
      <p>The two-symbol system involving Q2-representation has a chance to be used in the
interests of steganographic closure (hiding) of information in video images or other open
data streams of both static and dynamic types based on fractal theory. In this case, the
pixels carrying information (part of the message code) are placed in the plane of the picture
randomly.</p>
      <p>It should be noted that this representation can be used as a primary code. But for such codes,
one of the important properties is conciseness—the minimum number of bits of representation of a
particular state of an object or process values. In this sense, the two-symbol system is inferior to
the classical positional binary code, because it uses additional digits with a negative sign in the
representation of a number, which introduces redundancy. This increases presentation time, and
memory load, and increases channel transmission time. However, when using a two-symbol
system, the Hamming distance (a measure of dissimilarity of code combinations—the number of
bits in which the symbols of one of the compared combinations differ from the other) between the
combinations may increase slightly (on average). It is a consequence of the introduction or
presence of redundancy. Combinations appear that are inherent in this particular representation
and those that cannot exist in this representation. For example, the number 5 can be written:
5=23−22+1=(1101)G=23−22+2−1=(1111)G ,
while the classic 1001 cannot be used and is a prohibited combination within the proposed
twosymbol system. From this position, it can be suggested that there is a chance of using a two-symbol
system as a simpler, not very efficient, but conditionally noise-resistant code. Additional research is
needed to assess this possibility. First of all, this concerns the quantitative ratio between the
allowed and forbidden combinations that arise in a two-symbol system. This is also related to the
value of the possible code distance (the minimum Hamming distance between any two allowed
code combinations). The greater the number of forbidden combinations, the potentially greater the
code distance between the permitted combinations (dk), and the greater the error rate (number of
distorted symbols in the accepted code combination) that the code allows to detect ( ydetect) or
correct ( ycorrect):
for detection
for error correction</p>
      <p>dk detect ≥ ydetect +1 ;
dk correct ≥ 2 ycorrect +1 .
(21)
(22)
(23)</p>
      <p>The number of allowed values with the required code distance is important, and it increases
with increasing code redundancy.</p>
      <p>The given example of the representation of the number 5 also indicates the possibility of using
the specified representation as a variant in the binary-decimal code.
The information society requires effective information protection. Coding plays a key role in
ensuring the confidentiality, integrity, and availability of information, and the basis of coding rules
are mathematical methods and models. The authors of the article proposed directions for applying
mathematical theory related to two-symbol number coding systems in the field of information
coding.</p>
      <p>We see directions for further exploration in a more detailed study of the possibilities of
implementing this system, using the G-representation not only of a natural number, but also of the
fractional part of a real number.</p>
      <p>
        Declaration on Generative AI
While preparing this work, the authors used the AI programs Grammarly Pro to correct text
grammar and Strike Plagiarism to search for possible plagiarism. After using this tool, the authors
reviewed and edited the content as needed and took full responsibility for the publication’s content.
[15] I. Lysenko, Y. Maslova, M. Pratsiovytyi, The binary number system with different bases and
special functions associated with it, in: Proceedings of the Institute of Mathematics of the NAS
of Ukraine, vol. 16(
        <xref ref-type="bibr" rid="ref2">2</xref>
        ) (2019) 50–62.
[16] M. Pratsiovytyi, I. Lysenko, Y. Maslova, Geometry of number series: A series as a model of a
real number in a new two-symbol number coding system, in: Proceedings of the Institute of
      </p>
    </sec>
    <sec id="sec-22">
      <title>Mathematics of the NAS of Ukraine, vol. 15(1), 2018, 132–146.</title>
      <p>[17] M. Pratsiovytyi, Two-symbol encoding systems of real numbers and their application, Kyiv,</p>
    </sec>
    <sec id="sec-23">
      <title>Naukova Dumka, 2022.</title>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <surname>R.</surname>
          </string-name>
           Bose, Information theory, coding and crytography: 3/e,
          <year>2016</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2] V. T. 
          <article-title>Busel, Large explanatory dictionary of the modern ukrainian language</article-title>
          ,
          <source>Perun</source>
          ,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <surname>E.</surname>
          </string-name>
           Ukkonen,
          <article-title>Approximate string-matching with q-grams and maximal matches</article-title>
          ,
          <source>Theor. Comput. Sci</source>
          .
          <volume>92</volume>
          (
          <issue>1</issue>
          ) (
          <year>1992</year>
          )
          <fpage>191</fpage>
          -
          <lpage>211</lpage>
          . doi:
          <volume>10</volume>
          .1016/
          <fpage>0304</fpage>
          -
          <lpage>3975</lpage>
          (
          <issue>92</issue>
          )
          <fpage>90143</fpage>
          -
          <lpage>4</lpage>
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <surname>S.</surname>
          </string-name>
           Kumar,
          <string-name>
            <given-names>T.</given-names>
             
            <surname>Utsab</surname>
          </string-name>
          ,
          <string-name>
            <surname>A.</surname>
          </string-name>
           
          <article-title>Raychoudhury, Image compression using approximate matching and run length</article-title>
          ,
          <source>Int. J. Adv. Comput. Sci. Appl</source>
          .
          <volume>2</volume>
          (
          <issue>6</issue>
          ) (
          <year>2011</year>
          ). doi:
          <volume>10</volume>
          .14569/ijacsa.
          <year>2011</year>
          .020617
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>A.</given-names>
             
            <surname>Gupta</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
             
            <surname>Bansal</surname>
          </string-name>
          ,
          <string-name>
            <surname>V.</surname>
          </string-name>
           
          <article-title>Khanduja, Modern lossless compression techniques: Review, comparison and analysis</article-title>
          ,
          <source>in: 2nd International Conference on Electrical, Computer and Communication Technologies</source>
          ,
          <string-name>
            <surname>ICECCT</surname>
          </string-name>
          ,
          <year>2017</year>
          ,
          <fpage>1</fpage>
          -
          <lpage>8</lpage>
          . doi:
          <volume>10</volume>
          .1109/icecct.
          <year>2017</year>
          .8117850
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>P.</given-names>
             
            <surname>Venkatram</surname>
          </string-name>
          ,
          <article-title>A new lossless data compression algorithm exploiting positional redundancy</article-title>
          , arXiv,
          <year>2021</year>
          . doi:
          <volume>10</volume>
          .48550/arXiv.2107.13801
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <surname>S.</surname>
          </string-name>
           Yamagiwa,
          <article-title>Stream-based lossless data compression</article-title>
          ,
          <source>in: Sublinear Computation Paradigm</source>
          ,
          <year>2021</year>
          ,
          <fpage>391</fpage>
          -
          <lpage>410</lpage>
          . doi:
          <volume>10</volume>
          .1007/
          <fpage>978</fpage>
          -981-16-4095-7_
          <fpage>16</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>A.</given-names>
             
            <surname>Serkov</surname>
          </string-name>
          , et al.,
          <article-title>Noise-like signals in wireless information transmission systems</article-title>
          ,
          <source>Adv. Inf. Syst</source>
          .
          <volume>1</volume>
          (
          <issue>2</issue>
          ) (
          <year>2017</year>
          )
          <fpage>33</fpage>
          -
          <lpage>38</lpage>
          . doi:
          <volume>10</volume>
          .20998/
          <fpage>2522</fpage>
          -
          <lpage>9052</lpage>
          .
          <year>2017</year>
          .
          <volume>2</volume>
          .
          <fpage>06</fpage>
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>A.</given-names>
             
            <surname>Pieshkin</surname>
          </string-name>
          , et al.,
          <article-title>The comparative assessment of corrective parameters for antinoise convolutional and block codes</article-title>
          ,
          <source>in: International Conference on Information and Telecommunication Technologies and Radio Electronics, UkrMiCo</source>
          ,
          <year>2018</year>
          ,
          <fpage>1</fpage>
          -
          <lpage>4</lpage>
          . doi:
          <volume>10</volume>
          .1109/ukrmico43733.
          <year>2018</year>
          .9047530
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>B.</given-names>
             
            <surname>Zhurakovskyi</surname>
          </string-name>
          , et al.,
          <article-title>Enhancing information transmission security with stochastic codes</article-title>
          , in: Classic, Quantum, and
          <string-name>
            <surname>Post-Quantum</surname>
            <given-names>Cryptography</given-names>
          </string-name>
          ,
          <string-name>
            <surname>CQPC</surname>
          </string-name>
          , vol.
          <volume>3829</volume>
          ,
          <year>2024</year>
          ,
          <fpage>62</fpage>
          -
          <lpage>69</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>R. </given-names>
            <surname>Chernenko</surname>
          </string-name>
          , et al.,
          <article-title>Encryption method for systems with limited computing resources</article-title>
          ,
          <source>in: Cybersecurity Providing in Information and Telecommunication Systems</source>
          , vol.
          <volume>3288</volume>
          (
          <year>2022</year>
          )
          <fpage>142</fpage>
          -
          <lpage>148</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <surname>M. </surname>
          </string-name>
          <article-title>Pratsiovytyi, Two-symbol image systems (coding) of real numbers</article-title>
          ,
          <source>in: Students' Physical and Mathematical Sketches</source>
          , vol.
          <volume>9</volume>
          ,
          <year>2010</year>
          ,
          <fpage>6</fpage>
          -
          <lpage>26</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <surname>M. </surname>
          </string-name>
          <article-title>Pratsiovytyi, Geometry of real numbers in their encodings by means of an infinite alphabet as the basis of topological, metric, fractal and probabilistic theories, Sci</article-title>
          .
          <string-name>
            <given-names>J.</given-names>
            <surname>Natl</surname>
          </string-name>
          . Pedag. Dragomanov Univ.
          <volume>1</volume>
          (
          <issue>14</issue>
          ) (
          <year>2013</year>
          )
          <fpage>189</fpage>
          -
          <lpage>216</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>M.</given-names>
             
            <surname>Pratsiovytyi</surname>
          </string-name>
          , et al.,
          <article-title>G-representation of real numbers and some of its applications</article-title>
          ,
          <source>Nonlinear Oscil</source>
          .
          <volume>25</volume>
          (
          <issue>4</issue>
          ) (
          <year>2022</year>
          )
          <fpage>377</fpage>
          -
          <lpage>387</lpage>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>