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