Лекция 8. Методы доказательства неавтоматности

  1. 00:16Мотивация для исследования языка на автоматность
  2. 08:32Примеры с прямым применением леммы о разрастании
  3. 25:10Примеры автоматных и неавтоматных языков со схожими описаниями
  4. 40:46Пример доказательства неавтоматности языка с помощью комбинации леммы о разрастании и других свойств автоматных языков
  5. 01:02:43Ещё один пример с комбинацией леммы о разрастании и прочих свойств автоматных языков
  6. 01:13:26Пример неавтоматного языка, заданного грамматикой: описание языка
  7. 01:36:54Пример неавтоматного языка, заданного грамматикой: доказательство неавтоматности