Imperatywne modele obliczeń Copyright, 2000 © Jerzy R. Nawrocki Wprowadzenie do informatyki Wykład 2

J.Nawrocki, Wprowadzenie.., Wykład 2 Plan wykładu Model maszyny RAM Język schematów blokowych Obliczanie n! Koncepcja von Neumanna Kodowanie rozkazów Obliczanie wielomianu Problem stopu

J.Nawrocki, Wprowadzenie.., Wykład 2 Model maszyny RAM

J.Nawrocki, Wprowadzenie.., Wykład 2 Model maszyny RAM Przykładowe operacje maszyny: przesłanie stałej do rejestru: R1 1 przesłanie iloczynu do rej.: R1 R1 * R2 porównanie rejestru ze stałą: R2 > 0 przesłanie komórki pamięci do rejestru: R1 M [1000]

J.Nawrocki, Wprowadzenie.., Wykład 2 Język schematów blokowych R1 1 R2 0 R2 > 0 Tak Nie Start Stop

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = n Warunek końc.: R1 = n! 4!= 4 x 3 x 2 x 1 A 4 B A x 3 C B x 2 R1 C x 1

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = n Warunek końc.: R1 = n! 4!= 4 x 3 x 2 x 1 A 4 B A x 3 C B x 2 R1 C x 1

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = n Warunek końc.: R1 = n! 4!= 4 x 3 x 2 x 1 A 4 B A x 3 C B x 2 R1 C x 1

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = n Warunek końc.: R1 = n! 4!= 4 x 3 x 2 x 1 A 4 B A x 3 C B x 2 R1 C x 1

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = n Warunek końc.: R1 = n! 4!= 4 x 3 x 2 x 1 A 4 B A x 3 R1 B x 2 R1 R1 x 1

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = n Warunek końc.: R1 = n! 4!= 4 x 3 x 2 x 1 A 4 R1 A x 3 R1 R1 x 2 R1 R1 x 1

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = n Warunek końc.: R1 = n! 4!= 4 x 3 x 2 x 1 R1 4 R1 R1 x 3 R1 R1 x 2 R1 R1 x 1

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = n Warunek końc.: R1 = n! 4!= 4 x 3 x 2 x 1 R1 4 R1 R1 x 3 R1 R1 x 2 R1 R1 x 1

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = n Warunek końc.: R1 = n! 4!= 4 x 3 x 2 x 1 R1 R2 R1 R1 x 3 R1 R1 x 2 R1 R1 x 1

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = n Warunek końc.: R1 = n! 4!= 4 x 3 x 2 x 1 R1 R2 R1 R1 x (R2 - 1) R1 R1 x 2 R1 R1 x 1

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = n Warunek końc.: R1 = n! 4!= 4 x 3 x 2 x 1 R1 R2 R1 R1 x (R2 - 1) R1 R1 x (R2 - 2) R1 R1 x 1

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = n Warunek końc.: R1 = n! 4!= 4 x 3 x 2 x 1 R1 R2 R1 R1 x (R2 - 1) R1 R1 x (R2 - 2) R1 R1 x (R2 - 3) R2 R2 - 1

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = n Warunek końc.: R1 = n! 4!= 4 x 3 x 2 x 1 R1 R2 R1 R1 x R2 R1 R1 x (R2 - 2) R1 R1 x (R2 - 3) R2 R2 - 1

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = n Warunek końc.: R1 = n! 4!= 4 x 3 x 2 x 1 R1 R2 R1 R1 x R2 R1 R1 x (R2 - 3) R2 R2 - 1

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = n Warunek końc.: R1 = n! 4!= 4 x 3 x 2 x 1 R1 R2 R1 R1 x R2 R2 R2 - 1 aż R2 = 0

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = n Warunek końc.: R1 = n! 4!= 4 x 3 x 2 x 1 R1 R2 R2 R2 - 1 czy R2 = 0 ? R1 R1 x R2 R2 R2 - 1 czy R2 = 0 ?...

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = 0 Warunek końc.: R1 = 1 0!= 1 R1 R2 R2 R2 - 1 czy R2 = 0 ? R1 R1 x R2 R2 R2 - 1 czy R2 = 0 ?...

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = 0 Warunek końc.: R1 = 1 0!= 1 R1 0 R2 R2 - 1 czy R2 = 0 ? R1 R1 x R2 R2 R2 - 1 czy R2 = 0 ?...

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = 0 Warunek końc.: R1 = 1 0!= 1 R1 0 R2 R2 - 1 czy R2 = 0 ? R1 R1 x R2 R2 R2 - 1 czy R2 = 0 ?... NIE

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = 0 Warunek końc.: R1 = 1 0!= 1 R1 1 czy R2 = 0 ? R1 R1 x R2 R2 R2 - 1 czy R2 = 0 ?... R1 R2 R2 R2 - 1

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = n Warunek końc.: R1 = n! 4!= 4 x 3 x 2 x 1 R1 1 czy R2 = 0 ? R1 R1 x R2 R2 R2 - 1 czy R2 = 0 ?...

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = n Warunek końc.: R1 = n! 4!= 4 x 3 x 2 R1 1 czy R2 1 ? R1 R1 x R2 R2 R2 - 1 czy R2 = 0 ?...

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Warunek pocz.: R2 = n Warunek końc.: R1 = n! 4!= 4 x 3 x 2 R1 1 czy R2 1 ? R1 R1 x R2 R2 R2 - 1 czy R2 1 ?...

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! StartStop R1 1 R1 1 R1 R1 * R2 R1 R1 * R2 R2 R2 - 1 R2 R2 - 1 R2 > 1 Tak Nie Warunek pocz.: R2 = n Warunek końc.: R1 = n!

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Start Stop R1 1 R1 1 R1 R1 * R2 R1 R1 * R2 R2 R2 - 1 R2 R2 - 1 R2 > 1 Tak Nie R2R1 4 We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Start Stop R1 1 R1 1 R1 R1 * R2 R1 R1 * R2 R2 R2 - 1 R2 R2 - 1 R2 > 1 Tak Nie R2R1 4 We Wyj 1

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Start Stop R1 1 R1 1 R1 R1 * R2 R1 R1 * R2 R2 R2 - 1 R2 R2 - 1 R2 > 1 Tak Nie R2R1 41 We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Start Stop R1 1 R1 1 R1 R1 * R2 R1 R1 * R2 R2 R2 - 1 R2 R2 - 1 R2 > 1 Tak Nie R2R We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Start Stop R1 1 R1 1 R1 R1 * R2 R1 R1 * R2 R2 R2 - 1 R2 R2 - 1 R2 > 1 Tak Nie R2R We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Start Stop R1 1 R1 1 R1 R1 * R2 R1 R1 * R2 R2 R2 - 1 R2 R2 - 1 R2 > 1 Tak Nie R2R We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Start Stop R1 1 R1 1 R1 R1 * R2 R1 R1 * R2 R2 R2 - 1 R2 R2 - 1 R2 > 1 Tak Nie R2R We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Start Stop R1 1 R1 1 R1 R1 * R2 R1 R1 * R2 R2 R2 - 1 R2 R2 - 1 R2 > 1 Tak Nie R2R We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Start Stop R1 1 R1 1 R1 R1 * R2 R1 R1 * R2 R2 R2 - 1 R2 R2 - 1 R2 > 1 Tak Nie R2R We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Start Stop R1 1 R1 1 R1 R1 * R2 R1 R1 * R2 R2 R2 - 1 R2 R2 - 1 R2 > 1 Tak Nie R2R We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Start Stop R1 1 R1 1 R1 R1 * R2 R1 R1 * R2 R2 R2 - 1 R2 R2 - 1 R2 > 1 Tak Nie R2R We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Start Stop R1 1 R1 1 R1 R1 * R2 R1 R1 * R2 R2 R2 - 1 R2 R2 - 1 R2 > 1 Tak Nie R2R We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Start Stop R1 1 R1 1 R1 R1 * R2 R1 R1 * R2 R2 R2 - 1 R2 R2 - 1 R2 > 1 Tak Nie R2R We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Start Stop R1 1 R1 1 R1 R1 * R2 R1 R1 * R2 R2 R2 - 1 R2 R2 - 1 R2 > 1 Tak Nie R2R We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Start Stop R1 1 R1 1 R1 R1 * R2 R1 R1 * R2 R2 R2 - 1 R2 R2 - 1 R2 > 1 Tak Nie R2R We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Start Stop R1 1 R1 1 R1 R1 * R2 R1 R1 * R2 R2 R2 - 1 R2 R2 - 1 R2 > 1 Tak Nie R2R We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie n! Start Stop R1 1 R1 1 R1 R1 * R2 R1 R1 * R2 R2 R2 - 1 R2 R2 - 1 R2 > 1 Tak Nie R2R ! = 24 We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Koncepcja von Neumanna Specjalizowane kalkulatory (obliczanie toru pocisku) a uniwersalne komputery Jak zrealizować uniwersalność: program jako łącznice kablowe program jako dane przechowywane w pamięci (koncepcja von Neumanna)

J.Nawrocki, Wprowadzenie.., Wykład 2 Koncepcja von Neumanna Dwie fazy: 1. Ściąganie rozkazu i jego dekodowanie 2. Wykonanie rozkazu Specjalny rejestr (licznik rozkazów) pokazuje następny rozkaz do wykonania.

J.Nawrocki, Wprowadzenie.., Wykład 2 Kodowanie rozkazów Kod Rozkaz Przykład 1 MovRegCon(R, C) R1 0 2 IfRegLeCon(R, C, I) R MulRegReg(Rd, Rs) R1 R1*R2 4 SubRegCon(Rd, C) R2 R2-1 5 Jump(I) Stop 6

J.Nawrocki, Wprowadzenie.., Wykład 2 Kodowanie rozkazów MovRegCon R IfRegLeCon 3 17 MulRegReg SubRegCon Jump 25Stop

J.Nawrocki, Wprowadzenie.., Wykład 2 Kodowanie rozkazów MovRegCon R IfRegLeCon 3 17 MulRegReg SubRegCon Jump 25Stop R2R IC We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Kodowanie rozkazów MovRegCon R IfRegLeCon 3 17 MulRegReg SubRegCon Jump 25Stop R2R IC 1 We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Kodowanie rozkazów MovRegCon R IfRegLeCon 3 17 MulRegReg SubRegCon Jump 25Stop R2R IC 1 We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Kodowanie rozkazów MovRegCon R IfRegLeCon 3 17 MulRegReg SubRegCon Jump 25Stop R2R IC 1 3 We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Kodowanie rozkazów MovRegCon R IfRegLeCon 3 17 MulRegReg SubRegCon Jump 25Stop R2R IC 1 32 We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Kodowanie rozkazów MovRegCon R IfRegLeCon 3 17 MulRegReg SubRegCon Jump 25Stop R2R IC 1 32 We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Kodowanie rozkazów MovRegCon R IfRegLeCon 3 17 MulRegReg SubRegCon Jump 25Stop R2R IC 1 32 We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Kodowanie rozkazów MovRegCon R IfRegLeCon 3 17 MulRegReg SubRegCon Jump 25Stop R2R IC We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Kodowanie rozkazów MovRegCon R IfRegLeCon 3 17 MulRegReg SubRegCon Jump 25Stop R2R IC We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Kodowanie rozkazów MovRegCon R IfRegLeCon 3 17 MulRegReg SubRegCon Jump 25Stop R2R IC We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Kodowanie rozkazów MovRegCon R IfRegLeCon 3 17 MulRegReg SubRegCon Jump 25Stop R2R IC We Wyj

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie wielomianu Wielomian n-tego stopnia ma postać: p(x) = a 0 + a 1 x + a 2 x 2 + a 3 x a n x n Mając dane wartości: n a 0, a 1,.., a n x należy obliczyć wartość p(x).

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie wielomianu Idea algorytmuStart Stop P 0 P 0 P P + a n x n n n - 1 n 0 Tak Nie

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie wielomianu Idea algorytmuStart Stop P 0 P 0 P P + S n n - 1 n 0 Tak Nie S = a n x n

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie wielomianu Obliczanie a n x nStart Stop S a n ; k n S a n ; k n S S * x k k - 1 k 0 Tak Nie

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie wielomianu Złożoność alg.:Start Stop S a n ; k n S a n ; k n S S * x k k - 1 k 0 Tak Nie (n+1) razy S każde S: k mnożeń Razem: (n+1) = Złożoność= O(n 2 )

J.Nawrocki, Wprowadzenie.., Wykład 2 Obliczanie wielomianu P(x)= (((a n )*x + a n-1 )*x + a n-2 )*x + a n-3... Schemat Hornera Jak zmniejszyć liczbę mnożeń?

J.Nawrocki, Wprowadzenie.., Wykład 2 Problem stopu Dany jest podprogram X. Czy ten podprogram skończy obliczenia w skończonym czasie?

J.Nawrocki, Wprowadzenie.., Wykład 2 Problem stopu Pewien Grek powiedział, że każdy Grek jest kłamcą. Paradoksy logiczne

J.Nawrocki, Wprowadzenie.., Wykład 2 Problem stopu Pewien Grek powiedział, że każdy Grek jest kłamcą. Paradoksy logiczne

J.Nawrocki, Wprowadzenie.., Wykład 2 Problem stopu Czy istnieje zbiór wszystkich zbiorów? Z - zbiór wszystkich zbiorów Q = Z { Z } { Z } Z Q Z Q Z Paradoksy logiczne

J.Nawrocki, Wprowadzenie.., Wykład 2 Problem stopu procedure ZatrzymaSię(P: procedure): Boolean; { ??? } procedure X; { while ZatrzymaSię(X) do ; }

J.Nawrocki, Wprowadzenie.., Wykład 2 Problem stopu ZatrzymaSię(X) procedure X Tak Nie Wniosek: Problem stopu jest nierozstrzygalny

J.Nawrocki, Wprowadzenie.., Wykład 2 Podsumowanie Język schematów blokowych jest wygodnym narzędziem opisu algorytmów. Koncepcja von Neumanna polegała na kodowaniu programów za pomocą liczb i pamiętaniu ich kodu w pamięci operacyjnej. Nie wszystko można obliczyć. Wreszcie!

J.Nawrocki, Wprowadzenie.., Wykład 2 Literatura J. Nawrocki, Programowanie komputerów IBM metodą systematyczną, Wydawnictwo Politechniki Poznańskiej, Poznań, 1991.

J.Nawrocki, Wprowadzenie.., Wykład 2 Ocena wykładu 1. Wrażenie ogólne? (1 - 6) 2. Zbyt wolno czy zbyt szybko? 3. Czy dowiedziałeś się czegoś ważnego? 4. Co poprawić i jak?