Ortografia: maszyna Turinga, problem stopu oraz przecinek

 
Ortografia: maszyna Turinga, problem stopu oraz przecinek
28.12.2016
Jak zapisać określenia uniwersalna maszyna Turinga i problem stopu? Oba wyrażenia zapisałabym małymi literami, jednak spotkałam się z twierdzeniem, że mogą one funkcjonować jako nazwy własne, a wówczas należałoby zapisać je dużymi literami.
Bardzo proszę też o informację, czy w zdaniu Muzea są fundamentem rozwoju turystyki muzealnej, która(,) jak słusznie ocenia XY, jest... po która należy postawić przecinek.

Pozdrawiam
Anna J.
Pisze się maszyna Turinga (vide Wielki słownik ortograficzny PWN pod redakcją E. Polańskiego, Warszawa 2016, s. 1168) oraz uniwersalna maszyna Turinga. W takich nazwach człon rzeczownikowy (właśnie maszyna), a nieraz i przymiotnikowy (uniwersalna) traktuje się apelatywnie.
Przy okazji warto przypomnieć, że określenia maszyna Turinga używa się na stworzone w 1936 roku przez angielskiego matematyka i informatyka (zmarł w 1954 roku) Alana Matchisona Turinga urządzenie algorytmiczne (niezwykle prymitywne w porównaniu ze współczesnymi komputerami i językami programowania), pozwalające na wykonanie najbardziej nawet złożonych algorytmów (składało się z nieskończenie długiej taśmy podzielonej na pola, w których zapisywało się dane).
Małymi literami zapisze się również wyrażenie problem stopu (np. „nierozstrzygalność problemu stopu maszyny Turinga”). Nazywa się tak zagadnienie algorytmiczne mające dać odpowiedź („tak” lub „nie”) na pytanie, czy dany algorytm R napisany w języku L zatrzyma się dla danych wejściowych X. Problem stopu nie został dotąd rozstrzygnięty (nie istnieje taki algorytm).

Co do interpunkcji przytoczonego przez internautkę zdania, to może ono wyglądać trojako:
  1. Muzea są fundamentem rozwoju turystyki muzealnej, która, jak słusznie ocenia XY, jest... (wydzielenie dwoma przecinkami)
  2. Muzea są fundamentem rozwoju turystyki muzealnej, która – jak słusznie ocenia XY – jest... (wydzielenie dwoma myślnikami)
  3. Muzea są fundamentem rozwoju turystyki muzealnej, która jak słusznie ocenia XY, jest… (opuszczenie przecinka po która).

Maciej Malinowski, Uniwersytet Pedagogiczny w Krakowie
Przeglądaj słowniki
Przeglądaj Słownik języka polskiego
Przeglądaj Wielki słownik ortograficzny
Przeglądaj Słownik języka polskiego pod red. W. Doroszewskiego