1249
правок
Категория:Теория автоматов: различия между версиями
Перейти к навигации
Перейти к поиску
нет описания правки
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
| Строка 1: | Строка 1: | ||
В [[дискретная математика|дискретной математике]], разделе [[информатика|информатики]], '''теория автоматов''' (''automata theory'') изучает абстрактные машины в виде математических моделей, и проблемы, которые они могут решать. | В [[дискретная математика|дискретной математике]], разделе [[информатика|информатики]], '''теория автоматов''' (''automata theory'') изучает [[Абстрактная машина|''абстрактные машины'']] в виде математических моделей, и проблемы, которые они могут решать. | ||
Теория автоматов наиболее тесно связана с [[теория алгоритмов|теорией алгоритмов]]. Это объясняется тем, что автомат преобразует дискретную информацию по шагам в дискретные моменты времени и формирует результирующую информацию по шагам заданного [[алгоритм| алгоритма]]. Эти преобразования возможны с помощью технических и/или программных средств. Автомат можно представить как некоторый [[Преобразователь|преобразователь]], который перерабатывает входные сигналы в выходные и который может иметь некоторые внутренние состояния. | Теория автоматов наиболее тесно связана с [[теория алгоритмов|теорией алгоритмов]]. Это объясняется тем, что автомат преобразует дискретную информацию по шагам в дискретные моменты времени и формирует результирующую информацию по шагам заданного [[алгоритм| алгоритма]]. Эти преобразования возможны с помощью технических и/или программных средств. Автомат можно представить как некоторый [[Преобразователь|преобразователь]], который перерабатывает входные сигналы в выходные и который может иметь некоторые внутренние состояния. | ||
При анализе автоматов изучают их поведение при различных возмущающих воздействиях и минимизируют число состояний автомата для работы по заданному [[алгоритм | алгоритму]]. Такой автомат называют [[абстрактный автомат|абстрактным]]. При синтезе автоматов формируют систему из элементарных автоматов, эквивалентную заданному | При анализе автоматов изучают их поведение при различных возмущающих воздействиях и минимизируют число состояний автомата для работы по заданному [[алгоритм | алгоритму]]. Такой автомат называют [[абстрактный автомат|абстрактным]]. При синтезе автоматов формируют систему из элементарных автоматов, эквивалентную заданному абстрактному автомату. Такой автомат называется [[структурный автомат|структурным]]. | ||
Автоматы часто классифицируются через [[Формальный язык|формальные языки]], которые они могут распознавать. | Автоматы часто классифицируются через [[Формальный язык|формальные языки]], которые они могут распознавать. | ||