About the Book
Zdroj: Wikipedia. Stranky: 57. Kapitoly: Formalni jazyky, Matemati ti logici, Teorie rekurze, L-system, Syntakticka analyza, Rozvinuta Backusova-Naurova forma, Godelovy v ty o neuplnosti, Bezkontextova gramatika, Syntakticka analyza zdola nahoru, Bernard Bolzano, Regularni vyraz, Dialetheismus, Transformace na LL(1), Axiom, Rekurzivni jazyk, Semanticka analyza, LL syntakticky analyzator, Rekurzivn spo etny jazyk, Lemma o vkladani, Existen ni kvantifikator, Lexikalni analyza, Model, Boolean, Aritmeticka hierarchie, Syntax, Deriva ni strom, Alfred Tarski, Chomskeho hierarchie, Hilbertovsky kalkulus, Thoralf Skolem, Generalizace, Rozhodnutelnost, Vyrokova logika, Predikatova logika prvniho adu, Formalni gramatika, Fuzzy logika, Teorie model, Formule, Robinsonova aritmetika, Lowenheimova-Skolemova v ta, Myhillova-Nerodova v ta, Karnaughova mapa, V ta o kompaktnosti, Syntakticky strom, Morleyova v ta o kategori nosti, Bezkontextovy jazyk, Peanova aritmetika, Bezesporna teorie, Univerzalni kvantifikator, Paul Bernays, George Boole, Redukovana gramatika, Regularni jazyk, Lindenbaumova algebra, Godelova v ta o uplnosti predikatove logiky, Chomskeho normalni forma, Luitzen Egbertus Jan Brouwer, Nezavisle tvrzeni, Pravdivostni tabulka, Modalni logika, Ernst Zermelo, Presburgerova aritmetika, Regularni gramatika, Temporalni logika, Elementarni vno eni, Hilbert v program, Logicka rovnice, Saharon elach, Greibachove normalni forma, Modus ponens, Abeceda, Formalni teorie, Entscheidungsproblem, Podslovo, Volna logika, Konsekvent, Svobodova mapa, Uplna teorie, 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 obra...
