Ile jest programów napisanych w Pascalu?

Krzysztof Judycki - 6 Lip 2005, 20:25

Witam

Pascalu?"
Odp:
Przy zalozeniu, ze kazdy program to ograniczony ciag znaków to programów
jest przeliczalna ilosc dlatego,ze zbiór wszystkich ciagów skończonych o
wyrazach nalezacych do zbioru przeliczalnego jest przeliczalny
Czy odp jest poprawna?

Zbyszek Zarzycki - 7 Lip 2005, 02:42

Nie, nie ma ograniczonej długości zbioru.

Doodge - 7 Lip 2005, 04:44

Drogi Zbyszku:
- po pierwsze: *"Przy zalozeniu, ze kazdy program to ograniczony ciag
znaków"*
- po drugie: Jak wyobrazasz sobie program o nieskonczonej dlugosci

niego dluzszy, ale on i tak bedzie skonczonej dlugosci]

Zbyszek Zarzycki - 7 Lip 2005, 05:10

Ale jak już policzysz wszystkie programy o długości nie większej niż x,
to zawsze będziesz mógł dodać jeszcze jeden program zawierający kolejną
instrukcję. W zalożeniach nie ma informacji że długość programów jest
ograniczona
Zdanie: zbiór wszystkich ciagów skończonych o
wyrazach nalezacych do zbioru przeliczalnego jest przeliczalny
jest prawdziwe pod warunkiem że jest ograniczona długość ciągu.

Swoją drogą to jakaś totalna bzdura porównywalan tylko z liczeniem
diabłow na łebku od szpilki. :-)

Marcin Mańk - 7 Lip 2005, 06:22

http://pl.wikipedia.org/wiki/Zbi%C3%B3r_przeliczalny

Pozdrawiam
Marcin Mańk

Zbyszek Zarzycki - 7 Lip 2005, 06:36

:-(
No tak, 20+ lat od skonczenia strudiów. Pamięć już nie ta.
Zapomniałem że zbiór przeliczany to zbiór nieskończony.

Dzięki.

Marcin 'Qrczak' Kowalczyk - 7 Lip 2005, 07:04

Zbiór skończonych ciągów elementów z ustalonego skończonego zbioru
jest przeliczalny.

PiTer - 7 Lip 2005, 09:26

Jestem ciekaw, czy ktos zastanowil sie nad dzialaniem i sensem powstania
tych programow?

Wiktor S. - 7 Lip 2005, 19:16

Nie do końca. Przy bardzo dużym programie kompilator może się posypać.
Źródła lub wynikowy plik .exe mogą się nie zmieścić na dysku. W każdym razie
na pewno dojdziemy do momentu, gdy nie będziemy mogli dodać kolejnej
instrukcji (brak miejsca, pamięci, ograniczenie kompilatora, systemu lub
procesora).

Marcin 'Qrczak' Kowalczyk - 7 Lip 2005, 19:39

W praktyce tak, ale można też rozważać wyidealizowane programy w Pascalu,
które nie mają tego rodzaju ograniczeń.

Wiktor S. - 7 Lip 2005, 19:51

NTG, pl.sci.matematyka :-)

Sławomir Siwek - 8 Lip 2005, 08:41

Program w pasalu to taki który zaczyna się od słowo program, które musi
zawierać określony zestaw znaków zakończony średnikiem.
Inne nie mogą być poprawnymi programami w pascalu.

Wiktor S. - 8 Lip 2005, 09:56

===
begin
  writeln('Hello, world!')
end.
===

i pokaż mi tu "program" i średnik :-)

slaw...@seznam.cz - 10 Lip 2005, 11:57

czyli program niepoprawny z punktu widzenie specyfikacji
pascala. To, że się skompiluje nie oznczacza, że jest
poprawnym programem.

Raf256 - 11 Lip 2005, 13:37

2005 02:25

Pytanie było o to ile jest czy ile może być?

Raf256 - 11 Lip 2005, 13:38

Język Pascal wymaga. Turbo/Object/Free Pascal, Delphi itd - nie są zgodne z
pierwowzorem, zawierają wiele własnych rozszrzeń i zian :)

-man - 11 Lip 2005, 14:08

Zarówno w Delphi jaki i Turbo słowo programi jest niezbędne, nie wiem jak z
free.

-Man

slaw...@seznam.cz - 11 Lip 2005, 14:21

Nie wiem czy przedpotopowy - obecne są tylko częściowo
zgodne. Pascal 3 Borlanda był zgodny. Doskonały do nauki bo
nie posiadał zbyt wiele modułów czyli wiele rzeczy trzeba
było samemu tworzyć (koło na nowo czasem)

Wiktor S. - 11 Lip 2005, 18:04

bzdura.

-man - 12 Lip 2005, 15:57

Co bzdura?
Pokaż mi jak kompiluje się program w Delphi po usunięciu słowa program.
Chyba że jesteś z tych zdolnych co nie zawracją sobie głowy kodem stworzonym
przez środowisko.

-Man

Rafal sxat - 12 Lip 2005, 17:11

nie wiem o co chodzi za bardzo bo sie kombiluje
np gdy mamy w pliku program <nazwa_programuto po usunieciu tej linijki
kombilator bedzie sie plul tylko o plik res wiec trzeba mu dac przez
wpisanie {$R <nazwa_programu.res} i tez sie piekny dzialajacy pliczek
utworzy

pozdr
RAfal(sxat)