Изменения

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

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

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

# * напишем для него "полу-квайн", но уже с двумя параметрами и тремя возможными выводами:<code><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></code># * добавим третье условие в два уже существующих квайна: <table><tr><td><center><tex>PP_1(p,arg): </tex></center></td><td><center><tex>P_2(p,arg)</tex></center></td></tr>\left\{<tr> \begin{array}{l l}<td><code><font size = "2em"> P if (p,arg == "shazamprint second!") \rightarrow print(intronp2_intron); \\elseif (arg == "print third!") P print(p,) else print(getSrc())</font></code></td><td><code><font size = "2em"> if (arg == "cadabraprint first!") \rightarrow print(pp1_intron) elseif (arg == "print third!"); \\ P print(p,null) \rightarrow else print(P.getSrc()); \end{array}</font></code></td> \right.</tr></textable># * подставим код первых двух интронами в третью, а код третьей - вторым интроном в каждую из двух первых: <table><tr><td><center><tex>P_1(arg)</tex></center></td><td><center><tex>P_2(arg)</tex></center></td><td><center><tex>P_3(arg)</tex>P</center></td></tr><tr><td><code><font size = "2em"> if (arg == "print second!") print(p2_intron) elseif (arg== "print third!") print(p3_intron) else print(getSrc(): )</font></code></td><td><code><font size = "2em"> \left\{ if (arg == "print first!") \begin{array}{l l} print(p1_intron) P elseif (arg == "shazamprint third!") \rightarrow print(intron1p3_intron); \\else P print(getSrc())</font></code></td><td><code><font size = "2em"> if (arg == "cadabraprint first!") \rightarrow print(intron2p1_intron); \\ P elseif (nullarg == "print second!") print(p2_intron) \rightarrow else print(P.getSrc()); \end{array}</font></code></td> \right.</tr></textable>

* [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; Как писать квайны]