Сочинение на тему Изучение математических свойств таких роботов является теорией робота

В науке о теоретических вычислениях теория автоматов – это изучение математических объектов, называемых абстрактными машинами или компьютерными роботами, и проблем, которые могут быть решены с их помощью. Робот происходит от греческого слова a? T? Μata, что означает «autoactuante». Фигура справа иллюстрирует машину конечных состояний, которая принадлежит хорошо известной разновидности роботов. Этот робот состоит из состояний (обозначены на рисунке кружками) и переходов (обозначены стрелкой). Когда робот видит входной символ, он совершает переход (или прыжок) в другое состояние, в соответствии с его функцией перехода (которая принимает текущее состояние и недавний символ как его входы).

Теория автоматов также тесно связана с теорией формального языка. Робот – это конечное представление формального языка, который может быть бесконечным множеством. Роботы часто классифицируют себя по классу формальных языков, которые могут распознавать.

Роботы

Далее следует вводное определение типа робота, который пытается помочь нам уловить подразумеваемые основные понятия в теории автоматов.

Неформальное описание

Предполагается, что робот должен выполнить себя в определенной последовательности входов в незаметные промежутки времени. В каждый промежуток времени робот получает вход, который собирает букву или набор символов, который называется алфавитом. В любое время символы до сих пор питали робота в том виде, в котором они были введены, образуя конечную последовательность символов, которая называется словом. Робот содержит конечный набор состояний. В каждом случае во время некоторого выполнения робот находится в одном из своих состояний. В каждый промежуток времени, когда робот читает символ, переходит или переходит в следующее состояние, которое определяется функцией, которая в данный момент принимает текущее состояние, и символ считывается как параметры.

Эта функция называется переходной функцией. Робот читает символы входного слова один за другим и путешествует по штатам в соответствии с функцией перехода, пока слово не будет прочитано полностью. После прочтения входного слова говорится, что робот остановился, и состояние, в котором робот остановился, называется конечным состоянием. После окончательного состояния он говорит, что робот принимает или отклоняет входное слово. Существует подгруппа состояний робота, которая определяет себя как набор состояний принятия. Если конечное состояние является состоянием принятия, то робот принимает слово. В противном случае слово отклоняется. Набор всех слов, принятых роботом, обозначает язык, распознаваемый роботом. Таким образом, робот – это математический объект, который принимает введенное слово и решает принять его или отклонить. Поскольку все проблемы с компьютером сводятся к вопросу принятия / отклонения слов (все случаи проблем могут быть представлены в конечной длине символов), теория автоматов играет решающую роль в теории компьютеров.

Формальное определение

Робот формально представлен одной 5-туплой (Q, S, d, q0, F), где:

 
• Q – конечное множество состояний.

 

• S – это конечный набор символов, называемый алфавитом робота.

 

• d – функция перехода, то есть d: Q × S? Q.