Аноним

Категория:Теория автоматов: различия между версиями

Материал из WEGA
нет описания правки
м (Защищена страница «Категория:Теория автоматов» ([edit=autoconfirmed] (бессрочно) [move=autoconfirmed] (бессрочно)))
Нет описания правки
Метка: visualeditor
 
(не показаны 2 промежуточные версии этого же участника)
Строка 1: Строка 1:
В [[дискретная математика|дискретной математике]], разделе [[информатика|информатики]], '''теория автоматов''' изучает абстрактные машины в виде математических моделей, и проблемы, которые они могут решать.  
В [[дискретная математика|дискретной математике]], разделе [[информатика|информатики]], '''теория автоматов''' изучает абстрактные машины в виде математических моделей, и проблемы, которые они могут решать.  


Теория автоматов наиболее тесно связана с [[теория алгоритмов|теорией алгоритмов]]. Это объясняется тем, что автомат преобразует дискретную информацию по шагам в дискретные моменты времени и формирует результирующую информацию по шагам заданного [[алгоритм| алгоритма]]. Эти преобразования возможны с помощью технических и/или программных  средств. Автомат можно представить как некоторое устройство (чёрный ящик), на которое подаются входные сигналы и снимаются выходные и которое может иметь некоторые внутренние состояния.
Теория автоматов наиболее тесно связана с [[теория алгоритмов|теорией алгоритмов]]. Это объясняется тем, что автомат преобразует дискретную информацию по шагам в дискретные моменты времени и формирует результирующую информацию по шагам заданного [[алгоритм| алгоритма]]. Эти преобразования возможны с помощью технических и/или программных  средств. Автомат можно представить как некоторый [[Преобразователь|преобразователь]], который перерабатывает входные сигналы в выходные и который может иметь некоторые внутренние состояния. При анализе автоматов изучают их поведение при различных возмущающих воздействиях и минимизируют  число состояний автомата для работы по заданному [[алгоритм | алгоритму]]. Такой автомат называют [[абстрактный автомат|абстрактным]]. При синтезе  автоматов формируют систему из элементарных автоматов, эквивалентную заданному  [[абстрактный автомат|абстрактному автомату]]. Такой автомат называется [[структурный автомат|структурным]].
 
При анализе автоматов изучают их поведение при различных возмущающих воздействиях и минимизируют  число состояний автомата для работы по заданному [[алгоритм | алгоритму]]. Такой автомат называют [[абстрактный автомат|абстрактным]].  
При синтезе  автоматов формируют систему из элементарных автоматов, эквивалентную заданному  [[абстрактный автомат|абстрактному автомату]]. Такой автомат называется [[структурный автомат|структурным]].


Автоматы часто классифицируются через [[Формальный язык|формальные языки]], которые они могут распознавать.
Автоматы часто классифицируются через [[Формальный язык|формальные языки]], которые они могут распознавать.
Строка 11: Строка 8:


Есть несколько классов автоматов, например [[Конечный автомат|конечные автоматы]] (различают детерминированные и недетерминированные конечные автоматы), [[МП-автомат|МП-автоматы]], [[ЛО-автомат|ЛО-автоматы]], [[Клеточный автомат|клеточные автоматы]] (игра «жизнь»), [[Машина Тьюринга|машины Тьюринга]].
Есть несколько классов автоматов, например [[Конечный автомат|конечные автоматы]] (различают детерминированные и недетерминированные конечные автоматы), [[МП-автомат|МП-автоматы]], [[ЛО-автомат|ЛО-автоматы]], [[Клеточный автомат|клеточные автоматы]] (игра «жизнь»), [[Машина Тьюринга|машины Тьюринга]].
[[Категория:Теория вычислений]]