(nettipäiväkirja 25.09.2013) Morsiameni ehdotti, että koodattaisiin merkkijonojen Zendo-peliä pyörittävä IRC-botti. Ajatus olisi, että botti toimisi Zen-mestarina. Sitä varten sen pitäisi osata:
Kaikkien näiden vaikeus riippuu siitä, millaisella kielellä säännöt ilmoitetaan. Koska kyseessä on ohjelma, tämän pitää olla jokin formaalinen kieli, jolla voi määrittää merkkijonojen joukkoja. Muutamistakin syistä valinnen formalismin, jolla voi määrittää kaikki ns. säännölliset kielet eli merkkijonojoukot, joihin kuuluvuuden voi tunnistaa äärellistilaisella automaatilla.
Muistin myös, että olen kirjoittanut hienon äärellistilaisten automaattien käsittelykirjaston Schemellä:
http://members.sange.fi/~atehwa/vc/r+d/guse/fsa/