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



Компьютеры - Конечный автомат - Автоматы и регулярные языки

22 января 2011


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



Для автомата можно определить язык в алфавите Σ, который он представляет — так называется множество слов, при вводе которых автомат переходит из начального состояния в одно из состояний множества F.

Теорема Клини гласит, что класс языков, представимых конечными автоматами, совпадает с классом регулярных языков. Кроме того, этот класс совпадает с классом языков, задаваемых регулярными грамматиками.

Специализированные языки программирования

  • Язык последовательных функциональных схем SFC — графический язык программирования широко используется для программирования промышленных логических контроллеров.

В SFC программа описывается в виде схематической последовательности шагов, объединенных переходами.



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


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