Интернет магазин китайских планшетных компьютеров



Компьютеры - Конечный автомат

22 января 2011


Оглавление:
1. Конечный автомат
2. Другие способы описания
3. Детерминированность
4. Автоматы и регулярные языки



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

Существуют различные варианты задания конечного автомата. Например, конечный автомат может быть задан с помощью пяти параметров: ~M = , где:

  • Q — конечное множество состояний автомата;
  • q0 — начальное состояние автомата;
  • F — множество заключительных состояний, таких что F \subseteq Q ;
  • Σ — допустимый входной алфавит, из которого формируются строки, считываемые автоматом;
  • δ — заданное отображение множества Q \times \Sigma во множество \mathcal {P} подмножеств Q:
    \delta : Q \times \Sigma \rightarrow \mathcal {P}
    .

Автомат начинает работу в состоянии q0, считывая по одному символу входной строки. Считанный символ переводит автомат в новое состояние из Q в соответствии с функцией переходов. Если по завершении считывания входного слова автомат оказывается в одном из допускающих состояний, то слово «принимается» автоматом. В этом случае говорят, что оно принадлежит языку данного автомата. В противном случае слово «отвергается».

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



Просмотров: 1975


<<< Итеративная разработка
Логика в информатике >>>