• David Janin – Programing with inverse semigroups : the turtle, its pen and its violin (5 July, 2017)

    by  • September 8, 2017 • DSG Research Seminars: Logic and Programming Languages

    Logo is an educational programming language, designed in 1967, that is often known for its use of Turtle graphics, in which commands for movement and drawing produce line graphics either on screen or with a small robot called a turtle. In this talk, I will show how basic semigroup theoretical concepts, such as semigroup action and semi-direct product, are applicable for defining, within inverse semigroup theory, simple denotational semantics to turtle command programs. This approach then allows for extending turtle command language to any additional space or time dimension: the turtle can also play the violin.