973
правки
KVN (обсуждение | вклад) Нет описания правки |
KVN (обсуждение | вклад) Нет описания правки |
||
Строка 5: | Строка 5: | ||
При анализе автоматов изучают их поведение при различных возмущающих воздействиях и минимизируют число состояний автомата для работы по заданному [[алгоритм | алгоритму]]. Такой автомат называют [[абстрактный автомат|абстрактным]]. | При анализе автоматов изучают их поведение при различных возмущающих воздействиях и минимизируют число состояний автомата для работы по заданному [[алгоритм | алгоритму]]. Такой автомат называют [[абстрактный автомат|абстрактным]]. | ||
При синтезе автоматов формируют систему из элементарных автоматов, эквивалентную заданному [[абстрактный автомат|абстрактному автомату]]. Такой автомат называется [[структурный автомат|структурным]]. | При синтезе автоматов формируют систему из элементарных автоматов, эквивалентную заданному [[абстрактный автомат|абстрактному автомату]]. Такой автомат называется [[структурный автомат|структурным]]. | ||
Автоматы часто классифицируются через [[Формальный язык|формальные языки]], которые они могут распознавать. | Автоматы часто классифицируются через [[Формальный язык|формальные языки]], которые они могут распознавать. | ||
Строка 14: | Строка 10: | ||
Теория автоматов применяется при разработке лексических и синтаксических анализаторов трансляторов. Другое важнейшее применение теории автоматов --- математически строгое нахождение разрешимости и сложности проблем. | Теория автоматов применяется при разработке лексических и синтаксических анализаторов трансляторов. Другое важнейшее применение теории автоматов --- математически строгое нахождение разрешимости и сложности проблем. | ||
Есть несколько классов автоматов, например [[Конечный автомат|конечные автоматы]] (различают детерминированные и недетерминированные конечные автоматы), [[МП-автомат|МП-автоматы]], [[ЛО-автомат|ЛО-автоматы]], [[Клеточный автомат|клеточные автоматы]] (игра «жизнь»), [[Машина Тьюринга|машины Тьюринга]]. | Есть несколько классов автоматов, например [[Конечный автомат|конечные автоматы]] (различают детерминированные и недетерминированные конечные автоматы), [[МП-автомат|МП-автоматы]], [[ЛО-автомат|ЛО-автоматы]], [[Клеточный автомат|клеточные автоматы]](игра «жизнь»), [[Машина Тьюринга|машины Тьюринга]]. |