This HTML5 document contains 65 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbpedia-kohttp://ko.dbpedia.org/resource/
n12http://commons.dbpedia.org/resource/Category:
n10http://g.co/kg/m/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbpedia-ukhttp://uk.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-plhttp://pl.dbpedia.org/resource/
n19http://www.dmtcs.org/pdfpapers/
n5http://fr.dbpedia.org/resource/Modèle:
n21http://fr.dbpedia.org/resource/Fichier:
wikipedia-frhttp://fr.wikipedia.org/wiki/
n16http://commons.wikimedia.org/wiki/Special:FilePath/
n25http://fr.dbpedia.org/resource/Modèle:Traduction/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n18http://mathworld.wolfram.com/
owlhttp://www.w3.org/2002/07/owl#
n20http://ma-graph.org/entity/
n23https://commons.wikimedia.org/wiki/Category:
dbpedia-ithttp://it.dbpedia.org/resource/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:FRACTRAN
rdfs:label
FRACTRAN FRACTRAN FRACTRAN FRACTRAN FRACTRAN FRACTRAN
rdfs:comment
FRACTRAN est un langage de programmation exotique et Turing-complet s'appliquant à des entiers naturels. Il a été inventé par le mathématicien John Conway qui en publie une description en 1987. Un programme FRACTRAN est constitué par une liste ordonnée de fractions, et un nombre entier de départ. Le programme produit une suite d'entiers , définie par la procédure suivante :
rdfs:seeAlso
n18:FRACTRAN.html n23:Fractran_(programming_language)
owl:sameAs
n10:03c4bw5 n12:Fractran_(programming_language) dbpedia-ru:FRACTRAN dbpedia-it:FRACTRAN dbpedia-uk:FRACTRAN n20:2781429375 dbpedia-pl:FRACTRAN dbpedia-de:FRACTRAN wikidata:Q3063395 dbr:FRACTRAN dbpedia-ko:FRACTRAN
dbo:wikiPageID
5058556
dbo:wikiPageRevisionID
190897046
dbo:wikiPageWikiLink
dbpedia-fr:Liste_de_nombres_premiers dbpedia-fr:Fraction_(mathématiques) category-fr:Langage_de_programmation_exotique dbpedia-fr:Entier_naturel dbpedia-fr:Conjecture_de_Syracuse dbpedia-fr:État_(informatique) dbpedia-fr:Nombre_premier dbpedia-fr:Fonction_partielle_récursive dbpedia-fr:Suite_de_Fibonacci dbpedia-fr:Valuation n21:FRACTRANFibo2.svg n21:FRACTRANmult0.gif category-fr:John_Horton_Conway dbpedia-fr:Division_euclidienne dbpedia-fr:Langage_de_programmation_exotique dbpedia-fr:Codage_de_Gödel dbpedia-fr:Turing-complet dbpedia-fr:Liste_(informatique) dbpedia-fr:John_Horton_Conway dbpedia-fr:Théorème_fondamental_de_l'arithmétique
dbo:wikiPageExternalLink
n19:dm050103.pdf
dbo:wikiPageLength
27813
dct:subject
category-fr:John_Horton_Conway category-fr:Langage_de_programmation_exotique
prop-fr:wikiPageUsesTemplate
n5:, n5:Portail n5:Boîte_déroulante n5:Ébauche n5:Date- n5:1re n5:Langue n5:Citation n5:Éd. n25:Référence
prov:wasDerivedFrom
wikipedia-fr:FRACTRAN?oldid=190897046&ns=0
foaf:depiction
n16:FRACTRANFibo2.svg n16:FRACTRANmult0.gif
prop-fr:contenu
En effet : * pour , la fraction transforme en , puis les fractions et transforment itérativement ce dernier en . Dans le cas où , on arrive directement à grâce au 7 final de la liste ; * La fraction transforme alors en , puis les fractions et le transforment itérativement en ; * La fraction le transforme en , puis les fractions et le transforment en ; * Enfin, la fraction supprime le facteur 19. * Partant de , les fractions et le transforme en pour les valeurs croissantes de k jusqu'à arriver à si N est pair égal à 2p, ou bien si N est impair égal à 2p+1. * Dans le premier cas, le terme final 7 transforme en , puis les fractions et le transforment itérativement en . La fraction supprime ensuite le 7 superflu. On est alors passé de à . * Dans le deuxième cas, la fraction transforme en , puis les fractions et le transforment itérativement en . La dernière fraction le transforme enfin en qui n'est autre que . Ainsi, l'exposant N a été modifié en N/2 si N est pair et /2 si N est impair, ce qui est le principe de la suite de Syracuse.
prop-fr:titre
Démonstration
dbo:thumbnail
n16:FRACTRANmult0.gif?width=300
foaf:isPrimaryTopicOf
wikipedia-fr:FRACTRAN
dbo:abstract
FRACTRAN est un langage de programmation exotique et Turing-complet s'appliquant à des entiers naturels. Il a été inventé par le mathématicien John Conway qui en publie une description en 1987. Un programme FRACTRAN est constitué par une liste ordonnée de fractions, et un nombre entier de départ. Le programme produit une suite d'entiers , définie par la procédure suivante : 1. * Initialiser l'examen avec la première fraction de la liste ; 2. * Si la multiplication donne un entier, cet entier sera (par définition) (et réinitialiser l'examen en 1 pour trouver son successeur) ; 3. * Sinon, si la liste des fractions n'est pas épuisée, poursuivre l'examen avec la fraction suivante (et reprendre l'examen en 2) ; 4. * Sinon la procédure s'arrête (et la suite résultat est alors finie).