Pumppauslemma
Pumppauslemma on keino osoittaa jokin formaali kieli epäsäännölliseksi. Koska kaikki säännölliset kielet ovat tunnistettavissa äärellisillä automaateilla, on kyseisten automaattien pakko sisältää jokin itseään toistava osa. Pumppauslemma perustuu tähän ajatukseen, mutta sillä ei kuitenkaan voida todistaa mitään kieltä säännölliseksi.
- 7 Ages
- 7 Ages on Australian Design Groupin vuonna 2004 julkaisema lautapeli ihmiskunnan historiasta. Peli sisältää 7 aikakautta, joista osa tai kaikki pelataan läpi ohjaillen erilaisia kansoja. Pisteitä saa parhaiten pelaamalla kansoja historian ohjenuoran
- Dos Rios
- Dos Rios on Franz-Benno Delongen suunnittelema ja Mayfair Gamesin julkaisema lautapeli, joka sijoittuu laaksoon, jonka läpi virtaa kaksi jokea - Rio Verde ja Rio Moreno. Joet virtaavat aina alaspäin ja niiden kulkua voi muutella rakentamalla patoja
- Amun-Re
- Amun-Re on Reiner Knizian suunnittelema ja Hans im Glückin sekä Rio Grande Gamesin julkaisema Egyptiin sijoittuva lautapeli. Peliä voi pelata 3-5 pelaajalla, mutta parhaimmillaan se on 5 pelaajalla
- Ricochet Robot
- Ricochet Robot on Alex Randolphin suunnittelema lautapeli, jonka ideana on optimoida robottien reittejä erilaisiin määränpäihin. Peli sisältää 4 eriväristä robottia, 4 osasta koostuvan pelilaudan, pelimerkkejä ja tiimalasin. Ricochet Robot
- CYK-algoritmi
- CYK-algoritmin avulla voidaan selvittää kuuluuko jokin mielivaltainen merkkijono kieleen L. CYK-algoritmi toimii kieliopeille, jotka ovat Chomskyn normaalimuodossa
- Age of Renaissance
- Age of Renaissance on Don Greenwoodin ja Jared Scarboroghin suunnittelema ja Avalon Hillin vuonna 1996 julkaisema 3–6 pelaajan lautapeli. Tyypillisesti peli kestää noin 3–6 tuntia pelaajista riippuen
- San Juan (peli)
- San Juan on Andreas Seyfarthin suunnittelema Puerto Ricoon perustuva korttipeli. Pelissä on tarkoituksena rakentaa San Juanin kaupunkia. Rakennuksia rakentamalla saa kerättyä pisteitä ja useimmilla rakennuksilla on jokin erikoisominaisuus. Lisäksi
- Triviaaliavaruus
- Triviaaliavaruus on vektoriavaruus, jonka kaikki kantavektorit ovat nollia. Kaikki ei-triviaalit vektoriavaruudet sisältävät aina vähintään kaksi aliavaruutta, eli itsensä ja triviaaliavaruuden. Esimerkiksi avaruuden yksi aliavaruus on
- Diplomacy
- Diplomacy on yhdysvaltalaisen Allan B. Calhamerin kehittämä ja Avalon Hillin julkaisema diplomatia- ja strategiapeli, joka ilmestyi ensimmäisen kerran vuonna 1959. Se on yksi tunnetuimmista strategisista lautapeleistä. Muun muassa John F. Kennedy ja
- Lemminkäisen temppeli
- Lemminkäisen temppeli on Bockin perheen saagassa kuvattu maanalainen temppeli, jonka suuaukko sijaitsee saagan mukaan Sipoon Gumbostrandissa Ior Bockin Kyypelivuoreksi kutsuman kallion alla. Bockin mukaan temppelin suuaukko on suljettu vuonna 987, kun