Saya akan berpikir istilah "mini-bahasa" Yegge mengacu pada fakta bahwa sering berguna untuk menggunakan bahasa untuk masalah khusus di mana bahasa tidak memerlukan turing-kelengkapan untuk menyelesaikan tugas, dan ini masuk ke jantung bagaimana non -Turing bahasa lengkap dapat bermanfaat. https://sites.google.com/site/steveyegge2/language-grubbing
Wikipedia menjawab ini dengan sangat baik, sesuai dengan apa yang dikatakan oleh usus saya. Pertama saya berpikir matematika murni, lalu saya ingat regexp, dan Wikipedia mencantumkan Epigram yang saya yakin akan berada di jalur 'matematika murni'.
http://en.wikipedia.org/wiki/Turing_completeness#Non-Turing-complete_languages
Bahasa non-Turing-lengkap
Banyak bahasa komputasi ada yang tidak lengkap Turing. Salah satu contohnya adalah seperangkat bahasa reguler, yang paling umum adalah ekspresi reguler, yang dihasilkan oleh automata terbatas. Perpanjangan yang lebih kuat tetapi masih belum Turing-complete automata terbatas adalah kategori pushdown automata dan tata bahasa bebas konteks, yang umumnya digunakan untuk menghasilkan pohon parse pada tahap awal penyusunan program. Contoh lebih lanjut termasuk beberapa versi awal bahasa pixel shader yang tertanam dalam Direct3D dan ekstensi OpenGL, atau serangkaian rumus matematika dalam spreadsheet tanpa siklus. [Rujukan?] Dalam bahasa pemrograman fungsional total, semua fungsi adalah total, dan harus berakhir, seperti Charity dan Epigram. Amal menggunakan sistem tipe dan kontrol konstruksi berdasarkan teori kategori,
Bahasa data
Gagasan Turing-kelengkapan tidak berlaku untuk bahasa seperti XML, JSON, YAML dan ekspresi-S, karena mereka biasanya digunakan untuk mewakili data terstruktur, tidak menggambarkan perhitungan. Ini kadang-kadang disebut sebagai bahasa markup, atau lebih tepatnya sebagai "bahasa deskripsi data".
Itu juga menyebutkan representasi struktur data bukan bahasa, tapi saya akan berpikir XSLT harus dihitung sebagai representasi komputasi, XPath mungkin tidak didasarkan pada apa yang dikatakan Yannis di atas tentang SQL sebagai bahasa query dan bukan bahasa komputasi. Mungkin T-SQL atau PL / SQL dianggap sebagai bahasa komputasi karena Anda dapat melakukan banyak perhitungan menggunakan agregat mereka, di mana bentuk umum dari SQL mungkin tidak menentukan agregat.