Dyskusja:Maszyna Turinga

message: * Dostateczny/najwyższe - przebudowa nie jest dokończona, należy poprawić końcówkę oraz dodać źródła. --Zyx (dyskusja) 07:26, 23 wrz 2010 (CEST)
thread_title:  Ocena jakości 

message: Po tej ostatniej poprawce trochę to się niejednoznacze zrobiło. Bo zostało wykreślone, że maszyna może zostać w miejscu, a chwilę później jest napisane, że "nie ma potrzeby pozwalać na pozostanie maszyny na tym samym polu", więc jednak jest taka możliwość. --Piecu 20:59, 27 maj 2006
Uznałem, że tekst ten zbytnio ekstrapoluje możliwości i zastosowania maszyny Turinga, przez co robi młodym ludziom wodę z mózgu. Obecnie maszyna Turinga jest bardzo kiepskim modelem współczesnego komputera i zupełnie nie nadaje się jako miara uniwersalności komputerów i narzędzi programistycznych. Nie chciałem używać zbyt drastycznych sformułowań, ale fakty są takie, że obecnie maszyna Turinga jest pięknym zabytkiem, który tak się ma do komputera jak samolot braci Wright do Boeinga. W obecnej informatyce do niczego istotnego nie służy. --Kraken 18:55, 3 sierpnia 2006
replies: text: MT nie służy do używania. ;)

text: MT sie nie stosuje ani nie używa praktycznie. Przez "ładnych parę lat" od wymyślenia nie był nawet zbudowany żaden model, a i tak "korzystano" z niej od czasu do czasu. Nie ma co porównywać do samolotu braci Wright, bardziej do szkiców "wirolotu" Leonarda da V.

text: Nazwanie SQL-a "użytecznym językiem programowania" jest trochę przesadą, bo chyba jeszcze nikomu nie udało się  zaprogramować czegoś użytecznego [tylko] w SQL-u

text: przygotowuję się psychicznie na wycięcie tego  dziwnego fragmentu ;) i zrobię to jeśli nikt się nie sprzeciwi. --severson 22:40, 3 sie 2006 (CEST)
Bardzo proszę o zrobienie tego, co kolega/koleżanka uważa za sluszne, przy zachowaniu zasady, że nie będzie się młodym ludziom robić wody w mózgu (co jawnie robi intuicyjna definicja). Uprę się i bedę traktował MT jako informatyczny zabytek, bardzo ciekawy, ale w dzisiejszych czasach nieprzydatny z praktycznego punktu widzenia. --Kraken 23:15, 3 sierpnia 2006

text: MT __nigdy__ nie była przydatna z praktycznego punktu widzenia, za to pewnie zawsze będzie użyteczna w informatyce teoretycznej, i tak trzeba ją traktować - jako coś teoretycznego, hipotetycznego itd.

text: Jedyne sensowne praktyczne zastosowanie to zabawka i materiał szkoleniowy dla studentów.

text: MT nie należy traktować jak zabytek, między innymi dlatego, że nigdy nie istniała (bo chyba nie wierzysz, że ktos miał w domu np. nieskończoną taśmę).

text: i jeszcze odnośnie SQL - może się zdziwisz, ale to możliwe, żeby zrobić na MT to samo co w SQL-u, tylko trzeba byłoby "staśmować" bazę i przetłumaczyć zapytanie i poczekać baaaaaaaardzo długo na wynik, ale teoretycznie to możliwe. --severson 10:16, 4 sie 2006 (CEST)
Jestem z wyksztalcenia matematykiem od nieomal 20-tu lat pracujacym jako informatyk, wiec nie musisz mi wyjasniac co to jest MT, czy ma sprzetowa inkarnacje i jaki jest jej stosunek do komputerów i języków programowania. Twoja notka "Maszyna Turinga stanowi najprostszy matematyczny model komputera, wszystkie algorytmy przetwarzania danych dają się do niej sprowadzić" jest nieprawdziwa, robiąca mlodym ludziom wodę z mózgu. Prawdziwe jest tylko to, ze maszyna Turinga jest modelem pozwalającym na wyliczanie dowolnej funkcji rekurencyjnej (to jest zresztą teza Churcha, nie do udowodnienia), tak samo jak algorytmy Markowa, i wiele innych podobnych koncepcji, równoważnych z tego punktu widzenia. Jezeli chodzi o algorytmy, to są one uzależnione najczęściej od struktur danych (mialeś taki przedmiot - algorytmy i struktury danych?), natomiast MT dysponuje tylko jedną taką strukturą, mianowicie nieskończoną taśmą (dwoma, trzema, itd.). Zatem większość algorytmów jest niewyrażalna w terminach MT, ponieważ nie zajmuje się ona odpowiednimi dla niej strukturami danych. Ekstrapolacja możliwości i potencjalnego znaczenia MT dla informatyki jest nie tylko szkodliwe dla rozwoju tej ostatniej, jest tez nieetyczne. Na bazie tego rodzaju skojarzen ogromna rzesza polskich matematyków przefarbowuje się obecnie na informatyków. Poniewaz ich wiedza na temat informatyki praktycznej przypomina Saharę, miejscem, gdzie się najczęściej lokują, są placówki edukacyjne, gdzie uczą pseudo-teoretycznych bzdetów lub po prostu czystej matematyki. Jest to niewyobrażalne, katastrofalne szkodnictwo dla rozwoju informatyki w Polsce! Dodam, że MT została umieszczona w (jeszcze nieopublikowanym) standardzie MNiSW nauczania informatyki dla studiów inżynierskich (nie magisterskich!). Należę do grona dydaktyków-informatyków, które zamierza z tego m.in. powodu zaatakować publicznie ten pseudo-standard jako szkodliwy dla edukacji informatycznej w Polsce.
Twoja definicja jest jedną z wielu małych legitymacji uprawniających matematyków do tej mimikry, i dlatego uznałem za konieczne ostrzeżenie młodych ludzi przed fałszywymi skojarzeniami. Jest prawie pewne, że po moim ostrzeżeniu 99% mlodych ludzi czytających ten fragment Wiki przestałoby dalej czytać, uznając, że ich to nie interesuje. Wycinając ten fragment celowo wprowadzasz ich w błąd, a to jest nieetyczne. --Kraken 14:05, 4 sierpnia 2006

text: 1) teza "wszystkie algorytmy przetwarzania danych dają się do niej sprowadzić" jest rzeczywiście nieprawdziwa. Poprawiłem.

text: 2) "maszyna Turinga jest modelem pozwalającym na wyliczanie dowolnej funkcji rekurencyjnej (to jest zresztą teza Churcha, nie do udowodnienia)" - nieprawda, teza Churcha mówi o czymś zupełnie innym

text: 3) "Zatem większość algorytmów jest niewyrażalna w terminach MT" - według klasycznej definicji "wyrażalności" (redukcji) w informatyce, jednak większość praktycznych algorytmów JEST wyrażalna w terminach MT, jest to nawet w pewnym sensie idiom

text: 4) dlaczego "ekstrapolacja możliwości i potencjalnego znaczenia MT dla informatyki" miałaby być nieetyczna? To dość poważne oskarżenie i brzmi po prostu żenująco, jeśli nie jest poparte argumentami...

text: 5) Wikipedia nie jest miejscem toczenia batalii n/t polskiego systemu szkolnictwa i promowania swoich poglądów w tym zakresie

text: 6) definicja nikogo do niczego nie uprawnia. Czy np. definicja nazizmu uprawnia kogokolwiek do jego propagowania? Nie! Definicja to tylko definicja. Zawsze ma wartość informacyjną, o ile jest jakoś tam sensowna.

text: 7) artykuł (przynajmniej w aktualnej wersji) nie prezentuje już chyba fałszywych skojarzeń.

text: 8) umieszczanie informacji mającej zasugerować komuś, że dany temat nie jest interesujący i skłonić go do przerwania czytania jest skrajnym przejawem POV, rzekłbym, jest to mentalny faszyzm.

text: Scobac2 14:08, 14 sie 2007 (CEST)
replies: text: : Ja bym się chciał tylko zapytać, czym są struktury danych? I czym jest pamięć komputera? Z punktu widzenia programisty jest to właśnie długa taśma stanów...co prawda o swobodnym w miare dostepnie, ale zawsze..
replies: text: :: Czym są? Sposobem w jaki dane są reprezentowane w pamięci komputera. Pamięć poniekąd jest taką właśnie taśmą, a procesor automatem stanowym, jednak obawiam się, że jego działanie wykracza poza ramy definicji Maszyny Turinga. Natomiast trudno mi się zgodzić z tezą, że niektóre algorytmy, które można zaimplementować na komputerze, są niewyrażalne w MT. Bo właśnie o to chodzi w tej całej zabawie, że da się opisać taką MT, która jest w stanie je obliczać. Oczywiście nierzadko wymaga to sporej matematycznej ekwilibrystyki, by dało się te struktury danych wcisnąć na pojedynczą taśmę, natomiast zdecydowanie można udowodnić, że się da to zrobić. 17:03, 18 lut 2011 (CET) (wiem, że odgrzebuję dyskusję sprzed lat, ale skoro już ją zastałem to czemu by czegóś nie napisać)
thread_title:  Dyskusje 

message: W tekście występuje to określenie, jednak zamiast być wyjaśnionym, bądź linkować do (choćby nienapisanego jeszcze) artykułu je wyjaśniającego, jest tylko wyróżnione kursywą. Ja sam tego nie poprawię, bo zauważyłem to właśnie dlatego, że nie wiem co to znaczy, więc jeśli znalazł by się ktoś bardziej w temacie i zrobił z tego linka do osobnego hasła, to byłoby fajnie. 17:03, 18 lut 2011 (CET)
thread_title: &bdquo;niepoprawnie określone&rdquo;

message: To jest uwaga (prawdopodobnie do szablonu) na dole strony, nie jestem wikipisarzem więc nie wiem.
Przy maszynie Turinga żadne gwiazdki są niepotrzebne. Maszyna Turinga, która zatrzymuje się dla dowolnych danych wejściowych, jest określana terminem: właściwa maszyna Turinga. Używając tego określenia unikacie jednocześnie nieco źle brzmiącego określenia, że maszyna musi zatrzymać się zawsze.
Automaty i języki formalne, Tadeusz Krasiński, strona 125.
thread_title:  Hierarchia Chomsky’ego 

message: "Maszyna Turinga – stworzony przez Alana Turinga matematyczny model obliczeń, który definiuje abstrakcyjną maszynę służącą do wykonywania algorytmów." - maszyna definiuje maszynę? Zgłasza: R. 37.190.157.185 (dyskusja) 14:08, 3 cze 2020 (CEST)
replies: text: A teraz? --WTM (dyskusja) 20:32, 3 cze 2020 (CEST)
thread_title:  z [[Wikipedia:Zgłoś błąd w artykule]] 

message: "Istnieją też maszyny Turinga wielotaśmowe" - istnieją? Z nieskończonymi taśmami? Zgłasza: R. 37.190.157.185 (dyskusja) 14:14, 3 cze 2020 (CEST)
replies: text: A teraz? --WTM (dyskusja) 20:32, 3 cze 2020 (CEST)
replies: text: : Myślę, że "Rozważa się też" mówiłoby więcej niż "Można rozważać też". R.37.190.157.185 (dyskusja) 00:45, 6 cze 2020 (CEST)
thread_title:  z [[Wikipedia:Zgłoś błąd w artykule]]