Eryk Lipka

activity

20182021

collaborators

Showing 2021Show all

2 papers · 1 filter

math.NT2021

A Fibonacci type sequence with Prouhet-Thue-Morse coefficients

Eryk Lipka, Maciej Ulas

Let $t_{n} = (- 1)^{s_{2} (n)}$ , where $s_{2} (n)$ is the sum of binary digits function. The sequence $(t_{n})_{n \in N}$ is the well-known Prouhet-Thue-Morse sequence. In this note we…

cs.FL2021

Detecting a single fault in a deterministic finite automaton

Artur Polański, Eryk Lipka

Given a deterministic finite automaton and its implementation with at most one single fault, that we can test on a set of inputs, we provide an algorithm to find a test set that gu…