Таблица МН

[mathhyyn]

ab* Не знаю какой должна быть таблица, но мне кажется тут не хватает столбцов

[TonitaN]

Ну таблица правильная, я сейчас проверила. И да, 2 класса. Возможно, наоборот, без одного столбца было бы можно обойтись (последний их не различает).

[TonitaN]

А почему такой странный заголовок слайда (без типа)? Опять мы что-то потеряли на плантациях?

[xendalm]

MyhillNerode не собирается в логах.

Set log_theory false
N = MyhillNerode.Antimirov {a*b*c*}

Даже если отключить теорию, она все равно появится в report.tex, а rendered_report продолжает не собираться

[TonitaN]

TMtheory не размечена detailed-блоками. Нужна толика рабского труда.

[mathhyyn]

А почему такой странный заголовок слайда (без типа)? Опять мы что-то потеряли на плантациях?

Это старый скриншот, сделанный вчера днём