Изменения

|definition='''Квайном''' (англ. <i>''quine</i>'')<ref name=quineName/> называется программа, которая выводит свой исходный код. При этом, программа не должна использовать внешние данные (например, читать файл со своим исходным кодом)<ref name=quineExists/>.

==Общий принцип написания квайнов==Квайн состоит из двух сегментов: <b>кода</b> и <b>данных</b>. Данные представляют собой текстовую версию кода, и, как правило, получаются из кода простым добавлением обрамляющих кавычек. Код, в свою очередь, сначала использует данные, чтобы вывести код(, содержащийся в них), а затем, просто выводит данные.Чтобы написать простой квайн на C, мы положим в данные текстовое представление кода и при выводе данных будем экранировать знаки табуляции и переносов: <nowiki>const char data [] ="#include <stdio.h>\n\nint\nmain (void)\n{\n unsigned int i;\n\n p""rintf (\"const char data [] =\");\n for ( i=0 ; data[i] ; i++ "")\n {\n if ( i%60 == 0 )\n\tprintf (\"\\n\\\"\");\n switc""h ( data[i] )\n\t{\n\tcase '\\\\':\n\tcase '\"':\n\t printf (\"\\\\%c\", d""ata[i]);\n\t break;\n\tcase '\\n':\n\t printf (\"\\\\n\");\n\t break;\n""\tcase '\\t':\n\t printf (\"\\\\t\");\n\t break;\n\tdefault:\n\t printf"" (\"%c\", data[i]);\n\t}\n if ( i%60 == 59 || !data[i+1] )\n\t""printf (\"\\\"\");\n }\n printf (\";\\n\\n\");\n for ( i=0 ; data[""i] ; i++ )\n putchar (data[i]);\n return 0;\n}\n";

#include <stdioФормально общий принцип написания квайнов содержится в доказательстве [[Теорема о рекурсии|теоремы о рекурсии]]. Далее будет рассмотрено понятие мультиквайна.h>

intmain (void){ unsigned int i;  printf ("const char data [] ="); for ( i=0 ; data[i] ; i++ ) { if ( i%60 Мультиквайны== 0 ) printf ("\n\""); switch ( data[i] ) { case '\\': case '"': printf ("\\%c", data[i]); break; case '\n': printf ("\\n"); break; case '\t': printf ("\\t"); break; default: printf ("%c", data[i]); } if ( i%60 == 59 || !data[i+1] ) printf ("\""); } printf (";\n\n"); for ( i=0 ; data[i] ; i++ ) putchar (data[i]); return 0;}</nowiki> Можно представить сегмент данных как некий шифр, который можно расшифровать двумя способами. В результате расшифровки первым способом получится строковое представление собственно сегмента данных, при расшифровке вторым способом получится строковое представление сегмента кода. Объединив результаты этих расшифровок, мы получим строку, в которой содержится весь исходный код программы. ==Связанные определения=====Интроны===

|definition='''Интроном''' (англ. ''intron'') <ref name=intronName/> называется часть сегмента данных, которая не используется для вывода кода, но сохраняющаяся сохраняется в процессе саморепликации квайна.

|definition='''Би-квайномБиквайном''' (bi-quineангл. ''biquine'') называется программа, которая делает одно из двух:*при обычном запуске она выводит свой исходный код,

Её "брат " делает то же самое: выводит свой код при запуске без аргументов и выводит код оригинальной программы при запуске с переданным спец. специальным аргументом.

|definition='''<tex>R</tex>-квайном''' (англ. <tex>R</tex>-''quine'') называется программа, способная вывести исходный код <tex>R-1</tex> программ на других языках программирования в зависимости от переданного ей аргумента, а так же также свой исходный код при вызове без аргументов.

Заметим, что требование, чтобы программы были на разных языках программирования , важно, т.к. иначе все программы смогут иметь один и тот же код. 

|about=о существовании мульти-квайновмультиквайнов|statement= На любом языке программирования можно написать мульти-квайнмультиквайн.|proof= Докажем утверждение для би-квайна, для биквайна. Для большего количества языков доказательство будет выглядеть аналогично.

Рассмотрим программу с двумя параметрами на языке <tex>L_1</tex>, которая выводит первый параметр при обычном запуске и второй {{- --}} при запуске со спец. аргументом. По [http://neerc.ifmo.ru/wiki/index.php?title=%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_%D0%BE_%D1%80%D0%B5%D0%BA%D1%83%D1%80%D1%81%D0%B8%D0%B8#.D0.A2.D0.B5.D0.BE.D1.80.D0.B5.D0.BC.D0.B0_.D0.BE_.D0.BD.D0.B5.D0.BF.D0.BE.D0.B4.D0.B2.D0.B8.D0.B6.D0.BD.D0.BE.D0.B9_.D1.82.D0.BE.D1.87.D0.BA.D0.B5 [Теорема о рекурсии|теореме о неподвижной точкерекурсии]] мы можем зафиксировать первый параметр и сказать, что он будет равен исходному коду нашей программы. Таким образом, мы получим программу с одним параметром, которая выводит свой код при запуске без аргументов и выводит параметр при запуске со спец. аргументом. Проделаем то же самое для программы на языке <tex>L_2</tex>. И , наконец, зафиксируем как параметр первой исходник программы исходный код второй и наоборот.

Таким образом, следуя нашему ===Принцип написания===Будем следовать доказательствуи напишем мультиквайн для двух языков. Далее покажем, чтобы написать мульти-квайн мы будем использовать интроныкак добавить новый язык. У нас есть * напишем для каждого языка "полуквайн":<table><textr><td>r</texfont size = "2em"> программ, т.е. <tex>rP_1(p,arg)</tex> сегментов кода : '''if''' (arg == "print second!") '''print'''(p) '''else''' '''print'''(getSrc(на каждом языке); кроме того, каждая из ) <tex/font>r</textd><td><font size = "2em"> программ имеет в дополнение к сегменту кода <tex>rP_2(p,arg)</tex> сегментов данных, каждая из которых представляет собой код на определённом языке : '''if''' (arg == "print first!") '''print'''(p) '''else''' '''print'''(getSrc(т.е. )) <tex/font>r-1</textd> интрон + сегмент данных программы). Когда программу <tex/tr>i</textable>* подставим код второй программы в первую:<font size = "2em"> (имеющую сегмент кода под номером <tex>iP_1(p,arg)</tex> на языке : '''if''' (arg == "print second!") '''print'''(<tex>L_iP_2</tex>(p, arg) просят вывести .getSrc()) '''else''' '''print'''(getSrc()) </font>* применим [[Теорема о рекурсии|теорему о рекурсии]] и заменим параметр на исходный код программы : <font size = "2em"> <tex>jP_1(arg)</tex>, она использует один из своих интронов, чтобы вывести сегмент кода программы : '''if''' (arg == "print second!") '''print'''(<tex>jP_2</tex>(getSrc(), а затем использует все интроны и свой сегмент данных для вывода сегмента данных программы <tex>jarg).getSrc()) '''else''' '''print'''(getSrc()) </texfont>Вторая программа может быть получена запуском первой с нужным аргументом.

# * напишем для него "полу-квайнполуквайн", но уже с двумя параметрами и тремя возможными выводами:<font size = "2em"> <tex>P_3(p1,p2,arg)</tex>: '''if''' (arg == "print first!") '''print'''(p1) '''elseif''' (arg == "print second!") '''print'''(p2) '''else''' '''print'''(getSrc()) </font>* добавим параметр в два уже существующих квайна: <table><tr><td><font size = "2em"> <tex>PP_1(p,arg)</tex>: \left\{ '''if''' (arg == "print second!") \begin{array}{l l} P '''print'''(<tex>P_2</tex>(p,getSrc(), arg).getSrc()) '''elseif''' (arg == "shazamprint third!") \rightarrow '''print'''(p); '''else''' '''print'''(getSrc()) </font></td><td><font size = "2em"> \\<tex>P_2(p,arg)</tex>: P '''if''' (arg == "print first!") '''print'''(<tex>P_1</tex>(p,getSrc(), arg).getSrc()) '''elseif''' (arg == "aprint third!") \rightarrow '''print'''(|P|p); P '''else''' '''print'''(getSrc()) </font></td></tr></table> * подставим код первых двух в третью:<font size = "2em"> <tex>P_3(pp1,p2,nullarg)</tex>: '''if''' (arg == "print first!") \rightarrow '''print'''(<tex>P_1</tex>(p1, arg).getSrc(|P|);) \end{array} '''elseif''' (arg == "print second!") \right '''print'''(<tex>P_2</tex>(p2, arg).getSrc()) '''else''' '''print'''(getSrc()) </texfont>

* применим [[Теорема о рекурсии|теорему о рекурсии]] и заменим оба параметра на исходный код программы:<font size == Источники информации "2em"> <tex>P_3(arg)</tex>: '''if''' (arg =="print first!")* [http: '''print'''(<tex>P_1<//wwwtex>(getSrc(), arg).madore.orggetSrc()) '''elseif''' (arg == "print second!") '''print'''(<tex>P_2</~david/computers/quinetex>(getSrc(), arg).html Madore.org - Quines getSrc(self-replicating programs)]) '''else'''* [http://habrahabr.ru/post/186782/ Хабрахабр - Эстафета из 50 квайнов] '''print'''(getSrc()) * [http://habrahabr.ru</post/188378/ Хабрахабр - Мультиязыковые квайны]font>* [http://habrahabrДве оставшиеся программы будут выглядеть аналогично и смогут быть получены путём запуска третьей с каждым из возможных аргументов.ru/post/128191/ Хабрахабр - Как писать квайны]

<ref name=quineExistsintronName>Из [http://neerc.ifmo.ru/wiki/index.php?title=%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_%D0%BE_%D1%80%D0%B5%D0%BA%D1%83%D1%80%D1%81%D0%B8%D0%B8#.D0.A2.D0.B5.D0.BE.D1.80.D0.B5.D0.BC.D0.B0_.D0.BE_.D1.80.D0.B5.D0.BA.D1.83.D1.80.D1.81.D0.B8.D0.B8 теоремы Клини о рекурсии] очевидно следуетНазвание пришло из биологии, что квайн можно написать на любом Тьюринг-полном языкегде интронами называются части ДНК, не участвующие в синтезе протеинов.</ref>