Self-Similar Sierpinski Fractals
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
6.5 the Recursion Theorem
6.5. THE RECURSION THEOREM 417 6.5 The Recursion Theorem The recursion Theorem, due to Kleene, is a fundamental result in recursion theory. Theorem 6.5.1 (Recursion Theorem, Version 1 )Letϕ0,ϕ1,... be any ac- ceptable indexing of the partial recursive functions. For every total recursive function f, there is some n such that ϕn = ϕf(n). The recursion Theorem can be strengthened as follows. Theorem 6.5.2 (Recursion Theorem, Version 2 )Letϕ0,ϕ1,... be any ac- ceptable indexing of the partial recursive functions. There is a total recursive function h such that for all x ∈ N,ifϕx is total, then ϕϕx(h(x)) = ϕh(x). 418 CHAPTER 6. ELEMENTARY RECURSIVE FUNCTION THEORY A third version of the recursion Theorem is given below. Theorem 6.5.3 (Recursion Theorem, Version 3 ) For all n ≥ 1, there is a total recursive function h of n +1 arguments, such that for all x ∈ N,ifϕx is a total recursive function of n +1arguments, then ϕϕx(h(x,x1,...,xn),x1,...,xn) = ϕh(x,x1,...,xn), for all x1,...,xn ∈ N. As a first application of the recursion theorem, we can show that there is an index n such that ϕn is the constant function with output n. Loosely speaking, ϕn prints its own name. Let f be the recursive function such that f(x, y)=x for all x, y ∈ N. 6.5. THE RECURSION THEOREM 419 By the s-m-n Theorem, there is a recursive function g such that ϕg(x)(y)=f(x, y)=x for all x, y ∈ N. -
April 22 7.1 Recursion Theorem
CSE 431 Theory of Computation Spring 2014 Lecture 7: April 22 Lecturer: James R. Lee Scribe: Eric Lei Disclaimer: These notes have not been subjected to the usual scrutiny reserved for formal publications. They may be distributed outside this class only with the permission of the Instructor. An interesting question about Turing machines is whether they can reproduce themselves. A Turing machine cannot be be defined in terms of itself, but can it still somehow print its own source code? The answer to this question is yes, as we will see in the recursion theorem. Afterward we will see some applications of this result. 7.1 Recursion Theorem Our end goal is to have a Turing machine that prints its own source code and operates on it. Last lecture we proved the existence of a Turing machine called SELF that ignores its input and prints its source code. We construct a similar proof for the recursion theorem. We will also need the following lemma proved last lecture. ∗ ∗ Lemma 7.1 There exists a computable function q :Σ ! Σ such that q(w) = hPwi, where Pw is a Turing machine that prints w and hats. Theorem 7.2 (Recursion theorem) Let T be a Turing machine that computes a function t :Σ∗ × Σ∗ ! Σ∗. There exists a Turing machine R that computes a function r :Σ∗ ! Σ∗, where for every w, r(w) = t(hRi; w): The theorem says that for an arbitrary computable function t, there is a Turing machine R that computes t on hRi and some input. Proof: We construct a Turing Machine R in three parts, A, B, and T , where T is given by the statement of the theorem. -
The Logic of Recursive Equations Author(S): A
The Logic of Recursive Equations Author(s): A. J. C. Hurkens, Monica McArthur, Yiannis N. Moschovakis, Lawrence S. Moss, Glen T. Whitney Source: The Journal of Symbolic Logic, Vol. 63, No. 2 (Jun., 1998), pp. 451-478 Published by: Association for Symbolic Logic Stable URL: http://www.jstor.org/stable/2586843 . Accessed: 19/09/2011 22:53 Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact [email protected]. Association for Symbolic Logic is collaborating with JSTOR to digitize, preserve and extend access to The Journal of Symbolic Logic. http://www.jstor.org THE JOURNAL OF SYMBOLIC LOGIC Volume 63, Number 2, June 1998 THE LOGIC OF RECURSIVE EQUATIONS A. J. C. HURKENS, MONICA McARTHUR, YIANNIS N. MOSCHOVAKIS, LAWRENCE S. MOSS, AND GLEN T. WHITNEY Abstract. We study logical systems for reasoning about equations involving recursive definitions. In particular, we are interested in "propositional" fragments of the functional language of recursion FLR [18, 17], i.e., without the value passing or abstraction allowed in FLR. The 'pure," propositional fragment FLRo turns out to coincide with the iteration theories of [1]. Our main focus here concerns the sharp contrast between the simple class of valid identities and the very complex consequence relation over several natural classes of models. -
Review On: Fractal Antenna Design Geometries and Its Applications
www.ijecs.in International Journal Of Engineering And Computer Science ISSN:2319-7242 Volume - 3 Issue -9 September, 2014 Page No. 8270-8275 Review On: Fractal Antenna Design Geometries and Its Applications Ankita Tiwari1, Dr. Munish Rattan2, Isha Gupta3 1GNDEC University, Department of Electronics and Communication Engineering, Gill Road, Ludhiana 141001, India [email protected] 2GNDEC University, Department of Electronics and Communication Engineering, Gill Road, Ludhiana 141001, India [email protected] 3GNDEC University, Department of Electronics and Communication Engineering, Gill Road, Ludhiana 141001, India [email protected] Abstract: In this review paper, we provide a comprehensive review of developments in the field of fractal antenna engineering. First we give brief introduction about fractal antennas and then proceed with its design geometries along with its applications in different fields. It will be shown how to quantify the space filling abilities of fractal geometries, and how this correlates with miniaturization of fractal antennas. Keywords – Fractals, self -similar, space filling, multiband 1. Introduction Modern telecommunication systems require antennas with irrespective of various extremely irregular curves or shapes wider bandwidths and smaller dimensions as compared to the that repeat themselves at any scale on which they are conventional antennas. This was beginning of antenna research examined. in various directions; use of fractal shaped antenna elements was one of them. Some of these geometries have been The term “Fractal” means linguistically “broken” or particularly useful in reducing the size of the antenna, while “fractured” from the Latin “fractus.” The term was coined by others exhibit multi-band characteristics. Several antenna Benoit Mandelbrot, a French mathematician about 20 years configurations based on fractal geometries have been reported ago in his book “The fractal geometry of Nature” [5]. -
Spatial Accessibility to Amenities in Fractal and Non Fractal Urban Patterns Cécile Tannier, Gilles Vuidel, Hélène Houot, Pierre Frankhauser
Spatial accessibility to amenities in fractal and non fractal urban patterns Cécile Tannier, Gilles Vuidel, Hélène Houot, Pierre Frankhauser To cite this version: Cécile Tannier, Gilles Vuidel, Hélène Houot, Pierre Frankhauser. Spatial accessibility to amenities in fractal and non fractal urban patterns. Environment and Planning B: Planning and Design, SAGE Publications, 2012, 39 (5), pp.801-819. 10.1068/b37132. hal-00804263 HAL Id: hal-00804263 https://hal.archives-ouvertes.fr/hal-00804263 Submitted on 14 Jun 2021 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. TANNIER C., VUIDEL G., HOUOT H., FRANKHAUSER P. (2012), Spatial accessibility to amenities in fractal and non fractal urban patterns, Environment and Planning B: Planning and Design, vol. 39, n°5, pp. 801-819. EPB 137-132: Spatial accessibility to amenities in fractal and non fractal urban patterns Cécile TANNIER* ([email protected]) - corresponding author Gilles VUIDEL* ([email protected]) Hélène HOUOT* ([email protected]) Pierre FRANKHAUSER* ([email protected]) * ThéMA, CNRS - University of Franche-Comté 32 rue Mégevand F-25 030 Besançon Cedex, France Tel: +33 381 66 54 81 Fax: +33 381 66 53 55 1 Spatial accessibility to amenities in fractal and non fractal urban patterns Abstract One of the challenges of urban planning and design is to come up with an optimal urban form that meets all of the environmental, social and economic expectations of sustainable urban development. -
Fractal Curves and Complexity
Perception & Psychophysics 1987, 42 (4), 365-370 Fractal curves and complexity JAMES E. CUTI'ING and JEFFREY J. GARVIN Cornell University, Ithaca, New York Fractal curves were generated on square initiators and rated in terms of complexity by eight viewers. The stimuli differed in fractional dimension, recursion, and number of segments in their generators. Across six stimulus sets, recursion accounted for most of the variance in complexity judgments, but among stimuli with the most recursive depth, fractal dimension was a respect able predictor. Six variables from previous psychophysical literature known to effect complexity judgments were compared with these fractal variables: symmetry, moments of spatial distribu tion, angular variance, number of sides, P2/A, and Leeuwenberg codes. The latter three provided reliable predictive value and were highly correlated with recursive depth, fractal dimension, and number of segments in the generator, respectively. Thus, the measures from the previous litera ture and those of fractal parameters provide equal predictive value in judgments of these stimuli. Fractals are mathematicalobjectsthat have recently cap determine the fractional dimension by dividing the loga tured the imaginations of artists, computer graphics en rithm of the number of unit lengths in the generator by gineers, and psychologists. Synthesized and popularized the logarithm of the number of unit lengths across the ini by Mandelbrot (1977, 1983), with ever-widening appeal tiator. Since there are five segments in this generator and (e.g., Peitgen & Richter, 1986), fractals have many curi three unit lengths across the initiator, the fractionaldimen ous and fascinating properties. Consider four. sion is log(5)/log(3), or about 1.47. -
I Want to Start My Story in Germany, in 1877, with a Mathematician Named Georg Cantor
LISTENING - Ron Eglash is talking about his project http://www.ted.com/talks/ 1) Do you understand these words? iteration mission scale altar mound recursion crinkle 2) Listen and answer the questions. 1. What did Georg Cantor discover? What were the consequences for him? 2. What did von Koch do? 3. What did Benoit Mandelbrot realize? 4. Why should we look at our hand? 5. What did Ron get a scholarship for? 6. In what situation did Ron use the phrase “I am a mathematician and I would like to stand on your roof.” ? 7. What is special about the royal palace? 8. What do the rings in a village in southern Zambia represent? 3)Listen for the second time and decide whether the statements are true or false. 1. Cantor realized that he had a set whose number of elements was equal to infinity. 2. When he was released from a hospital, he lost his faith in God. 3. We can use whatever seed shape we like to start with. 4. Mathematicians of the 19th century did not understand the concept of iteration and infinity. 5. Ron mentions lungs, kidney, ferns, and acacia trees to demonstrate fractals in nature. 6. The chief was very surprised when Ron wanted to see his village. 7. Termites do not create conscious fractals when building their mounds. 8. The tiny village inside the larger village is for very old people. I want to start my story in Germany, in 1877, with a mathematician named Georg Cantor. And Cantor decided he was going to take a line and erase the middle third of the line, and take those two resulting lines and bring them back into the same process, a recursive process. -
Fractals and the Chaos Game
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln MAT Exam Expository Papers Math in the Middle Institute Partnership 7-2006 Fractals and the Chaos Game Stacie Lefler University of Nebraska-Lincoln Follow this and additional works at: https://digitalcommons.unl.edu/mathmidexppap Part of the Science and Mathematics Education Commons Lefler, Stacie, "Fractals and the Chaos Game" (2006). MAT Exam Expository Papers. 24. https://digitalcommons.unl.edu/mathmidexppap/24 This Article is brought to you for free and open access by the Math in the Middle Institute Partnership at DigitalCommons@University of Nebraska - Lincoln. It has been accepted for inclusion in MAT Exam Expository Papers by an authorized administrator of DigitalCommons@University of Nebraska - Lincoln. Fractals and the Chaos Game Expository Paper Stacie Lefler In partial fulfillment of the requirements for the Master of Arts in Teaching with a Specialization in the Teaching of Middle Level Mathematics in the Department of Mathematics. David Fowler, Advisor July 2006 Lefler – MAT Expository Paper - 1 1 Fractals and the Chaos Game A. Fractal History The idea of fractals is relatively new, but their roots date back to 19 th century mathematics. A fractal is a mathematically generated pattern that is reproducible at any magnification or reduction and the reproduction looks just like the original, or at least has a similar structure. Georg Cantor (1845-1918) founded set theory and introduced the concept of infinite numbers with his discovery of cardinal numbers. He gave examples of subsets of the real line with unusual properties. These Cantor sets are now recognized as fractals, with the most famous being the Cantor Square . -
Strictly Self-Similar Fractals Composed of Star-Polygons That Are Attractors of Iterated Function Systems
Strictly self-similar fractals composed of star-polygons that are attractors of Iterated Function Systems. Vassil Tzanov February 6, 2015 Abstract In this paper are investigated strictly self-similar fractals that are composed of an infinite number of regular star-polygons, also known as Sierpinski n-gons, n-flakes or polyflakes. Construction scheme for Sierpinsky n-gon and n-flake is presented where the dimensions of the Sierpinsky -gon and the -flake are computed to be 1 and 2, respectively. These fractals are put1 in a general context1 and Iterated Function Systems are applied for the visualisation of the geometric iterations of the initial polygons, as well as the visualisation of sets of points that lie on the attractors of the IFS generated by random walks. Moreover, it is shown that well known fractals represent isolated cases of the presented generalisation. The IFS programming code is given, hence it can be used for further investigations. arXiv:1502.01384v1 [math.DS] 4 Feb 2015 1 1 Introduction - the Cantor set and regular star-polygonal attractors A classic example of a strictly self-similar fractal that can be constructed by Iterated Function System is the Cantor Set [1]. Let us have the interval E = [ 1; 1] and the contracting maps − k k 1 S1;S2 : R R, S1(x) = x=3 2=3, S2 = x=3 + 2=3, where x E. Also S : S(S − (E)) = k 0 ! − 2 S (E), S (E) = E, where S(E) = S1(E) S2(E). Thus if we iterate the map S infinitely many times this will result in the well known Cantor[ Set; see figure 1. -
Lab 8: Recursion and Fractals
Lab 8: Recursion and Fractals In this lab you’ll get practice creating fractals with recursion. You will create a class that has will draw (at least) two types of fractals. Once completed, submit your .java file via Moodle. To make grading easier, please set up your class so that both fractals are drawn automatically when the constructor is executed. Create a Sierpinski triangle Step 1: In your class’s constructor, ask the user how large a canvas s/he wants. Step 2: Write a method drawTriangle that draws a triangle on the screen. This method will take the x,y coordinates of three points as well as the color of the triangle. For now, start with Step 3: In a method createSierpinski, determine the largest triangle that can fit on the canvas (given the canvas’s dimensions supplied by the user). Step 4: Create a method findMiddlePoints. This is the recursive method. It will take three sets of x,y coordinates for the outer triangle. (The first time the method is called, it will be called with the coordinates determined by the createSierpinski method.) The base case of the method will be determined by the minimum size triangle that can be displayed. The recursive case will be to calculate the three midpoints, defined by the three inputs. Then, by using the six coordinates (3 passed in and 3 calculated), the method will recur on the three interior triangles. Once these recursive calls have finished, use drawTriangle to draw the triangle defined by the three original inputs to the method. -
Abstract Recursion and Intrinsic Complexity
ABSTRACT RECURSION AND INTRINSIC COMPLEXITY Yiannis N. Moschovakis Department of Mathematics University of California, Los Angeles [email protected] October 2018 iv Abstract recursion and intrinsic complexity was first published by Cambridge University Press as Volume 48 in the Lecture Notes in Logic, c Association for Symbolic Logic, 2019. The Cambridge University Press catalog entry for the work can be found at https://www.cambridge.org/us/academic/subjects/mathematics /logic-categories-and-sets /abstract-recursion-and-intrinsic-complexity. The published version can be purchased through Cambridge University Press and other standard distribution channels. This copy is made available for personal use only and must not be sold or redistributed. This final prepublication draft of ARIC was compiled on November 30, 2018, 22:50 CONTENTS Introduction ................................................... .... 1 Chapter 1. Preliminaries .......................................... 7 1A.Standardnotations................................ ............. 7 Partial functions, 9. Monotone and continuous functionals, 10. Trees, 12. Problems, 14. 1B. Continuous, call-by-value recursion . ..................... 15 The where -notation for mutual recursion, 17. Recursion rules, 17. Problems, 19. 1C.Somebasicalgorithms............................. .................... 21 The merge-sort algorithm, 21. The Euclidean algorithm, 23. The binary (Stein) algorithm, 24. Horner’s rule, 25. Problems, 25. 1D.Partialstructures............................... ...................... -
Bachelorarbeit Im Studiengang Audiovisuelle Medien Die
Bachelorarbeit im Studiengang Audiovisuelle Medien Die Nutzbarkeit von Fraktalen in VFX Produktionen vorgelegt von Denise Hauck an der Hochschule der Medien Stuttgart am 29.03.2019 zur Erlangung des akademischen Grades eines Bachelor of Engineering Erst-Prüferin: Prof. Katja Schmid Zweit-Prüfer: Prof. Jan Adamczyk Eidesstattliche Erklärung Name: Vorname: Hauck Denise Matrikel-Nr.: 30394 Studiengang: Audiovisuelle Medien Hiermit versichere ich, Denise Hauck, ehrenwörtlich, dass ich die vorliegende Bachelorarbeit mit dem Titel: „Die Nutzbarkeit von Fraktalen in VFX Produktionen“ selbstständig und ohne fremde Hilfe verfasst und keine anderen als die angegebenen Hilfsmittel benutzt habe. Die Stellen der Arbeit, die dem Wortlaut oder dem Sinn nach anderen Werken entnommen wurden, sind in jedem Fall unter Angabe der Quelle kenntlich gemacht. Die Arbeit ist noch nicht veröffentlicht oder in anderer Form als Prüfungsleistung vorgelegt worden. Ich habe die Bedeutung der ehrenwörtlichen Versicherung und die prüfungsrechtlichen Folgen (§26 Abs. 2 Bachelor-SPO (6 Semester), § 24 Abs. 2 Bachelor-SPO (7 Semester), § 23 Abs. 2 Master-SPO (3 Semester) bzw. § 19 Abs. 2 Master-SPO (4 Semester und berufsbegleitend) der HdM) einer unrichtigen oder unvollständigen ehrenwörtlichen Versicherung zur Kenntnis genommen. Stuttgart, den 29.03.2019 2 Kurzfassung Das Ziel dieser Bachelorarbeit ist es, ein Verständnis für die Generierung und Verwendung von Fraktalen in VFX Produktionen, zu vermitteln. Dabei bildet der Einblick in die Arten und Entstehung der Fraktale