On 2011-08-19 11:28, Andrzej Jarzabek wrote:
> On Aug 17, 2:30 pm, Michal Kleczek<k...@p...onet.pl> wrote:
>>
>> Przy takim podejsciu to zaden jezyk nie ma, bo chyba (tutaj - fakt -
>> potrzebuje wsparcia mocniejszych teoretykow) nie da sie zrobic jezyka
>> "turing complete" bez operacji "unsafe" czyli nieweryfikowalnych
>> statycznie (takich jak rzutowanie).
>
> Musiałbyś bardziej dodefioniować, co uważasz, za operację unsafe. Na
> pewno da się zrobic język Turing complete bez rzutowania. Banalny
> przykład: Uniwaersalna Maszyna Turinga ma tylko jeden typ danych, więc
> żadnego rzutowania nie ma, a z definicji jest Turing complete.

Jak pisalem wczesniej - ktos przydalby sie madrzejszy ode mnie w tej
dysusji. Ale w mojej ciemnocie wydaje mi sie ze na podstawie tw Rice'a -
nic nietrywialnego (a wiec sensownego z punktu widzenia statycznej
weryfikacji programu) o takiej maszynie nie daje sie powiedziec. W koncu
o kazdej maszynie turinga mozna powiedziec, ze "czyta symbole alfabetu".

--
Michal