no code implementations • 19 Feb 2021 • Yoan Géran, Bastien Laboureix, Corto Mascle, Valentin D. Richard
We consider a set of elementary operations (writing/erasing a letter, going to the right or to the left,...) and we define a keyboard as a set of finite sequences of such operations, called keys.