iu9.Blog

bmstu iu9 [2016-2012] blog

Экзамен по ОТА

Для автоматных лаб осталась максимум 1 пара, причем, по словам Антона, код Борисенко смотрит очень подробно. На следующей неделе он на своем сайте выложит экзаменационные вопросы, которые достанутся всем неуспевшим.

Народ, быстрее пишите!

f0b0s » Sun, May 24 2009 » iu9.exam » 2 Comments

XML-формат для конечных автоматов

Предлагаю такой формат, дабы у всех было одинаково:
<?xml version=”1.0″?>
<FSM type=”…”>
<STATE id=”…” [on_enter="..."] start=”…” final=”…”>
<transition symbol=”…” [output="..."]>state_id</transition>

</STATE>

</FSM>
Где:
type – тип автомата, один из DFSM, NDFSM, MOORE, MEALY
id – название состояния
on_enter – вывод при входе в состояние (для Мура)
start, final – признаки начального/конечного состояния, одно из значений True или False
symbol – символ, по которому осуществляется переход
output – выводимый при переходе символ (для Миля)
state_id – состояние, в которое осуществляется переход

Эпсилон-переход обозначаем “символом” EPS.
Для НДКА, когда по одному символу больше одного перехода, пишем столько раз секцию <transition></transition>, сколько переходов по этому символу.
То, что я назвал “символами” на самом деле может быть строками.

brainiac » Wed, May 6 2009 » iu9.current » 1 Comment

Самостоятельная по ОТА /updated/

Завтра самостоятельная по ОТА на минимизацию ДКА. Единственная полная прошлая лекция — Андрея Костикова.

PS: Синяя ручка на синих ярких клеточках это, пожалуй, самое тяжелое, что мне приходилось сканировать. На всякий случай — пожатый оригинал.

UPD: Поправил линки. Спасибо Антону.

f0b0s » Thu, April 2 2009 » iu9.current » No Comments

Самостоятельная по ОТА

Завтра по ОТА небольшая самостоятельная работа.

Задачи будут 3-х типов:

Как сделать первые 2 типа задач вам подскажет доказательство теоремы Клини (оно как раз по построению), а вот справиться с третьей задачей поможет мой питон-скрипт.

Как его запустить:

(more…)

f0b0s » Thu, March 19 2009 » iu9.current » No Comments

Конечные автоматы

Всякие ссылки:

f0b0s » Sat, February 28 2009 » iu9.current » 4 Comments

Список экзаменов

Оказалось, мы были дезинформированы старшими курсами.

В этом семестре у нас 4 экзамена:

  • Сети
  • Основы теории автоматов (!)
  • Уравнения математической физики
  • Философия

Остальное — зачеты.
Причем, везде (даже по физре :-) ) все посещения == автомат, что не может не радовать.

f0b0s » Sat, February 14 2009 » iu9.current » 1 Comment