(toiminnot)

hwechtla-tl: Zendo-bot

Kierre.png

Mikä on WikiWiki?
nettipäiväkirja
koko wiki (etsi)
viime muutokset


(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:

  1. keksiä sääntöjä (mutta näitä voisivat tietysti myös pelaajat ehdottaa botille privassa). Tämä on vaikea juttu, sillä hyvän Zendo-säännön pointtina on tyypillisesti mielikuvitus.
  2. tarkistaa, ovatko ehdotetut merkkijonot säännön mukaisia (helppo)
  3. muodostaa säännönmukaisia ja säännönvastaisia merkkijonoja ensimmäisiksi esimerkeiksi
  4. tuottaa kahdesta säännöstä merkkijonoja, jotka ovat toisen säännön mukaisia mutta toisen vastaisia (eli ehdotettujen sääntöjen vastaesimerkkejä)
  5. jotenkin valita, minkälaiset merkkijonot ovat hyviä ensimmäisiä esimerkkejä ja vastaesimerkkejä säännöstä (mielenkiintoinen)

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/


kommentoi (viimeksi muutettu 02.02.2017 11:26)