Maszyna RAM
Z Wikipedii
 |
Ten artykuł wymaga dopracowania zgodnie z zaleceniami edycyjnymi. Należy w nim poprawić: to nie jest opis maszyny RAM, tylko maszyny licznikowej patrz: Counter machine. Dokładniejsze informacje o tym, co należy poprawić, być może znajdziesz na stronie dyskusji tego artykułu. Po naprawieniu wszystkich błędów można usunąć tę wiadomość. |
Maszyna RAM to, podobnie jak Maszyna Turinga, abstrakcyjny model obliczeń z nieograniczoną pamięcią.
Maszyna RAM składa się ze wskaźnika rozkazów, czyli komórki zawierającej aktualnie wykonywaną instrukcję oraz pamięci będącej tablicą rozmiaru "Alef Zero". Maszyna RAM realizuje program wyrażony w skończonej liczbie instrukcji:
| Instrukcja | Znaczenie | |
| Z(n) | z[n]:=0 | Wyzeruj komórkę o numerze n. Zwiększ wskaźnik rozkazów o 1. |
| S(n) | z[n]:=z[n]+1 | Dodaj 1 do komórki o numerze n. Zwiększ wskaźnik rozkazów o 1. |
| T(m,n) | z[n]:=z[m] | Skopiuj zawartość komórki o numerze m do komórki o numerze n. Zwiększ wskaźnik rozkazów o 1. |
| I(m,n,q) | if z[m]=z[n] then goto q | Jeśli zawartości komórek o numerach n i m są równe, ustaw wskaźnik rozkazów na q w przeciwnym wypadku zwiększ go o 1. |
gdzie z[x] oznacza wartość komórki pamięci o numerze x, y := x przypisanie zmiennej y wartości zmiennej x, a x = y porównanie wartości zmiennych x i y.
[edytuj] Przykład
Przykładowy RAM-program:
| 0 | Z(3) |
| 1 | I(1,3,5) |
| 2 | I(2,3,6) |
| 3 | S(3) |
| 4 | I(0,0,1) |
| 5 | S(0) |
Program liczy funkcję f zdefiniowaną następująco:
Jako wejście przyjmuje dwie wartości x i y (umieszczane odpowiednio w komórkach o numerach 1 oraz 2). Pozostałe komórki pamięci są wyzerowane. Wynik działania programu (zwracana wartość) znajduje się w komórce o numerze 0.
[edytuj] Dydaktyka
Maszyna RAM jest także dobrym wprowadzeniem do programowania oraz logicznego myślenia. Pozwala na wyrobienie dobrych nawyków, np. żeby zawsze inicjalizować zmienne przed ich użyciem. Często jest wykorzystywana na pierwszych, wprowadzających lekcjach informatyki w szkole.
Zwykle stosuje się różnego rodzaju emulatory tejże maszyny, które może nie w sposób efektywny, lecz atrakcyjny wizualnie sposób przedstawiają działanie kodu napisanego przez młodego programistę. Wtedy upodabnia się instrukcje Maszyny RAM do komend asemblera takich jak add, sub, mult, div, call.
[edytuj] Zobacz też
| 14 milionów ludzi przymiera głodem |
 Organizacje humanitarne alarmują, że kilkanaście milionów osób we Wschodniej Afryce przymiera głodem. To efekt suszy najgorszej od trzech lat, a także rosnących cen paliw i - w efekcie - żywności.
|
| Brama Brandenburska nie dla Obamy |
 Barack Obama zaczyna swoją podróż po Europie od wizyty w Niemczech. Spotka się z tamtejszymi politykami, a wieczorem wygłosi przemówienie. Nie zrobi tego jednak pod Bramą Brandenburską - to efekt sprzeciwu kanclerz Angeli Merkel.
|
| Kolejny wyciek w elektrowni atomowej |
 To już drugi wyciek w elektrowni atomowej Tricastin niedaleko francuskiego La Bollene w ostatnich kilkunastu dniach. Tym razem blisko stu pracowników zostało skażonych przez radioaktywny pył. Poprzednio razem do pobliskich rzek wydostało się 30 metrów sześciennych cieczy zawierającej uran.
|
| Aktywne życie w ukryciu |
 Jak na ukrywającego się zbrodniarza wojennego, Radovan Karadżić prowadził w Belgradzie bardzo aktywne życie: publikował, wykładał, miał kochankę i ulubiony lokal, gdzie opowiadał o rzekomej rodzinie w Ameryce.
|
| WÅ‚osi za Traktatem |
 Za - 286. Przeciw - 0. Włoski Senat uchwalił w środę ustawę o ratyfikacji Traktatu Lizbońskiego. Traktat Reformujący czeka jeszcze głosowanie w Izbie Deputowanych.
|