Uvod do matematiky pro biology M1030 Matematika pro biology 13.9.2022 Historické poznámky Vývoj matematiky Matematika a biologie Příklady_ Historické poznámky Vývoj matematiky 3/ Vývoj matematiky Pythagoras ze Samu (5807-501 BCE) • Pokusy s monochordem, figurální čísla • Skutečnost určují čísla a jejich poměry Vývoj matematiky Poznámka ke slovu „matematika": fiaůriai^ poučení, naučení [xaůrjTrjs učedník fiaůrifia nauka, to co je k naučení něco mezi eTTtarrjinr] (známost, lat. scientia) ^vujgí^ (poznání, lat. cognitio) lictůrilictTiKo^ náležející k nauce (učedník i pojednání) fiaůrniarina všechny věci, které jsou této naučné povahy (plurál středního rodu) Vlivem pythagorejských učedníků {jiaůrniarinoi) se význam slova „matematika" zúžil na zabývání se čísly a geometrickými objekty. Vývoj matematiky Pythagoras ze Samu (5807-501 BCE) • Pokusy s monochordem, figurální čísla • Skutečnost určují čísla a jejich poměry • Krize: V poměru strany a úhlopříčky čverce není ratio, Xo^yo^ Vývoj matematiky Pythagoras ze Samu (5807-501 BCE) • Pokusy s monochordem, figurální čísla • Skutečnost určují čísla a jejich poměry • Krize: V poměru strany a úhlopříčky čverce není ratio, Xo^yo^ Eukleidés (3657-300? BCE) • Základy (geometrie) • Deduktivní výstavba teorie (axiomy - definice - postuláty) Vývoj matematiky Pythagoras ze Samu (5807-501 BCE) • Pokusy s monochordem, figurálni čísla • Skutečnost určují čísla a jejich poměry • Krize: V poměru strany a úhlopříčky čverce není ratio, Xo^yo^ Eukleidés (3657-3007 BCE) • Základy (geometrie) • Deduktivní výstavba teorie (axiomy - definice - postuláty) Muhamad ibn Musa Abu Abdalah al-Chvárizmí (7807-8507 CE) • Aritmetika (arabské číslice) a algebra (symbol pro neznámou, řešení rovnic) • K poznaní lze dospět formální manipulací se symboly Vývoj matematiky Pythagoras ze Samu (5807-501 BCE) • Pokusy s monochordem, figurálni čísla • Skutečnost určují čísla a jejich poměry • Krize: V poměru strany a úhlopříčky čverce není ratio, Xo^yo^ Eukleidés (3657-300? BCE) • Základy (geometrie) • Deduktivní výstavba teorie (axiomy - definice - postuláty) Muhamad ibn Musa Abu Abdalah al-Chvárizmí (7807-850? CE) • Aritmetika (arabské číslice) a algebra (symbol pro neznámou, řešení rovnic) • K poznaní lze dospět formální manipulací se symboly Leonardo Pisano (Fibonacci) (11707-1250) • Liber abaci; zprostředkování arabského a antického vědění Vývoj matematiky Pythagoras ze Samu (5807-501 BCE) • Pokusy s monochordem, figurálni čísla • Skutečnost určují čísla a jejich poměry • Krize: V poměru strany a úhlopříčky čverce není ratio, Xo^yo^ Eukleidés (3657-3007 BCE) • Základy (geometrie) • Deduktivní výstavba teorie (axiomy - definice - postuláty) Muhamad ibn Musa Abu Abdalah al-Chvárizmí (7807-8507 CE) • Aritmetika (arabské číslice) a algebra (symbol pro neznámou, řešení rovnic) • K poznaní lze dospět formální manipulací se symboly Leonardo Pisano (Fibonacci) (11707-1250) • Liber abaci; zprostředkování arabského a antického vědění René Descartes (1596-1650) • Rozprava o metodě; geometrické úlohy lze řešit metodami algebry Vývoj matematiky Pythagoras ze Samu (5807-501 BCE) • Pokusy s monochordem, figurálni čísla • Skutečnost určují čísla a jejich poměry • Krize: V poměru strany a úhlopříčky čverce není ratio, Xo^yo^ Eukleidés (3657-300? BCE) • Základy (geometrie) • Deduktivní výstavba teorie (axiomy - definice - postuláty) Muhamad ibn Musa Abu Abdalah al-Chvárizmí (7807-850? CE) • Aritmetika (arabské číslice) a algebra (symbol pro neznámou, řešení rovnic) • K poznaní lze dospět formální manipulací se symboly Leonardo Pisano (Fibonacci) (11707-1250) • Liber abaci; zprostředkování arabského a antického vědění René Descartes (1596-1650) • Rozprava o metodě; geometrické úlohy lze řešit metodami algebry Isaac Newton (1643-1727), Gottfried Wilhelm Leibniz (1646-1716) • Matematický popis pohybu a změny (infinitesimální počet) 3/9 Vývoj matematiky Pythagoras ze Samu (5807-501 BCE) • Pokusy s monochordem, figurálni čísla • Skutečnost určují čísla a jejich poměry • Krize: V poměru strany a úhlopříčky čverce není ratio, Xo^yo^ Eukleidés (3657-300? BCE) • Základy (geometrie) • Deduktivní výstavba teorie (axiomy - definice - postuláty) Muhamad ibn Musa Abu Abdalah al-Chvárizmí (7807-850? CE) • Aritmetika (arabské číslice) a algebra (symbol pro neznámou, řešení rovnic) • K poznaní lze dospět formální manipulací se symboly Leonardo Pisano (Fibonacci) (11707-1250) • Liber abaci; zprostředkování arabského a antického vědění René Descartes (1596-1650) • Rozprava o metodě; geometrické úlohy lze řešit metodami algebry Isaac Newton (1643-1727), Gottfried Wilhelm Leibniz (1646-1716) • Matematický popis pohybu a změny (infinitesimální počet) • Krize: infinitesimál je logicky sporný objekt 3/9 Matematika a biologie 4/ Matematika a biologie Fibonacci (1170-1250) V Liber abaci úloha o množení králíků Matematika a biologie Fibonacci (1170-1250) V Liber abaci úloha o množení králíků Leonhard Euler (1707-1783) V učebnici Introductio in a na lysin infinitorum model růstu populace Matematika a biologie Fibonacci (1170-1250) V Liber abaci úloha o množení králíků Leonhard Euler (1707-1783) V učebnici Introductio in a na lysin infinitorum model růstu populace Daniel Bernoulli (1700-1782), Jean le Rond ďAlembert (1717-1783) Matematický model umírání na neštovica a vlivu očkování Matematika a biologie Fibonacci (1170-1250) V Liber abaci úloha o množení králíků Leonhard Euler (1707-1783) V učebnici Introductio in a na lysin infinitorum model růstu populace Daniel Bernoulli (1700-1782), Jean le Rond d'Alembert (1717-1783) Matematický model umírání na neštovica a vlivu očkování Johann Gregor Mendel (1822-1884) Formulace přírodního zákona pomocí matematických pojmů Matematika a biologie Fibonacci (1170-1250) V Liber abaci úloha o množení králíků Leonhard Euler (1707-1783) V učebnici Introductio in a na lysin infinitorum model růstu Daniel Bernoulli (1700-1782), Jean le Rond d'Alembert (1 Matematický model umírání na neštovica a vlivu očkování Johann Gregor Mendel (1822-1884) Formulace přírodního zákona pomocí matematických pojmi Vito Volterra (1860-1940), Alfred Lotka (1880-1949) Matematické modely základních vztahů populační dynamiky a chemické kinetiky (obyčejné diferenciální rovnice) Matematika a biologie Fibonacci (1170-1250) V Liber abaci úloha o množení králíků Leonhard Euler (1707-1783) V učebnici Introductio in a na lysin infinitorum model růstu Daniel Bernoulli (1700-1782), Jean le Rond d'Alembert ( Matematický model umírání na neštovica a vlivu očkován Johann Gregor Mendel (1822-1884) Formulace přírodního zákona pomocí matematických poj Vito Volterra (1860-1940), Alfred Lotka (1880-1949) Matematické modely základních vztahů populační dynamiky a chemické kinetiky (obyčejné diferenciální rovnice) Anderson G. McKendrick (1876-1943), William O. Kermack (1898-1970) Matematické modely šíření epidemií 4/9 Matematika a biologie Fibonacci (1170-1250) V Liber abaci úloha o množení králíků Leonhard Euler (1707-1783) V učebnici Introductio in a na lysin infinitorum model růstu populace Daniel Bernoulli (1700-1782), Jean le Rond d'Alembert (1717-1783) Matematický model umírání na neštovica a vlivu očkování Johann Gregor Mendel (1822-1884) Formulace přírodního zákona pomocí matematických pojmů Vito Volterra (1860-1940), Alfred Lotka (1880-1949) Matematické modely základních vztahů populační dynamiky a chemické kinetiky (obyčejné diferenciální rovnice) Anderson G. McKendrick (1876-1943), William O. Kermack (1898-1970) Matematické modely šíření epidemií Alan Turing (1912-1954) Matematický model morfogeneze (parciální diferenciální rovnice) Matematika a biologie Fibonacci (1170-1250) V Liber abaci úloha o množení králíků Leonhard Euler (1707-1783) V učebnici Introductio in a na lysin infinitorum model růstu populace Daniel Bernoulli (1700-1782), Jean le Rond d'Alembert (1717-1783) Matematický model umírání na neštovica a vlivu očkování Johann Gregor Mendel (1822-1884) Formulace přírodního zákona pomocí matematických pojmů Vito Volterra (1860-1940), Alfred Lotka (1880-1949) Matematické modely základních vztahů populační dynamiky a chemické kinetiky (obyčejné diferenciální rovnice) Anderson G. McKendrick (1876-1943), William O. Kermack (1898-1970) Matematické modely šíření epidemií Alan Turing (1912-1954) Matematický model morfogeneze (parciální diferenciální rovnice) Aristid Lindenmayer (1925-1989) Popis růstu organismů (formální gramatika) 4/9 Matematika a biologie Fibonacci (1170-1250) V Liber abaci úloha o množení králíků Leonhard Euler (1707-1783) V učebnici Introductio in a na lysin infinitorum model růstu populace Daniel Bernoulli (1700-1782), Jean le Rond d'Alembert (1717-1783) Matematický model umírání na neštovica a vlivu očkování Johann Gregor Mendel (1822-1884) Formulace přírodního zákona pomocí matematických pojmů Vito Volterra (1860-1940), Alfred Lotka (1880-1949) Matematické modely základních vztahů populační dynamiky a chemické kinetiky (obyčejné diferenciální rovnice) Anderson G. McKendrick (1876-1943), William O. Kermack (1898-1970) Matematické modely šíření epidemií Alan Turing (1912-1954) Matematický model morfogeneze (parciální diferenciální rovnice) Aristid Lindenmayer (1925-1989) Popis růstu organismů (formální gramatika) John Maynard Smith (1920-2004) Matematický model evoluce (teorie her) Historické poznámky Příklady Množení králíků Eulerův model růstu populace Systémy s diskrétním časem a paralelním přepisováním Příklady Množení králíků Leonardo Pisánský (Fibonacci) Liber abaci 1202: Kdosi umístil pár králíků na určitém místě, se všech stran ohrazeném zdí, aby poznal, kolik párů králíků se při tom zrodí průběhem roku, jestliže u králíků je tomu tak, že pár králíků přivede na svět měsíčně jeden pár a že králíci počínají rodit ve dvou měsících svého věku. Množení králíků Leonardo Pisánský (Fibonacci) Liber abaci 1202: Kdosi umístil pár králíků na určitém místě, se všech stran ohrazeném zdí, aby poznal, kolik párů králíků se při tom zrodí průběhem roku, jestliže u králíků je tomu tak, že pár králíků přivede na svět měsíčně jeden pár a že králíci počínají rodit ve dvou měsících svého věku. Množení králíků Leonardo Pisánský (Fibonacci) Liber abaci 1202: Kdosi umístil pár králíků na určitém místě, se všech stran ohrazeném zdí, aby poznal, kolik párů králíků se při tom zrodí průběhem roku, jestliže u králíků je tomu tak, že pár králíků přivede na svět měsíčně jeden pár a že králíci počínají rodit ve dvou měsících svého věku. Množení králíků Leonardo Pisánský (Fibonacci) Liber abaci 1202: Kdosi umístil pár králíků na určitém místě, se všech stran ohrazeném zdí, aby poznal, kolik párů králíků se při tom zrodí průběhem roku, jestliže u králíků je tomu tak, že pár králíků přivede na svět měsíčně jeden pár a že králíci počínají rodit ve dvou měsících svého věku. 6/9 Množení králíků Leonardo Pisánský (Fibonacci) Liber abaci 1202: Kdosi umístil pár králíků na určitém místě, se všech stran ohrazeném zdí, aby poznal, kolik párů králíků se při tom zrodí průběhem roku, jestliže u králíků je tomu tak, že pár králíků přivede na svět měsíčně jeden pár a že králíci počínají rodit ve dvou měsících svého věku. 6/9 Množení králíků Leonardo Pisánský (Fibonacci) Liber abaci 1202: Kdosi umístil pár králíků na určitém místě, se všech stran ohrazeném zdí, aby poznal, kolik párů králíků se při tom zrodí průběhem roku, jestliže u králíků je tomu tak, že pár králíků přivede na svět měsíčně jeden pár a že králíci počínají rodit ve dvou měsících svého věku. Q 1 1 2 3 5 Množení králíků Leonardo Pisánský (Fibonacci) Liber abaci 1202: Kdosi umístil pár králíků na určitém místě, se všech stran ohrazeném zdí, aby poznal, kolik párů králíků se při tom zrodí průběhem roku, jestliže u králíků je tomu tak, že pár králíků přivede na svět měsíčně jeden pár a že králíci počínají rodit ve dvou měsících svého věku. 6/9 Množení králíků počet párů králíků v měsíci t 6/ Množení králíků počet párů králíků v měsíci t x (t) 6/ Množení králíků x (t) .. . počet párů králíků v měsíci t x (t) x(t - 1) Přežívají všechny páry z předchozího měsíce Množení králíků x (t) .. . počet párů králíků v měsíci t x (ť) = x(t-l) + x(t-2) Přežívají všechny páry z předchozího měsíce Každý pár starý alespoň měsíc vyprodukuje pár nový Množení králíků x (t) .. . počet párů králíků v měsíci t x (t) = x(t-l) + x(t-2) Přežívají všechny páry z předchozího měsíce Každý pár starý alespoň měsíc vyprodukuje pár nový t x(t) t x(t) 1 1 7 13 2 1 8 21 3 2 9 34 4 3 10 55 5 5 11 89 6 8 12 144 Eulerův model růstu populace velikost populace v čase t 7/ Eulerův model růstu populace x(ť) ... velikost populace v čase t x(t + 1) = x(ť) + množství nových jedinců — množství uhynulých jedinců 7/9 Eulerův model růstu populace x(ť) ... velikost populace v čase t b ... porodnost (birth rate) d ... úmrtnost (death rate) x(t + 1) = x(t) + množství nových jedinců — množství uhynulých jedinců = x(t) + bx(t) - dx(ť) = (1 + b - d)x(ť) Předpoklady: narozených, vylíhnutých, vyklíčených ... Množství . r , ie úměrné množství žijících, uhynulých J J Eulerův model růstu populace x(ť) ... velikost populace v čase t b ... porodnost (birth rate) d ... úmrtnost (death rate) r ... koeficient růstu (intrinsic growth rate) x(t + 1) = x{t) + množství nových jedinců — množství uhynulých jedinců = x(t) + bx(t) - dx(ť) = (1 + b - d)x(ť) Předpoklady: narozených, vylíhnutých, vyklíčených ... Množství . r , ie úměrné množství žijících, uhynulých J J Označení: r = 1 + b — d x(t + 1) = rx(ť) Eulerův model růstu populace velikost populace v čase t koeficient růstu (intrinsic growth rate) x (t + 1) = r x (t) 7 /' Eulerův model růstu populace x(ť) ... velikost populace v čase t r ... koeficient růstu (intrinsic growth rate) x (t + 1) = r x (t) Rekurentní vztah pro geometrickou posloupnost, tedy x (t) = x(0)rt Eulerův model růstu populace x(ť) ... velikost populace v čase t r ... koeficient růstu (intrinsic growth rate) x(t + 1) = rx(t) Rekurentní vztah pro geometrickou posloupnost, tedy x(t) = x(0)rt r > 1 populace neomezeně roste r = 1 populace má stálou velikost r < 1 populace vymírá Systémy s diskrétním časem a paralelním přepisováním Aristid Lindenmayer (1925-1989) Systémy s diskrétním časem a paralelním přepisováním Aristid Lindenmayer (1925-1989) Abeceda: množina nějakých rozlišitelných symbolů A Stav: konečná posloupnost prvků z A, slovo vytvořené z písmen abecedy Přepisovací pravidla: přiřazení nějakého slova každému písmenu abecedy Počáteční stav: So Stav Si+i vznikne ze stavu Si tak, že každý člen x v Si se nahradí slovem podle přiřazovacího pravidla \ Systémy s diskrétním časem a paralelním přepisováním Aristid Lindenmayer (1925-1989) Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 ^> 23 2 h> 2 6^7 7 i-> 8(1) Počáteční stav: 1 3 h> 24 8^8 4 ^ 54 5^6 )-0 8/9 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 ^ 23 2^2 3 ^ 24 4 ^ 54 5^6 6^7 7 ^ 8(1) 8^8 ( i-> ( ) i-> ) Počáteční stav: 1 so =1 8/9 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Prepisovací pravidla: 1 ^ 23 2^2 3 ^ 24 4 ^ 54 5^6 6^7 7 ^ 8(1) 8 i y 8 ( h+ ( ) ^ ) Počáteční stav: 1 so =1 si =23 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 ^ 23 2^2 3 ^ 24 4 ^ 54 5^6 6^7 7 ^ 8(1) 8^8 ( i-> ( ) i-> ) Počáteční stav: 1 so =1 si =23 s2 =224 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 ^ 23 2^2 3 ^ 24 4 ^ 54 5^6 6^7 7 i-> 8(1) 8^8 ( i-> ( ) i-> ) Počáteční stav: 1 so =1 si =23 s2 =224 s3 =2254 8/9 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 ^ 23 2^2 3 ^ 24 4 ^ 54 5^6 6^7 7 ^ 8(1) 8^8 ( i-> ( ) i-> ) Počáteční stav: 1 so =1 si =23 s2 =224 s3 =2254 s4 =22654 8/9 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 ^ 23 2^2 3 ^ 24 4 ^ 54 5^6 6^7 7 i-> 8(1) 8^8 ( i-> ( ) i-> ) Počáteční stav: 1 so =1 si =23 s5 =227654 s2 =224 s3 =2254 s4 =22654 8/9 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 h> 23 2 h> 2 6^7 7 ^ 8(1) Počáteční stav: 1 so =1 si =23 3 ^ 24 8^8 4 ^ 54 (^( s2 =224 s5 =227654 s6 =228(1)7654 5^6 )^) s3 =2254 s4 =22654 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 ^ 23 2^2 3 ^ 24 4 ^ 54 5^6 6^7 7 ^ 8(1) 8^8 ( i-> ( ) i-> ) Počáteční stav: 1 so =1 si =23 s5 =227654 s2 =224 s6 =228(1)7654 s3 =2254 s7 =228(23)8(1)7654 s4 =22654 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 ^ 23 2^2 3 ^ 24 4 ^ 54 5^6 6^7 7 ^ 8(1) 8^8 ( i-> ( ) i-> ) Počáteční stav: 1 so =1 si =23 s5 =227654 s2 =224 s6 =228(1)7654 s3 =2254 s7 =228(23)8(1)7654 s4 =22654 s8 =228(224)8(23)8(1)7654 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 ^ 23 2^2 3 ^ 24 4 ^ 54 5^6 6^7 7 ^ 8(1) 8^8 ( i-> ( ) i-> ) Počáteční stav: 1 so =1 si =23 s5 =227654 s2 =224 s6 =228(1)7654 s3 =2254 s7 =228(23)8(1)7654 s4 =22654 s8 =228(224)8(23)8(1)7654 s9 =228(2254)8(224)8(23)8(1)7654 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 ^ 23 2^2 3 ^ 24 4 ^ 54 5^6 6^7 7 ^ 8(1) 8^8 ( i-> ( ) i-> ) Počáteční stav: 1 so =1 si =23 s5 =227654 s2 =224 s6 =228(1)7654 s3 =2254 s7 =228(23)8(1)7654 s4 =22654 s8 =228(224)8(23)8(1)7654 s9 =228(2254)8(224)8(23)8(1)7654 sio =228(22654)8(2254)8(224)8(23)8(1)7654 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 ^ 23 2^2 3 ^ 24 4 ^ 54 5^6 6^7 7 ^ 8(1) 8^8 ( i-> ( ) i-> ) Počáteční stav: 1 So =1 E> si =23 s5 =227654 s2 =224 s6 =228(1)7654 s3 =2254 s7 =228(23)8(1)7654 s4 =22654 s8 =228(224)8(23)8(1)7654 s9 =228(2254)8(224)8(23)8(1)7654 sio =228(22654)8(2254)8(224)8(23)8(1)7654 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 ^ 23 2^2 3 ^ 24 6^7 7 ^ 8(1) 8^8 Počáteční stav: 1 So =1 E> si =23 s5 =227654 s2 =224 s6 =228(1)7654 4 ^ 54 (^( 5^6 )^) s3 =2254 s4 =22654 s7 =228(23)8(1)7654 s8 =228(224)8(23)8(1)7654 s9 =228(2254)8(224)8(23)8(1)7654 sio =228(22654)8(2254)8(224)8(23)8(1)7654 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 h> 23 2 h> 2 6^7 Počáteční stav: 1 So =1 E> si =23 s2 =224 SECš) s3 =2254 s4 =22654 7 i-> 8(1) 3 ^ 24 8^8 4 ^ 54 (^( S6 — s5 =227654 228(1)7654 s7 =228(23)8(1)7654 s8 =228(224)8(23)8(1)7654 5^6 )^) s9 =228(2254)8(224)8(23)8(1)7654 sio =228(22654)8(2254)8(224)8(23)8(1)7654 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 h> 23 2 h> 2 6^7 Počáteční stav: 1 So =1 E> si =23 s2 =224 se© 7 i-> 8(1) 3 ^ 24 8^8 4 ^ 54 (^( s5 =227654 s6 =228(1)7654 5^6 )^) s3 =2254 ĚEEEDP s4 =22654 s7 =228(23)8(1)7654 s8 =228(224)8(23)8(1)7654 s9 =228(2254)8(224)8(23)8(1)7654 sio =228(22654)8(2254)8(224)8(23)8(1)7654 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 h> 23 2 h> 2 6^7 Počáteční stav: 1 So =1 E> si =23 s2 =224 se© 7 i-> 8(1) 3 ^ 24 8^8 4 ^ 54 (^( s5 =227654 s6 =228(1)7654 5^6 )^) s3 =2254 ĚEEEDP s7 =228(23)8(1)7654 s4 =22654 s8 =228(224)8(23)8(1)7654 s9 =228(2254)8(224)8(23)8(1)7654 sio =228(22654)8(2254)8(224)8(23)8(1)7654 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 h> 23 2 h> 2 6^7 Počáteční stav: 1 So =1 a si =23 S2 =224 sn© 7 i-> 8(1) 3 ^ 24 8^8 4 ^ 54 (^( 5^6 )^) s6 =228(1)7654 s5 =227654 LHHIBIIg> s3 =2254 s7 =228(23)8(1)7654 s4 =22654 s8 =228(224)8(23)8(1)7654 s9 =228(2254)8(224)8(23)8(1)7654 sio =228(22654)8(2254)8(224)8(23)8(1)7654 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 h> 23 2 h> 2 6^7 Počáteční stav: 1 So =1 a si =23 S2 =224 sn© 7 i-> 8(1) 3 ^ 24 8^8 4 ^ 54 (^( 5^6 )^) s5 =227654 us) S6 =228(1)7654 E5vn>M«T5) s3 =2254 ShZDP s7 =228(23)8(1)7654 s4 =22654 s8 =228(224)8(23)8(1)7654 s9 =228(2254)8(224)8(23)8(1)7654 sio =228(22654)8(2254)8(224)8(23)8(1)7654 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 h> 23 2 h> 2 6^7 Počáteční stav: 1 3 ^ 24 7 i-> 8(1) 8^8 So =1 E> si =23 s 2 =224 ee© s3 =2254 s5 =227654 s6 =228(1)7654 s7 =228(23)8(1)7654 s4 =22654 s8 =228(224)8(23)8(1)7654 4 ^ 54 5 ^6 (^( )^) {gL|TLU?>UUTg) s9 =228(2254)8(224)8(23)8(1)7654 sio =228(22654)8(2254)8(224)8(23)8(1)7654 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 h> 23 2 h> 2 6^7 Počáteční stav: 1 So =1 E> si =23 s 2 =224 ee© s3 =2254 s4 =22654 3 ^ 24 7 i-> 8(1) 8^8 s5 =227654 s6 =228(1)7654 s7 =228(23)8(1)7654 s8 =228(224)8(23)8(1)7654 4 ^ 54 5 ^6 (^( )^) s9 =228(2254)8(224)8(23)8(1)7654 sio =228(22654)8(2254)8(224)8(23)8(1)7654 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 h> 23 2 h> 2 6^7 Počáteční stav: 1 3 ^ 24 7 i-> 8(1) 8^8 4 ^ 54 5^6 (^( )^) So =1 a si =23 (HP S2 =224 |3E© s3 =2254 Ě uď s5 =227654 s6 =228(1)7654 ^0^^) s7 =228(23)8(1)7654 LI~L-J^ s4 =22654 s8 =228(224)8(23)8(1)7654 s9 =228(2254)8(224)8(23)8(1)7654 i sio =228(22654)8(2254)8(224)8(23)8(1)7654 Systémy s diskrétním časem a paralelním přepisováním Abeceda: 1, 2, 3, 4, 5, 6, 7, 8, (, ) Přepisovací pravidla: 1 h> 23 2 h> 2 6^7 Počáteční stav: 1 3 ^ 24 7 i-> 8(1) 8^8 4 ^ 54 5 ^6 (^( )^) So =1 a si =23 (HP S2 =224 |3E© s3 =2254 Ě uď s5 =227654 s6 =228(1)7654 ^0^^) 57 =228(23)8(1)7654 LI~L-J^ s4 =22654 s8 =228(224)8(23)8(1)7654 s9 =228(2254)8(224)8(23)8(1)7654 i SlO — 228(22654)8(2254)8(224)8(23)8(1)7654 Abeceda: M, S, +, -Počáteční stav: M Pravidla: M h+ S[+M}{-M]SM S ^ ss 9/9 Abeceda: M, S, +, -, [, ' Počáteční stav: M Pravidla: M i-> S[+M][-M]SM S i-> SS Abeceda: M, S, +, -, [, ' Počáteční stav: M Pravidla: M i-> S[+M][-M]SM S i-> SS i = 0 Abeceda: M, S, +, -, [, ' Počáteční stav: M Pravidla: M i-> S[+M][-M]SM S i-> SS i = 1 Abeceda: M, S, +, -, [, ' Počáteční stav: M Pravidla: M i-> S[+M][-M]SM S i-> SS i = 2 Abeceda: M, S, +, -, [, ' Počáteční stav: M Pravidla: M i-> S[+M][-M]SM S i-> SS Abeceda: M, S, +, -, [, ' Počáteční stav: M Pravidla: M i-> S[+M][-M]SM S i-> S S H Abeceda: M, S, +, -, [, ' Počáteční stav: M Pravidla: M i-> S[+M][-M]SM S i-> SS i = 5 9/9