Изменения

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

==Общий принцип написания квайнов==Квайн состоит из двух сегментов: <b>кода</b> и <b>данных</b>. Данные представляют собой текстовую версию кода, и, как правило, получаются из кода простым добавлением обрамляющих кавычек. Код, в свою очередь, сначала использует данные, чтобы вывести код(, содержащийся в них), а затем, просто выводит данные.

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

==ИнтроныМультиквайны=====Связанные определения===

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

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

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

|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><tr><td><font size = "2em"> <tex>PP_1(p,arg)</tex>: \left\{ '''if''' (arg == "print second!") '''print'''(p) \begin{array}{l l} '''else''' P '''print'''(getSrc()) </font></td><td><font size = "2em"> <tex>P_2(p,arg)</tex>: '''if''' (arg == "shazamprint first!") \rightarrow '''print'''(p); \\ P(p,null) \rightarrow '''else''' '''print'''(P.getSrc()); \end{array}</font></td> \right.</tr></textable># добавим * подставим код каждой из программ интроном второй программы в код другойпервую:<font size = "2em"> # модифицируем каждую из программ, чтобы вместо <tex>P_1(p,arg)</tex> она выводила интрон: '''if''' (arg == "print second!") '''print'''(<tex>PP_2</tex>(p, arg).getSrc()) '''else''' '''print'''(getSrc()) </font>* применим [[Теорема о рекурсии|теорему о рекурсии]] и заменим параметр на исходный код программы: \left\{<font size = "2em"> \begin{array}{l l} <tex>P_1(arg)</tex>: P '''if''' (arg == "shazamprint second!") \rightarrow '''print'''(<tex>P_2</tex>(getSrc(intron); \\ P, arg).getSrc(null) \rightarrow ) '''else''' '''print'''(P.getSrc()); \end{array}</font> \rightВторая программа может быть получена запуском первой с нужным аргументом.</tex>

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

* [http://www.madore.org/~david/computers/quine.html Madore.org - &mdash; Quines (self-replicating programs)]* [http://habrahabr.ru/post/186782/ Хабрахабр - &mdash; Эстафета из 50 квайнов]* [http://habrahabr.ru/post/188378/ Хабрахабр - &mdash; Мультиязыковые квайны]* [http://habrahabr.ru/post/128191/ Хабрахабр - &mdash; Как писать квайны]* [http://en.wikipedia.org/wiki/Quine_(computing)#Multiquines Wikipedia &mdash; Multi-quines]