Форум программистов, компьютерный форум, киберфорум
С++ для начинающих
Войти
Регистрация
Восстановить пароль
Блоги Сообщество Поиск Заказать работу  
 
Рейтинг 4.91/11: Рейтинг темы: голосов - 11, средняя оценка - 4.91
0 / 0 / 0
Регистрация: 29.12.2016
Сообщений: 7

Расшифровка алгоритмов в коде(Машина Тьюринга)

13.07.2017, 14:00. Показов 2347. Ответов 3
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Всем привет! Есть код программы, имитирующий машину Тьюринга. Помогите разобраться в ней. Можете подсказать для чего здесь используемые в программе алгоритмы?
C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
#include <iostream>
#include <string>
#include <fstream>
#include <vector>
 
using namespace std;
 
class Exeption {
public:
    static void error(int line) {
        cout << "Error in " << line + 1 << " line" << endl;
    }
 
    static void undefined_transition(string st, char lt) {
        cout << "Error! Undefined transition from state " << "[" << st << "]" << " and the letter " << "[" << lt << "]" << endl;
    }
};
 
class TuringMashine {
private:
    int repeated, pointer;
    bool stopped;
    string src_filename, in_filename, out_filename, log_filename, now_state, line;
    vector<string>stack_src;
 
    void go();
    void execute_command(string cmd);
    void change_letter(char let);
    void move_right();
    void move_left();
    void stop();
 
    string get_state(string cmd);
    string get_read_letter(string cmd);
    string get_write_letter(string cmd);
    string get_next_state(string cmd);
    string get(string cmd, int k);
    string uncomment(string str);
 
    bool test_of_execute(string cmd);
    bool validation_command_test(string cmd);
    bool errors_test();
public:
    TuringMashine(string src_filename_, string in_filename_, string out_filename_);
    TuringMashine();
 
    void run();
    void print_result();
};
 
TuringMashine::TuringMashine(string src_filename_, string in_filename_, string out_filename_) :
src_filename(src_filename_),in_filename(in_filename_), now_state("00"),  repeated(0), stopped(false) {}
 
TuringMashine::TuringMashine() : src_filename("src.txt"),in_filename("input.txt"), now_state("00"), repeated(0), stopped(false) {}
 
void TuringMashine::run() {
    ifstream src(src_filename.c_str());
    ifstream in(in_filename.c_str());
 
    while(!in.eof()) {
        getline(in, line);
    }
 
    pointer = line.size();
    line.push_back(' ');
 
    while(!src.eof()) {
        string cmd;
        getline(src, cmd);
        cmd = uncomment(cmd);
        if(cmd.size() > 0) {
            stack_src.push_back(cmd);
        }
    }
 
    errors_test();
 
    if(!stopped) {
        go();
        print_result();
        cout << "Success!" << endl;
    }
}
 
bool TuringMashine::errors_test() {
    int s = 0;
    for(int i = 0; i < stack_src.size(); ++i) {
        string state = get_state(stack_src[i]);
        string read_letter = get_read_letter(stack_src[i]);
        string write_letter = get_write_letter(stack_src[i]);
        string next_state = get_next_state(stack_src[i]);
 
        if(state.size() == 0 || read_letter.size() == 0 || read_letter.size() > 1 || write_letter.size() == 0 || write_letter.size() > 1 || next_state.size() == 0) {
            Exeption::error(i);
            stopped = true;
            ++s;
        }
    }
 
    cout << s << " errors" << endl;
}
 
void TuringMashine::go() {
    for(int i = 0; i < stack_src.size() && !stopped; ++i) {
        if(test_of_execute(stack_src[i])) {
            execute_command(stack_src[i]);
            i = -1;
        }
        if(i == stack_src.size() - 1) {
            Exeption::undefined_transition(now_state, line[pointer]);
            i = -1;
            stopped = true;
        }
    }
}
 
string TuringMashine::get(string cmd, int k) {
    int s = 0;
    string tmp;
 
    for(int i = 0; i < cmd.size(); ++i) {
        if(cmd[i] == ',') {++s; ++i;}
        if(s == k && i < cmd.size()) tmp.push_back(cmd[i]);
        if(s > k) return tmp;
    }
 
    return tmp;
}
 
string TuringMashine::get_state(string cmd) {return get(cmd, 0);}
string TuringMashine::get_read_letter(string cmd) {return get(cmd, 1);}
string TuringMashine::get_write_letter(string cmd) {return get(cmd, 2);}
string TuringMashine::get_next_state(string cmd) {return get(cmd, 3);}
 
string TuringMashine::uncomment(string str) {
    string tmp;
 
    for(int i = 0; i < str.size(); ++i) {
        if(str[i] == '/' && i < str[i] - 1) {
            if(str[i+1] == '/') {
                return tmp;
            }
 
            else {
                tmp.push_back(str[i]);
                continue;
            }
        }
        tmp.push_back(str[i]);
    }
}
 
bool validation_command_test(string cmd) {
    return true;
}
 
bool TuringMashine::test_of_execute(string cmd) {
    string state = get_state(cmd);
    string read_letter = get_read_letter(cmd);
 
    return state == now_state && read_letter[0] == line[pointer];
}
 
void TuringMashine::execute_command(string cmd) {
    string write_letter = get_write_letter(cmd);
    string next_state = get_next_state(cmd);
 
    if(write_letter == ">") {move_right();}
    else if(write_letter == "<") {move_left();}
    else if(write_letter == "#") {stopped = true;}
    else {change_letter(write_letter[0]);}
 
    now_state = next_state;
 
    print_result();
 
}
 
void TuringMashine::change_letter(char let) {
    line[pointer] = let;
}
 
void TuringMashine::move_right() {
    pointer++;
    if(pointer >= line.size()) {
        line.push_back(' ');
    }
}
 
void TuringMashine::move_left() {
    if(pointer > 0) {
        pointer--;
    }
}
 
void TuringMashine::print_result() {
    cout << line << endl;
 
    for(int i = 0; i < pointer; ++i) {
        cout << " ";
    }
 
    cout << "^" << endl << endl;
}
int main() {
    TuringMashine sturing = TuringMashine();
    sturing.run();
    cin.get();
}
0
cpp_developer
Эксперт
20123 / 5690 / 1417
Регистрация: 09.04.2010
Сообщений: 22,546
Блог
13.07.2017, 14:00
Ответы с готовыми решениями:

Машина Тьюринга: деление целых чисел m и n
Мне нужно реализовать на С++ машину Тьюринга, которая выполняет деление целых чисел m и n. Подскажите, пожалуйста, любые примеры реализации...

Машина Тьюринга: проверить, можно ли составить треугольник с заданными сторонами
Помогите пожалуйста с задачей на машине Тьюринга: дано три числа в двоичной системе а, в,с , нужно проверить можно ли составить триугольник...

Машина Тьюринга: заменить символ A на символ C и подсчитать число замен
Дана последовательность символов двух видов a, b. Построить машину Тьюринга, которая заменяет символ a на символ c и подсчитывает число...

3
79 / 67 / 28
Регистрация: 22.04.2016
Сообщений: 384
13.07.2017, 15:50
Frostue,
Цитата Сообщение от Frostue Посмотреть сообщение
Можете подсказать для чего здесь используемые в программе алгоритмы?
Ну, собственно, для того, чтобы машина Тьюринга работала. Прежде всего нужно знать и понимать, что машина Тьюринга задается таблицей состояний в которой прописаны для определенных входных данных определенные инструкции по которым должна выполнятся машина Тьюринга и, следовательно, что она с этими данными должна делать.

Добавлено через 2 минуты
Кратко можно почитать здесь.
0
0 / 0 / 0
Регистрация: 29.12.2016
Сообщений: 7
13.07.2017, 18:33  [ТС]
Вот таблица состояний. В ней и поведении машины я разобрался, а вот код...?
00, ,<,01
01,0,<,01
01,1,<,01
01, ,>,02
02,0, ,60
02, ,>,70
02,1, ,61
60, ,>,10
61, ,>,11
10,1,>,10
10,0,>,10
11,1,>,11
11,0,>,11
10, ,>,20
11, ,>,21
20,0,>,20
20,1,>,20
21,0,>,21
21,1,>,21
20, ,0,30
21, ,1,31
30,0,<,30
30,1,<,30
30, ,<,40
31,0,<,31
31,1,<,31
31, ,<,41
40,1,<,40
40,0,<,40
40, ,0,50
41,1,<,41
41,0,<,41
41, ,1,50
50,0,>,02
50,1,>,02
70,0,>,70
70,1,>,70
70, ,$,80
80,$,<,81
81,0,.,90
81,1,-,90
90,.,<,81
90,-,<,81
90, , ,90
81, ,>,100
100,., ,101
101, ,>,100
100,-,-,110
110,-, ,120
120, ,<,120
120,0,>,130
120,1,>,130
130, ,>,140
140, ,-,150
150,-,>,160
160, ,>,160
160,., ,170
160,-, ,171
170, ,<,170
171, ,<,171
170,-,>,180
170,.,>,180
171,-,>,181
171,.,>,181
180, ,.,190
181, ,-,190
190,-,>,200
190,.,>,200
200, ,>,200
200,.,.,160
200,-,-,160
160,$, ,300
300, ,<,300
300,.,>,310
300,-,>,310
310, ,#,310
200,$,$,160
0
79 / 67 / 28
Регистрация: 22.04.2016
Сообщений: 384
13.07.2017, 21:23
Frostue,
Цитата Сообщение от Frostue Посмотреть сообщение
Вот таблица состояний. В ней и поведении машины я разобрался, а вот код...?
В целом, ничего заумного в этой программе нет. Считываются данные с файла. Далее в зависимости от символов идет инкрементирование или декрементирование указателей, что как бы имитирует движение ленты вправо или влево. Ну, и в случаи неудачной таблицы состояний, которая не задает корректной работы машины, выбрасывается исключение.
0
Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.
raxper
Эксперт
30234 / 6612 / 1498
Регистрация: 28.12.2010
Сообщений: 21,154
Блог
13.07.2017, 21:23
Помогаю со студенческими работами здесь

Машина Тьюринга
Доброго времени суток. У меня возникла проблема с выводом после = строки. #include &quot;stdafx.h&quot; #include &lt;string&gt; ...

Машина Тьюринга: удвоить число на ленте
Построить МТ, удваивающую число на ленте (п-р 01110 --&gt; 01111110) (не программу, а просто таблицу:)) ответ должен быть в таком виде...

Машина Тьюринга: смоделировать универсальную машину Тьюринга
Всем доброго времен суток! Ребятки, паника.. На 1 курсе препод дал работу на С++ - смоделировать универсальную машину Тьюринга, с...

Реализовать код машина Тьюринга
Ребят, нужна помощь/консультация нужно написать код машины тьюринга, должна вводиться строка из 0 или 1, вводиться команды и выдавать...

Машина Тьюринга унарное сложение
Нужно написать на С++ программу реализующую машину Тьюринга выполняющую унарное сложение Добавлено через 1 час 9 минут Подскажите с...


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
4
Ответ Создать тему
Новые блоги и статьи
PhpStorm 2025.3: WSL Terminal всегда стартует в ~
and_y87 14.12.2025
PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .
Как объединить две одинаковые БД Access с разными данными
VikBal 11.12.2025
Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.
Новый ноутбук
volvo 07.12.2025
Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro
Музыка, написанная Искусственным Интеллектом
volvo 04.12.2025
Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .
От async/await к виртуальным потокам в Python
IndentationError 23.11.2025
Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .
Поиск "дружественных имён" СОМ портов
Argus19 22.11.2025
Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .
Сколько Государство потратило денег на меня, обеспечивая инсулином.
Programma_Boinc 20.11.2025
Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .
Ломающие изменения в C#.NStar Alpha
Etyuhibosecyu 20.11.2025
Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .
Мысли в слух
kumehtar 18.11.2025
Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .
Создание Single Page Application на фреймах
krapotkin 16.11.2025
Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2025, CyberForum.ru