SW wykład 6 - Slajd9

<<powrót do strony wykładu

Parametry Semantyka procedur Semantyka procedur, c.d. Semantyka procedur bezparametrowych Przekazywanie przez zmienną Przekazywanie przez wartość Przekazywanie przez nazwę Wejście/wyjście Semantyka wejścia/wyjścia Semantyka wejścia/wyjścia, c.d. Semantyka wejścia/wyjścia, c.d. Programy Problem Nowe podejście Kontynuacje

Oczywiście, dla opisu instrukcji wejścia/wyjścia musimy wprowadzić jakiś model standardowego wejścia i wyjścia. Przyjmijmy, że są to potoki liczb: skończone (i zakończone znacznikiem eof) lub nieskończone ciągi liczb całkowitych. Rozszyfrowanie dokładnej definicji dziedziny Stream (patrz ramka w prawym dolnym rogu) zostawmy na potem, na razie zadowalając się intuicyjnie czytelnym przybliżeniem tej definicji i powyższym opisem naszych intencji.

Standardowe wejścia i standardowe wyjścia to takie właśnie potoki liczb.

Wprowadźmy jeszcze nową dziedzinę stanów, które są trójkami: skład, wejście, wyjście.

UWAGA: stosując się do standardowego nazewnictwa, ponownie wykorzystujemy tu nazwę "stan" i "dziedzina stanów", które jednak są teraz czym innym niż stany i ich dziedzina, o których mówiliśmy w semantyce najprostszej wersji języka TINY (przed wprowadzeniem środowisk). Przepraszamy! Ponieważ do tamtych pojęć nie będziemy jakiś czas wracać, zawsze powinno być jasne z kontekstu, o które stany chodzi, i nie powinno to prowadzić do nieporozumień.