Keyboards as a new model of computation

Yoan Géran, Bastien Laboureix, Corto Mascle +1

We introduce a new formalisation of languages, called keyboards. We consider a set of elementary operations (writing/erasing a letter, going to the right or to the left,...) and we…