Изменения

<li> [[Автоматы с eps-переходами. Eps-замыкание]] </li>

<li> [[Теорема Клини (совпадение классов автоматных и регулярных языков)]] </li>

# Написать, почему получение регулярного выражение из системы уравнений лучше, чем напрямую из теоремы Клини (привести пример)

# Неплохо бы добавить ссылку на источник доказательства

# Оформить таблички покрасивей и marked на что-нибудь заменить

# Сделать О-красивое

# Отформатировать комментарии и добавить их побольше

# Оформить правильно декларации функций

<li> '''fixed''' [[Алгоритм Бржозовского]] (5) </li>

# Добавить доказательство

* Вообще левая штука, относящаяся скорее к логике. Наверное, надо вообще выпилить это из списка конспектов по автоматам и сделать ссылку из леммы о накачке (оно для нее, видимо, и рассказывалось). Итого, придумать, куда выпилить, и сделать интервики из прошлого конспекта

<li> [[Решение уравнений в регулярных выражениях]] </li>

# Добавить примеров различных языков (half, cycle, см. ХМУ) с доказательствами их регулярности

# Добавить ещё свойств (проверка на тривиальность, равенство замыканию Клини, какие-нибудь ещё {{---}} для уточнения куратору написать)

# Оформить нормально источники информации

=== Другие автоматы ===

<ol>

# Где это нужно и зачем применяется

<li> [[Двусторонний детерминированный конечный автомат]] </li>

<li> [[Квантовые конечные автоматы]] </li>

# Примеры интересных задач или применений на эти автоматы (для согласования написать куратору)

</ol>

# Добавить примеры других грамматик

# Добавить ссылок, см. также

# Добавить док-во леммы

# Отформатировать псевдокод

<ol>

<li value="16"> [[Алгоритм Кока-Янгера-Касами разбора грамматики в НФХ]] </li>

# Расписать подробней и формальней

# А ещё алгоритму всё равно на eps-правила и цепные правила, надо это тоже написать

# Красиво всё оформить

<li> [[Алгоритм Эрли]] </li>

# Отформатировать псевдокод

# Грамматику G заменить на \Gamma

# Добавить см. также на варианты леммы

# Категория

# Источники информации добавить

# Добавить пример не КС-языка, который удовлетворяет условию этой леммы

# Палку заменить на \mid

# Источники информации

# Написать!

<li> [[Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами]] </li>

# ''fixed'' [[Перечислимые языки]] (2)

## Добавить содержательный пример коперечислимого языка

## Убрать лишние знаки препинания из списков в теоремах

## Заменить литературу на источники информации

## Категории

# [[Вычислимые функции]]

# ''fixed'' [[Вычислимые числа]] (2)

## Подробней расписать доказательства

## Ссылки на леммы внутри конспекта

## дать ссылки на английские источники и термины

## Неформальное пояснение к теореме

# названия функций надо в \mathrm

# Помёрджить с конспектом математической логики [[Рекурсивные функции, представимость в формальной арифметике]]

# Замечание про взаимную рекурсию в обсуждениях

<li> [[Стековые машины, эквивалентность двухстековой машины МТ]] </li>

=== Примеры неразрешимых задач ===

<ol>

# Англоязычные термины правильно оформить

# Добавить примеры m-сведения задач

<li> [[Примеры неразрешимых задач: однозначность грамматики|Однозначность КС-грамматики]] </li>

<li> [[Неразрешимость задачи об эквивалентности КС-грамматик]]</li>

# Оформить правильно англоязычные термины

# Написать более подробное и понятное доказательство

<li> [[Игра «Жизнь»]] </li>

<li> [[Неразрешимость игры Braid]] </li>

# Англоязычные термины

# Отформатировать псевдокоды