Элементы теоретического программирования Машина Тьюринга – математическое понятие алгоритма. - презентация

Презентация на тему: " Элементы теоретического программирования Машина Тьюринга – математическое понятие алгоритма." — Транскрипт:

1 Элементы теоретического программирования Машина Тьюринга – математическое понятие алгоритма

2 Каждой паре вида (s i, q i ), где s i А и q i Q\, соответствует тройка (s j, t, q j ), где s j A, t T и q j Q (q 0 не участвует в парах (s i, q i ), так как паре (s i, q 0 ) уже ничего не соответствует, машина останавливается в заключительном состоянии q 0 ).

3 Машина Тьюринга – математическое понятие алгоритма Множество всех пар вида (s i, q i ), где s i A и q i Q\, называется произведением множеств А и Q\