PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 6

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  maszyna Turinga
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Maszyna Turinga - podstawy działania i programowania
Gawryś Katarzyna
MINUT Matematyka i Informatyka na Uczelniach Technicznych
|
2023
|
Nr 5
264-272
PL
Maszyna Turinga jest opracowanym przez Alana Turinga ideowym modelem programowania. Ten abstrakcyjny model urządzenia służył do zapisu i wykonania algorytmów. Niniejszy artykuł opisuje budowę i sposób działania maszyny Turinga oraz zasady zapisu algorytmów w postaci tabeli przejść. W artykule umieszczono przykład użycia symulatora maszyny Turinga do rozwiązania przykładowego zadania. Analiza zamieszczonego przykładu, pozwoli odbiorcy, na przyswojenie sposobu szukania rozwiązania problemu, dla ideowego modelu komputera, jakim jest maszyna Turinga.
2
Content available Implementation of the Turing machine symulator
Nosażewski Paweł, Wiśniewska Joanna
Computer Science and Mathematical Modelling
|
2021
|
No. 13-14
17--29
EN
This paper describes the process of designing and implementing a Turing machine simulator application. The created desktop application is distinguished from other solutions by the use of the latest technology and offline operating. The various stages of the project are described, such as defining requirements, creating UML diagrams, and prototyping the user interface. A MVVM architectural model used in building the application is presented. The issues of controls, data binding, and message passing found in the Avalonia package are addressed. The unit tests created and the exploratory tests performed are also described.
PL
Artykuł opisuje proces projektowania i implementacji aplikacji symulatora maszyny Turinga. Wytworzona aplikacja desktopowa wyróżnia się wśród innych rozwiązań zastosowaniem najnowszych technologii i brakiem konieczności połączenia z Internetem. Opisano poszczególne etapy projektu, takie jak zdefiniowanie wymagań, utworzenie diagramów UML, sporządzenie prototypu interfejsu użytkownika. Przedstawiony został wzorzec architektoniczny MVVM zastosowany podczas budowy aplikacji. Poruszono kwestie kontrolek, wiązania danych i przesyłania komunikatów występujące w pakiecie Avalonia. Opisano także utworzone testy jednostkowe i przeprowadzone testy eksploracyjne.
3
Wielopoziomowa struktura maszyn cyfrowych
Stasiak M.
Nowa Elektrotechnika
|
2008
|
nr 4 (44)
21--23
4
Capturing evolution of polymorphic viruses
Eberbach E.
Prace Naukowe Politechniki Warszawskiej. Elektronika
|
2006
|
z. 156
125-138
EN
In this paper three models of polymorphic viruses are presented. These models had to capture self-reproduction, evolution and damaging payload of polymorphic viruses. They have been derived using a formal model of Evolutionary Computation the Evolutionary Turing Machine, cellular space models, and the $-calculus process algebra for problem solving. Some preliminary results associated with these models are discussed.
5
Content available remote Funkcje normalne jako nowy model definiowania funkcji obliczalnych
Dubiel L.
Computer Science
|
2004
|
Vol. 6
7-28
PL
Artykuł prezentuje nową metodę definiowania funkcji obliczalnych. Metoda jest formalizacją tradycyjnego zapisu funkcji i pozwala na określanie funkcji w sposób intuicyjny. W systemie funkcji rekursywnych Hilberta nie wszystkie odwzorowania, które mają łatwe algorytmy obliczania, mogą być równie łatwo zdefiniowane formalnie, czego przykładem jest funkcja Ackermanna. Funkcje normalne są pozbawione tej wady.
EN
Report sets new method of defining computable functions. This is formalization of traditional function descriptions, so it allows to define functions in very intuitive way. Discovery of Ackermann function proved that not all functions that can be easily computed can be so easily described with Hilbert's system of recursive functions. Normal functions lack this disadvantage.
6
Content available remote Generowanie maszyn Turinga poprzez zastosowanie nowych modeli obliczeniowych
Dubiel L.
Computer Science
|
2003
|
Vol. 5
7-25
PL
Dla każdego problemu obliczalnego istnieje algorytm jego rozwiązania, który może być przedstawiony w postaci konkretnej maszyny Turinga. Ze względu na prostotę tej maszyny programy są bardzo skomplikowane i nieprzejrzyste. Dlatego tworzy się inne modele obliczenia, na których można szybko i łatwo zapisywać algorytmy związane z danym typem problemu, a następnie symuluje się działanie tych modeli na maszynie Turinga. Niniejszy artykuł przedstawia metodologię znajdowania modelu obliczeniowego pasującego do danego typu problemów i przekształcenie go w odpowiednią maszynę Turinga na przykładzie obliczeń na liczbach naturalnych.
EN
For each problem that can be solved there exists algorithm, which can be described with a program of Turing machine. Because this is very simple model programs tend to be very complicated and hard to analyse by human. The best practice to solve given type of problems is to define a new model of computation that allows for quick and easy programming, and then to emulate its operation with Turing machine. This article shows how to define most suitable model for computation on natural numbers and defines Turing machine that emulates its operation.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.