OnlineWoerterBuecher.de - Lexikon, Free On-line Dictionary of Computing



	OnlineWoerterBuecher.de

Navigation

Start

Deutsch-Englisch

Deutsch-Spanisch

Enzyklopädie

Internes

Impressum

Kontakt

Lexikon

quine

/kwi:n/ (After the logician Willard V. Quine, via Douglas hofstadter) A program that generates a copy of its own source text as its complete output. Devising the shortest possible quine in some given programming language is a common hackish amusement. In most interpreted languages, any constant, e.g. 42, is a quine because it "evaluates to itself". In certain href="module.php?name=Lexikon&file=search&eid=1&query=Lisp">Lisp dialects (e.g. href="module.php?name=Lexikon&file=search&eid=1&query=Emacs Lisp">Emacs Lisp), the symbols "nil" and "t" are "self-quoting", i.e. they are both a symbol and also the value of that symbol. In some dialects, the function-forming function symbol, "lambda" is self-quoting so that, when applied to some arguments, it returns itself applied to those arguments. here is a quine in href="module.php?name=Lexikon&file=search&eid=1&query=Lisp">Lisp using this idea: ((lambda (x) (list x x)) (lambda (x) (list x x))) Compare this to the href="module.php?name=Lexikon&file=search&eid=1&query=lambda expression">lambda expression: ( x . x x) ( x . x x) which reproduces itself after one step of href="module.php?name=Lexikon&file=search&eid=1&query=beta reduction">beta reduction. This is simply the result of applying the href="module.php?name=Lexikon&file=search&eid=1&query=combinator">combinator href="module.php?name=Lexikon&file=search&eid=1&query=fix">fix to the href="module.php?name=Lexikon&file=search&eid=1&query=identity function">identity function. In fact any quine can be considered as a href="module.php?name=Lexikon&file=search&eid=1&query=fixed point">fixed point of the language' s evaluation mechanism. We can write this in href="module.php?name=Lexikon&file=search&eid=1&query=Lisp">Lisp: ((lambda (x) (funcall x x)) (lambda (x) (funcall x x))) where "funcall" applies its first argument to the rest of its arguments, but evaluation of this expression will never terminate so it cannot be called a quine. here is a more complex version of the above Lisp quine, which will work in Scheme and other Lisps where "lambda" is not self-quoting: ((lambda (x) (list x (list (quote quote) x))) (quote (lambda (x) (list x (list (quote quote) x))))) It' s relatively easy to write quines in other languages such as href="module.php?name=Lexikon&file=search&eid=1&query=PostScript">PostScript which readily handle programs as data much harder (and thus more challenging!) in languages like href="module.php?name=Lexikon&file=search&eid=1&query=C">C which do not. here is a classic href="module.php?name=Lexikon&file=search&eid=1&query=C">C quine for href="module.php?name=Lexikon&file=search&eid=1&query=ASCII">ASCII machines: char*f="char*f=%c%s%c main() href="f,34,f,34,10">printf%c" main()href="f,34,f,34,10">printf For excruciatingly exact quinishness, remove the interior line break. Some infamous href="module.php?name=Lexikon&file=search&eid=1&query=Obfuscated C Contest">Obfuscated C Contest entries have been quines that reproduced in exotic ways. href="module.php?name=Lexikon&file=search&eid=1&query=Ken Thompson">Ken Thompson' s href="module.php?name=Lexikon&file=search&eid=1&query=back door">back door involved an interesting variant of a quine - a compiler which reproduced part of itself when compiling (a version of) itself. [href="module.php?name=Lexikon&file=search&eid=1&query=Jargon File">Jargon File] (1995-04-25)

[ Go Back ]

Free On-line Dictionary of Computing

	All logos and trademarks in this site are property of their respective owner. Page Generation in 0.1064 Seconds, with 17 Database-Queries