About the Book
Zdroj: Wikipedia. Stranky: 44. Kapitoly: Formalni jazyky, Generatory pseudonahodnych isel, Teorie slo itosti, Vy islitelnost, L-system, Turing v stroj, Syntakticka analyza, Rozvinuta Backusova-Naurova forma, Bezkontextova gramatika, Syntakticka analyza zdola nahoru, Regularni vyraz, Lambda kalkul, Transformace na LL(1), Rekurzivni jazyk, Semanticka analyza, LL syntakticky analyzator, Rekurzivn spo etny jazyk, Lemma o vkladani, Lexikalni analyza, Komplexita, Syntax, Ackermannova funkce, Deriva ni strom, Chomskeho hierarchie, Primitivn rekurzivni funkce, Generator pseudonahodnych isel, Linearni kongruentni generator, Formalni gramatika, Churchova-Turingova teze, Bisimulace, Myhillova-Nerodova v ta, Problem zastaveni, Syntakticky strom, Bezkontextovy jazyk, Teorie vy islitelnosti, Turing-kompletni, Pseudonahodna isla, Redukovana gramatika, Regularni jazyk, Chomskeho normalni forma, aste n rekurzivni funkce, Regularni gramatika, Greibachove normalni forma, Abeceda, Random seed, Spintronika, Podslovo, Entita, RAM stroj, Blum Blum Shub, Postova v ta, Simula ni p eduspo adani, Kone ny jazyk. Vy atek: L-system nebo take Lindenmayer v system je varianta formalni gramatiky, vyvinuta pro modelovani r stu rostlin. L-system popisuje pravidla pro vyvoj rostliny, ktera se opakovan aplikuji na vznikajici model. Tato pravidla mohou nap . popisovat, za jakych podminek se stonek rostliny rozdvoji, zda ma vzniknout list nebo zda ma ast rostliny uhynout. Vysledny model se m e nap . vykreslit jako obrazek nebo se z n j vytvo i po ita ovy 3D model rostliny. L-systemy se take daji pou it pro generovani r znych k ivek, fraktal nebo pro modelovani bun nych organism . Na vyzkumu maji nejv t i podil ma arsky biolog Aristid Lindenmayer a polsky informatik Przemyslaw Prusinkiewicz, vysledky tohoto vyzkumu publikovali v knize The Algorithmic Beauty of Plants. Zakladni typ L-systemu je tzv. D0L-system. D0 v nazvu zna i, e se jedna o deterministicky bezkontextovy L-system. Formaln ...