Обзор STD

[dluciv]

После проходившего рядом с моим обычным местом дислокации экзамена по курсу "Языки визуального моделирования" наткнулся на бумажку с ответом на билет.

Начинается примерно так:

Обзор STD Множество процессов в технике и бизнесе удобно моделировать с помощью dfa. S={A,Q,V,δ,χ}

и дальше диаграммка примерно в том же стиле, что формула, на которой нарисован автомат.

Позабавило и умилило.

P.S. У кого браузер видит кривые буквы, написано:

$S=\{A,Q,V,\delta,\chi\}$

Comments

Re: Нотация

[shmel.livejournal.com]

Ну, явно должны быть: алфавит, набор состояний, начальное и конечное состояние и функция перехода. Итого пять, все сходится. Может, тебя скобки не устраивают?

Re: Нотация

[dluciv.livejournal.com]

Не устраивают.
Нехрен писать скобки для множества вокруг кортежа неоднородных элементов.
Первая selena_lena догадалась, но я попросил молчать :)

Re: Нотация

[dluciv.livejournal.com]

Хе, а в книге Д.В. Кознова (откуда и срисовали, как выяснилось) автомат определен именно с фигурными скобочками. И ссылка на:

(Кузнецов и др., 1980) Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженеров. Москва, 1980. 479с.

Этого Кузнецова я не знаю (знаю С.Д. Кузнецова из ИСП РАН, тоже, соответственно, Москва). Зато Адельсон-Вельский вроде веников не вяжет - дядька серьезный. Видимо, московская школа...

Re: Нотация

[oleo.livejournal.com]

Да, я сейчас себе писал формальное опр-е сети Петри, и уголки сами нарисовались :)