CGT 581 G Procedural Methods L systems



Similar documents
Virtual plants in high school informatics L-systems

L-systems: from the Theory to Visual Models of Plants

MACM 101 Discrete Mathematics I

CS408 Animation Software Design Sample Exam Questions (Second Half)

Scanner. tokens scanner parser IR. source code. errors

Automata Theory. Şubat 2006 Tuğrul Yılmaz Ankara Üniversitesi

Informatique Fondamentale IMA S8

Pushdown automata. Informatics 2A: Lecture 9. Alex Simpson. 3 October, School of Informatics University of Edinburgh als@inf.ed.ac.

Finite Automata. Reading: Chapter 2

Regular Expressions and Automata using Haskell

THEORY of COMPUTATION

Automata and Formal Languages

Algebra Unpacked Content For the new Common Core standards that will be effective in all North Carolina schools in the school year.

Introduction to Automata Theory. Reading: Chapter 1

Computer Science MS Course Descriptions

Honors Class (Foundations of) Informatics. Tom Verhoeff. Department of Mathematics & Computer Science Software Engineering & Technology

Grammars with Regulated Rewriting

Reading 13 : Finite State Automata and Regular Expressions

Generating Functions Count

6.045: Automata, Computability, and Complexity Or, Great Ideas in Theoretical Computer Science Spring, Class 4 Nancy Lynch

The Halting Problem is Undecidable

Language. Johann Eder. Universitat Klagenfurt. Institut fur Informatik. Universiatsstr. 65. A-9020 Klagenfurt / AUSTRIA

CSE 135: Introduction to Theory of Computation Decidability and Recognizability

CHAPTER 7 GENERAL PROOF SYSTEMS

If-Then-Else Problem (a motivating example for LR grammars)

How To Get A Computer Engineering Degree

Finite Automata. Reading: Chapter 2

Web Data Extraction: 1 o Semestre 2007/2008

Formal Languages and Automata Theory - Regular Expressions and Finite Automata -

Comparison of Standard, Integrated and Multimedia Information System (IS) with Solutions

SQL INJECTION ATTACKS By Zelinski Radu, Technical University of Moldova

University of Ostrava. Reasoning in Description Logic with Semantic Tableau Binary Trees

On line construction of suffix trees 1

Regular Languages and Finite Automata

Software Modeling and Verification

Regular Languages and Finite State Machines

Introduction to Finite Automata

T Reactive Systems: Introduction and Finite State Automata

Pushdown Automata. place the input head on the leftmost input symbol. while symbol read = b and pile contains discs advance head remove disc from pile

Compiler Construction

Coding and decoding with convolutional codes. The Viterbi Algor

A first step towards modeling semistructured data in hybrid multimodal logic

Creating Drawings in Pro/ENGINEER

Programming in Access VBA

Computer Architecture Syllabus of Qualifying Examination

Model Based Testing for Security Checking. Wissam Mallouli and Prof. Ana Cavalli National Institute of Telecommunications, France November 21, 2007

Pushdown Automata. International PhD School in Formal Languages and Applications Rovira i Virgili University Tarragona, Spain

Fast nondeterministic recognition of context-free languages using two queues

CSC4510 AUTOMATA 2.1 Finite Automata: Examples and D efinitions Definitions

Unified Language for Network Security Policy Implementation

South East of Process Main Building / 1F. North East of Process Main Building / 1F. At 14:05 April 16, Sample not collected

discuss how to describe points, lines and planes in 3 space.

Process Mining by Measuring Process Block Similarity

Examination paper for MA0301 Elementær diskret matematikk

WORK SCHEDULE: MATHEMATICS 2007

Modelling and Verification of Business Processes

Using Parametric Equations in SolidWorks, Example 1

PRACTICAL DATA MINING IN A LARGE UTILITY COMPANY

VHDL Test Bench Tutorial

Animation. Persistence of vision: Visual closure:

"Excel with Excel 2013: Pivoting with Pivot Tables" by Venu Gopalakrishna Remani. October 28, 2014

On String Languages Generated by Spiking Neural P Systems

Information, Entropy, and Coding

28 CHAPTER 1. VECTORS AND THE GEOMETRY OF SPACE. v x. u y v z u z v y u y u z. v y v z

THE user interface quality is important things of Web

Software quality improvement via pattern matching

CHAPTER 8 EXAMPLES: MIXTURE MODELING WITH LONGITUDINAL DATA

Learning Automata and Grammars

Lexical analysis FORMAL LANGUAGES AND COMPILERS. Floriano Scioscia. Formal Languages and Compilers A.Y. 2015/2016

Semantics and Verification of Software

Properties of Real Numbers

Automated Lossless Hyper-Minimization for Morphological Analyzers

10.2 Series and Convergence

ASSEMBLY LANGUAGE PROGRAMMING (6800) (R. Horvath, Introduction to Microprocessors, Chapter 6)

NFAs with Tagged Transitions, their Conversion to Deterministic Automata and Application to Regular Expressions

How To Compare A Markov Algorithm To A Turing Machine

Genetic programming with regular expressions

KITES TECHNOLOGY COURSE MODULE (C, C++, DS)

How to make the computer understand? Lecture 15: Putting it all together. Example (Output assembly code) Example (input program) Anatomy of a Computer

. Learn the number of classes and the structure of each class using similarity between unlabeled training patterns

PROGRAMMABLE LOGIC CONTROLLERS Unit code: A/601/1625 QCF level: 4 Credit value: 15 OUTCOME 3 PART 1

Graphical modeling using L-systems

December 4, 2013 MATH 171 BASIC LINEAR ALGEBRA B. KITCHENS

Row Echelon Form and Reduced Row Echelon Form

Barcode Based Automated Parking Management System

ERP Areas and Modules / Trading

THE SECURITY AND PRIVACY ISSUES OF RFID SYSTEM

Vector storage and access; algorithms in GIS. This is lecture 6

Transcription:

CGT 581 G Procedural Methods L systems Bedrich Benes, Ph.D. Purdue University Department of Computer Graphics Technology L systems Lindenmayer systems Lindenmayer system or D0L systems [d zero l system] is a parallel string rewriting system is an ordered triple :, a finite non empty set called an alphabet is so called axiom (starting symbol) a finite set of production rules Aristid Lindenmayer (1925-1989) Production Rules Production rules have form, where * denotes reflexive transitive closure of the set i.e., a set of words that can be composed from the alphabet, including an empty word (non empty words) Derivation Derivation denoted by A derivation of the L system is rewriting all symbols in the word by the new symbols from the right hand side of the corresponding production rules. Note: If a rule is not present, we perform a copy of the symbol.

L systems Example: L systems Example (contd.) First derivation: Second derivation: Interpretation What if each symbol has a geometric meaning? Let s use (logo like) turtle graphics The turtle is an abstract geometrical automaton With the state is the position, is the orientation Can interpret commands L systems interpretation For example: a V Turtle command F go forward distance + turn left 60 - turn right 60 It reads the string and interprets each letter as a command

Example More examples 1 st derivation 2 nd derivation More examples More examples

Bracketed L systems Invented by Prusinkiewicz in 1992 Extends the L system by special symbols [ and ] and the turtle by two special commands a V Turtle command F go forward distance + turn left 60 - turn right 60 [ Store the status, on a stack ] Pick the status from the stack Bracketed L systems Example:,,,,, //,, // productions: Bracketed L systems the first string from the example is interpreted: Bracketed L systems Bracketed rules are useful for generating branching structures F [ + F ] F

Bracketed L systems Bracketed L systems Stochastic L systems Allow for multiple rules for one symbol Each rule has a label and a probability fired of being 1L L systems and 1R L systems Context sensitive Lindenmayer's systems 1L L systems include context sensitive rewriting 1L L systems one element from the left side is considered as the context The rules have a new form and are left and right context respectively Rewriting occurs only if is within the context from P. Prusinkiewicz and A.Lindenmayer. 1990. The Algorithmic Beauty of Plants. Springer-Verlag

1L L systems and 1R L systems Example pl systems Parametric Lindenmayer's systems Symbols can have parameter Symbols are called modules (parameterized symbols) It simulates propagation of a signal from the root! 1RL systems propagation from leaves down 1L1RL systems both directions Also called attributes (from attributed grammars) pl systems Example: pl systems pl systems also introduce conditional rule rewriting is the length of the step 8 4 2 2 2 4 2 2 2 lateral branches are getting smaller Step shortening

pl systems pl systems Example: stem, leaf, blossom, bud A(0)-> FA(1)-> F[-L]FA(2)->F[-L]F[+L]FA(3)->F[-L]F[+L]FB Open L systems Introduced in 1998 by Měch and Prusinkiewicz Can interact with surrounding environment Open L systems Example 1 2 query modules set exogenous parameters Could give: Depending on the values of

Open L systems L systems vs. Grammars L systems are parallel string rewriting systems All symbols are rewritten at once (Chomsky) Grammars rewrite sequentially Reading P. Prusinkiewicz and A.Lindenmayer. 1990. The Algorithmic Beauty of Plants. Springer Verlag www.algorithmicbotany.org