693
правки
Изменения
Нет описания правки
{{Определение
|definition='''Квайном''' (англ. ''quine'')<ref name=quineName/> называется программа, которая выводит свой исходный код. При этом, программа не должна использовать внешние данные (например, читать файл со своим исходным кодом).
}}
Стоит отметить, что программы, использующие для чтения своего кода файловую систему, квайнами не считаются. Например, программа на BASIC вида
10 LIST
</font></code>выводит на экран свой исходный код, поскольку команда <tex>\mathtt{LIST}</tex> просит среду исполнения вывести в консоль текущую программу (эта функция была необходима для программистов, т.к. так как код программы зачастую не мог поместиться на консоль 80x25 символов).
Квайн состоит из двух сегментов: <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>, которая выводит первый параметр при обычном запуске и второй {{--- }} при запуске со спец. аргументом. По [[Теорема о рекурсии|теореме о рекурсии]] мы можем зафиксировать первый параметр и сказать, что он будет равен исходному коду нашей программы. Таким образом, мы получим программу с одним параметром, которая выводит свой код при запуске без аргументов и выводит параметр при запуске со спец. аргументом. Проделаем то же самое для программы на языке <tex>L_2</tex>. И , наконец, зафиксируем как параметр первой программы исходный код второй и наоборот. }} ===Связанные определения==={{Определение|definition='''Интроном''' (англ. ''intron'')<ref name=intronName/> называется часть сегмента данных, которая не используется для вывода кода, но сохраняющаяся в процессе саморепликации квайна.
}}
===Принцип написания===
Будем следовать доказательству и напишем мульти-квайн мультиквайн для двух языков. Далее покажем, как добавить новый язык.* напишем для каждого языка "полу-квайнполуквайн":
<table>
<tr>
<td><code><font size = "2em">
<tex>P_1(p,arg)</tex>:
'''if''' (arg == "print second!")
'''else'''
'''print'''(getSrc())
</font></code></td><td><code><font size = "2em">
<tex>P_2(p,arg)</tex>:
'''if''' (arg == "print first!")
'''else'''
'''print'''(getSrc())
</font></code></td>
</tr>
</table>
* подставим код второй программы в первую:
<tex>P_1(p,arg)</tex>:
'''if''' (arg == "print second!")
'''print'''(<tex>P_2</tex>(p,arg).getSrc())
'''else'''
'''print'''(getSrc())
</font></code>
* применим [[Теорема о рекурсии|теорему о рекурсии]] и заменим параметр на исходный код программы:
<tex>P_1(arg)</tex>:
'''if''' (arg == "print second!")
'''print'''(<tex>P_2</tex>(getSrc(),arg).getSrc())
'''else'''
'''print'''(getSrc())
</font></code>Вторая программа может быть получена запуском первой с нужным аргументом.
Теперь добавим третий язык:
* напишем для него "полу-квайнполуквайн", но уже с двумя параметрами и тремя возможными выводами:<code><font size = "2em">
<tex>P_3(p1,p2,arg)</tex>:
'''if''' (arg == "print first!")
'''else'''
'''print'''(getSrc())
</font></code>
* добавим параметр в два уже существующих квайна:
<table>
<tr>
<td><code><font size = "2em">
<tex>P_1(p,arg)</tex>:
'''if''' (arg == "print second!")
'''print'''(<tex>P_2</tex>(p,getSrc(),arg).getSrc())
'''elseif''' (arg == "print third!")
'''print'''(p)
'''else'''
'''print'''(getSrc())
</font></code></td><td><code><font size = "2em">
<tex>P_2(p,arg)</tex>:
'''if''' (arg == "print first!")
'''print'''(<tex>P_1</tex>(p,getSrc(),arg).getSrc())
'''elseif''' (arg == "print third!")
'''print'''(p)
'''else'''
'''print'''(getSrc())
</font></code></td>
</tr>
</table>
* подставим код первых двух в третью:
<tex>P_3(p1,p2,arg)</tex>:
'''if''' (arg == "print first!")
'''print'''(<tex>P_1</tex>(p1,arg).getSrc())
'''elseif''' (arg == "print second!")
'''print'''(<tex>P_2</tex>(p2,arg).getSrc())
'''else'''
'''print'''(getSrc())
</font></code>
* применим [[Теорема о рекурсии|теорему о рекурсии]] и заменим оба параметра на исходный код программы:<code><font size = "2em">
<tex>P_3(arg)</tex>:
'''if''' (arg == "print first!")
'''print'''(<tex>P_1</tex>(getSrc(),arg).getSrc())
'''elseif''' (arg == "print second!")
'''print'''(<tex>P_2</tex>(getSrc(),arg).getSrc())
'''else'''
'''print'''(getSrc())
</font></code>Две оставшиеся программы будут выглядеть аналогично, и смогут быть получены путём запуска третьей с каждым из возможных аргументов.
== Примечания ==
