opora
Literatura [1] Aho, A. V, Ullman, J. D.: The theory of parsing, translation and compiling, EngelWood Cliffs, New Jersey, Prentice-Hall 1972. [2] Kolář, J.: Algebra a grafy, Skriptum ES ČVUT, Praha, 1982. [3] Kozen, D. C.: A Completeness Theorem for KleeneAlgebras and the Algebra of Regular Events, Technical Report TR 90–1123, 1990. [4] Kozen, D. C.: Automata and Computability, Springer-Verlag, New York, Inc, 1997. ISBN 0-387-94907-0 [5] Rábová, Z., Češka, M.: Základy systémového programování I., Učební texty vysokých škol. Ediční středisko VUT Brno, 1979. [6] Rábová, Z., Češka, M., Honzík, J. M., Hruška, T.: Programovací techniky, Učební texty vysokých škol. Ediční středisko VUT Brno, 1985. [7] Černá, I., Křetínský, M., Kučera, A.: Automaty a formální jazyky I, učební text FI MU, Brno, 1999. [8] Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, Addison Wesley, 2. vydání, 2000. ISBN 0-201- 44124-1 [9] Gruska, J.: Foundations of Computing, International Thomson Computer Press, 1997. ISBN 1-85032-243-0 [10] Bovet, D.P., Crescenzi, P.: Introduction to the Theory of Complexity, Prentice Hall Europe, Pearson Education Limited, 1994. ISBN 0-13-915380-2 165
- Page 115 and 116: KAPITOLA 5. TURINGOVY STROJE 114 -
- Page 117 and 118: KAPITOLA 5. TURINGOVY STROJE 116 5.
- Page 119 and 120: KAPITOLA 5. TURINGOVY STROJE 118 D
- Page 121 and 122: KAPITOLA 5. TURINGOVY STROJE 120 5.
- Page 123 and 124: KAPITOLA 5. TURINGOVY STROJE 122 5.
- Page 125 and 126: KAPITOLA 6. MEZE ROZHODNUTELNOSTI 1
- Page 127 and 128: KAPITOLA 6. MEZE ROZHODNUTELNOSTI 1
- Page 129 and 130: KAPITOLA 6. MEZE ROZHODNUTELNOSTI 1
- Page 131 and 132: KAPITOLA 6. MEZE ROZHODNUTELNOSTI 1
- Page 133 and 134: KAPITOLA 6. MEZE ROZHODNUTELNOSTI 1
- Page 135 and 136: KAPITOLA 6. MEZE ROZHODNUTELNOSTI 1
- Page 137 and 138: KAPITOLA 6. MEZE ROZHODNUTELNOSTI 1
- Page 139 and 140: KAPITOLA 6. MEZE ROZHODNUTELNOSTI 1
- Page 141 and 142: KAPITOLA 6. MEZE ROZHODNUTELNOSTI 1
- Page 143 and 144: KAPITOLA 6. MEZE ROZHODNUTELNOSTI 1
- Page 145 and 146: KAPITOLA 6. MEZE ROZHODNUTELNOSTI 1
- Page 147 and 148: KAPITOLA 7. SLOŽITOST 146 7.1.3 Sl
- Page 149 and 150: KAPITOLA 7. SLOŽITOST 148 Příkla
- Page 151 and 152: KAPITOLA 7. SLOŽITOST 150 • Napr
- Page 153 and 154: KAPITOLA 7. SLOŽITOST 152 7.2.4 Ne
- Page 155 and 156: KAPITOLA 7. SLOŽITOST 154 • Stro
- Page 157 and 158: KAPITOLA 7. SLOŽITOST 156 7.3.4 Uz
- Page 159 and 160: KAPITOLA 7. SLOŽITOST 158 Pokud pr
- Page 161 and 162: KAPITOLA 7. SLOŽITOST 160 7.5.1 Po
- Page 163 and 164: KAPITOLA 7. SLOŽITOST 162 7.5.4 V
- Page 165: KAPITOLA 7. SLOŽITOST 164 6. Uveď
Literatura<br />
[1] Aho, A. V, Ullman, J. D.: The theory of parsing, translation and compiling,<br />
EngelWood Cliffs, New Jersey, Prentice-Hall 1972.<br />
[2] Kolář, J.: Algebra a grafy, Skriptum ES ČVUT, Praha, 1982.<br />
[3] Kozen, D. C.: A Completeness Theorem for KleeneAlgebras and the Algebra<br />
of Regular Events, Technical Report TR 90–1123, 1990.<br />
[4] Kozen, D. C.: Automata and Computability, Springer-Verlag, New York, Inc,<br />
1997. ISBN 0-387-94907-0<br />
[5] Rábová, Z., Češka, M.: Základy systémového programování I., Učební texty<br />
vysokých škol. Ediční středisko VUT Brno, 1979.<br />
[6] Rábová, Z., Češka, M., Honzík, J. M., Hruška, T.: Programovací techniky,<br />
Učební texty vysokých škol. Ediční středisko VUT Brno, 1985.<br />
[7] Černá, I., Křetínský, M., Kučera, A.: Automaty a formální jazyky I, učební<br />
text FI MU, Brno, 1999.<br />
[8] Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory,<br />
Languages, and Computation, Addison Wesley, 2. vydání, 2000. ISBN 0-201-<br />
44124-1<br />
[9] Gruska, J.: Foundations of Computing, International Thomson Computer<br />
Press, 1997. ISBN 1-85032-243-0<br />
[10] Bovet, D.P., Crescenzi, P.: Introduction to the Theory of Complexity, Prentice<br />
Hall Europe, Pearson Education Limited, 1994. ISBN 0-13-915380-2<br />
165