Формальные грамматики для моделирования дискретных систем?
Доброго времени суток, никто не знает, каких либо статей по поводу формального моделирования дискретных систем, не имеет значения зарубежные или нет. И если нет, то может кто-то может подсказать применение данного способа в автоматике, вычислительной технике, информатике
В целом поставлен вопрос преподавателем вот так
"Использование формальных грамматик для моделирования дискретных систем в сфере автоматики, информатики и вычислительной техники". Сферу построения трансляторов и компиляторов не учитывать.
Исходя из дисциплины скорее всего интересуют конечные автоматы
Чего-то более конкретного сказать наверное не смогу