Iota a Jot - Iota and Jot
Paradigmata | Formální jazyk, Turingova plachta, esoterický |
---|---|
Navrhl | Chris Barker |
Vývojář | Chris Barker |
Poprvé se objevil | 2001 |
Konečné vydání | 2001 / 2001 |
Jazyk implementace | Systém, JavaScript |
Plošina | Tlumočník schématu, webový prohlížeč (JavaScript) |
Licence | Veřejná doména |
webová stránka | www |
Ovlivněno | |
Zot |
v formální jazyk teorie a počítačová věda, Jota a Drobek (z řecký jota ι, hebrejština yodh י, nejmenší písmena v těchto dvou abecedách) jsou jazyky, extrémně minimalistické formální systémy, navržený tak, aby byl ještě jednodušší než jiné populárnější alternativy, jako je lambda kalkul a SKI kombinátorový počet. Lze je tedy také považovat za minimalistický počítač programovací jazyky nebo Turingovy plachty, esoterické programovací jazyky navržen tak, aby byl co nejmenší, ale přesto Turing-kompletní. Oba systémy používají pouze dva symboly a zahrnují pouze dvě operace. Oba vytvořil profesor lingvistiky Chris Barker v roce 2001. Zot (2002) je nástupcem Ioty, který podporuje vstup a výstup.[1]
Univerzální jota
Chris Barker je univerzální kombinátor jota ι má zde definovanou velmi jednoduchou strukturu λf.fSK pomocí denotační sémantika z hlediska lambda kalkul,
(1)
Z toho lze obnovit obvyklé SKI výrazy, tím pádem:
(2)
Díky svému minimalismu ovlivnil výzkum týkající se Chaitinova konstanta.[2]
Jota
Iota je LL (1) jazyk, který prefixové objednávky stromy výše uvedených Univerzální jota ι kombinační listy, spotřebováno podle funkční aplikace ε,
jota = "1" | "0" iota iota
takže například 0011011 označuje , zatímco 0101011 označuje .
Drobek
Jot je běžný jazyk skládající se ze všech sekvencí 0 a 1,
drobek = "" | drobek "0" | drobek "1"
Sémantika je dána překladem do výrazů SKI. Prázdný řetězec označuje , označuje ,kde je překlad ,a označuje .
Smyslem případ je, že překlad vyhovuje pro libovolné podmínky SKI a .Například,
Jot je spojen s Iotou tím, že a použitím stejných identit za podmínek SKI pro získání základních kombinátorů a .
Zot
Příkaz jazyků Zot a Positive Zot Jota výpočty, z vstupy na výstupy podle styl předávání pokračování, v syntax připomínající Drobek,
zot = hrnec | ""hrnec = iot | hrnec iotiot = "0" | "1"
kde 1 produkuje pokračování ,a 0 produkuje pokračování ,a wi spotřebuje konečnou vstupní číslici i pokračováním pokračováním w.
Viz také
Reference
- ^ Barker, Chris. "Zot". Esoterické programovací jazyky Webring. Archivovány od originál dne 12. března 2016. Citováno 4. října 2016.
- ^ Stay, Michael (srpen 2005). „Very Simple Chaitin Machines for Concrete AIT“. Fundamenta Informaticae. IOS Press. 68 (3): 231–247. Citováno 20. února 2011.
externí odkazy
- Oficiální webové stránky
- Barker, Chris. „Iota a Jot: nejjednodušší jazyky?“. Esoterické programovací jazyky Webring. Archivovány od originál dne 7. května 2016. Citováno 13. srpna 2004.
- https://esolangs.org/wiki/Iota
- https://esolangs.org/wiki/Jot
- https://esolangs.org/wiki/Zot